Математическая логика. Курс лекций и практических занятий
 |
|
Описание:
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемыйматериал.Похожие книги
 | Мужчина и женщина. Как нам понять друг друга Автор: Мариан Дж. Легато Год: 2007 |
 | Навеки вместе Автор: Кэндис Кэмп Год: 2010 |
 | Мародер. Каратель. Другой Урал Автор: Беркем аль Атоми Год: 2008 |
 | Социальная психология: Интенсивный курс Автор: Майерс Д. Год: 2001 |
 | Тесты для всей семьи Автор: Элен Филлипс Год: 2006 |
 | Отрубленная голова Автор: Айрис Мердок Год: 2009 |