Настоящее учебное пособие представляет собой почти точную запись лекций по первой части курса ''Теория алгоритмов и математическая логика'', который автор читает для студентов 3-его курса механико-математического факультета, обучающихся по специальности ''Математика''. Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории Книга «Лекции по математической логике и теории алгоритмов. Часть 1» автора Марша Гордон ...
Настоящее учебное пособие представляет собой почти точную запись лекций по первой части курса ''Теория алгоритмов и математическая логика'', который автор читает для студентов 3-его курса механико-математического факультета, обучающихся по специальности ''Математика''. Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории Книга «Лекции по математической логике и теории алгоритмов. Часть 1» автора Марша Гордон и Эллис Е. Фугейт оценена посетителями КнигоГид, и её читательский рейтинг составил 0.00 из 10.
Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а также файлы для скачивания.
Рецензии на книгу
Написано 0 рецензий