Рекомендуемая категория для самостоятельной подготовки:
Контрольная работа*
| Код |
414136 |
| Дата создания |
2019 |
| Страниц |
6
|
Мы сможем обработать ваш заказ (!) 24 апреля в 12:00 [мск] Файлы будут доступны для скачивания только после обработки заказа.
|
Описание
Контрольная работа по предмету "Математическая логика" (вариант 4) была сделана для Поволжского государственного университета телекоммуникаций и информатики в августе 2018 года.
Задания 3 в содержании не видно, так как оно набрано в эмуляторе формул.
Работа была успешно сдана - заказчик претензий не имел.
Уникальность работы по Antiplagiat.ru на 11.03.2019 г. составила 61%.
Если хотите получить дополнительную информацию, то выберите меня исполнителем этого заказа и я Вам её предоставлю. ...
Содержание
Задание 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 с
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
Другие контрольные работы
bmt: 0.00475