matnPDFHajm 409 sahifalar
2005 yil
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
Для студентов, аспирантов и преподавателей технических вузов.
Цитата "Пусть φ – произвольная функция из P2 . Так как система функций {f1,f2,…,fm}полна,то φ=φ(f1,f2,…,fm),причем переменных в φ может
быть любое конечное число от 1 до m". И так написана вся книга!!! Читать её невозможно. Собственно объяснение теоретического материала отсутствует. Много формул вообще никак не описывается. И так всем понятно… Не всем. Разочарован в этой книге.
Книга содержит хороший уровень теоретического материала, позволяющий заменить учебник. Из-за специфики предмета, книга не может охватить весь объём материала, однако в своей области она охватывает достаточный уровень для решения задач, предлагаемых в тексте пособия.
Задач много, задачи есть типовые и нет, присутствуют ответы.
Рекомендую для самостоятельной подготовки.
Izoh qoldiring
Izohlar
2