
Тип работы:	Предмет:	Язык работы:

Математическая логика (вариант 4, Поволжский государственный университет телекоммуникаций и информатики)

Работа №	38762
Тип работы	Контрольные работы
Предмет	математика
Объем работы	6
Год сдачи	2018
Стоимость	200 руб.
ПУБЛИКУЕТСЯ ВПЕРВЫЕ
Просмотрено	196

Не подходит работа?

Узнай цену на написание

Содержание

Задания 3 в содержании не видно, так как оно набрано в эмуляторе формул.
Задание 1
Установить правильность рассуждения, построив вывод исчисления высказываний.
Если это преступление совершил Смит, то он знает, где находятся похищенные деньги. Смит не знает, где находятся похищенные деньги. Следовательно, он не совершал преступления.
Задание 2
Проверить вывод методом резолюций:
Всякий, кто не может решить эту задачу – не математик. Иван не может решить эту задачу. Значит, Иван не математик.
Задание 3
Список используемой литературы

Возникли сложности?

Нужна помощь преподавателя?

Помощь в написании работ!

ДИПЛОМНЫЕ МАГИСТЕРСКИЕ ДИССЕРТАЦИИ

Курсовые Статьи Диплом Рязань

Литература

1. Акимов О.Е. Дискретная математика: логика, группы, графы. М.: Лаборатория базовых знаний, 2001. – 353 с.
2. Игошин В.И. Математическая логика и теория алгоритмов: Учеб. пособие для студ. высш. учеб. заведений. – М.: Изд. центр «Академия», 2004. – 448 с.
3. Идиатулин В.С. Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие. 4-е изд. / В.С. Идиатулин. – СПб.: Лань П, 2016. – 288 c.
4. Колмогоров А.Н. Математическая логика: Дополнительные главы / А.Н. Колмогоров, А.Г. Драгалин. – М.: УРСС, 2015. – 240 c.
5. Математическая логика и теория алгоритмов: учебное пособие / И.А.Блатов, О.В.Старожилова – Самара: ПГУТИ, 2017. –214 с.
6. Пайсон Б.Д. Математическая логика: учебное пособие для студентов математических специальностей педагогических вузов. – 2-е изд., исправ. и доп. – Барнаул: Изд-во БГПУ, 2006. – 168 с.