Математическая логика. Курс лекций. Задачник-практикум и решения
Учебное пособие состоит из двух частей – курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
- Авторы:Л. М. Лихтарников, Т. Г. Сукачева
- Жанр:Образование
- Страницы: 277
- Формат: fb2, epub, pdf, txt
Советуем прочитать похожую литературу
Кто за главного? Свобода воли с точки зрения нейробиологии
Загадка повседневной жизни заключается в том, что все мы, биологические машины в...
Новый сборник статей по физике пространства. Наука будущего
В сборнике изложены статьи, в которых на основании смоделированной системы представлен новый...
Эксплуатация подшипников качения
Рассмотрены вопросы входного контроля, сборки и разборки подшипников. Приведены правила ухода,...
Модель проверки сформированности личностных и метапредметных...
Методическое пособие разработано в соответствии с требования ФГОС второго поколения. В...
Основы миграционных правоотношений. Учебно-научное пособие (проект)
В рамках пособия предлагается рассматривать вопросы предметной области через специальный курс...
Долговременное и бескризисное развитие экономики России. Теория и...
Впервые дано абстрактное представление мирохозяйственного комплекса и комплекса России,...
Отзывы (0)
Вам понравилось читать онлайн книгу «Математическая логика. Курс лекций. Задачник-практикум и решения»? Уделите пару минут, что бы оставить полезный отзыв другому читателю.