Предлагаемое учебное пособие (2-ое изд., стереотип.) составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов).
Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Автор: Игошин В.И.
Издательство: Издательский центр «Академия»
Год: 2008
Страниц: 448
Формат: djvu
Размер: 6.8 mb
Качество: хорошее
Язык: Русский ====================
Доступно только для пользователей
| 
