
Название: Лекции по математической логике и теории алгоритмов: учебное пособие
Автор: Белов Ю.А., Соколов В.А.
Издательство: Ярославль: ЯрГУ
Год: 2013
Страниц: 140
ISBN: 978-5-8397-0908-9
Язык: Русский
Формат: djvu
Размер: 10,74 Мб
Качество: хорошее, текстовый слой, оглавление.
Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Пособие посвящено основам математической логики и теории алгоритмов.