Курс математической логики и теории вычислимости. Учебное пособие
Математическая логика. Теория чисел / Александр Герасимов
Опис книги:
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков.
ISBN: 978-5-8114-1666-0
Замовити книгу
Сайт javalibre.com.ua пропонує сервіс пошуку літератури в форматі паперових книг по інтернет магазинах, які здійснюють доставку товарів по Україні. За допомогою каталогу Ви можете знайти потрібну Вам книжку і замовити доставку на зручну для Вас адресу.