Не рекомендуется использовать Internet Explorer или Microsoft Edge. Сайт может не корректно работать. Скачайте, пожалуйста, современный браузер. Например Chrome или FireFox.
Тип: Тесты
Контрольная работа по дисциплине 'Математическая логика и теория алгоритмов' - № попытки
1
Языки первого порядка
Question 1
Правильных ответов из : 1
Универсум – множество людей.
Предикаты:
A(x)=истин...
Подробнее...
Тип: Тесты
Вопрос 1
Пока нет ответа
Балл: 1,00
Не отмеченоНе отмеченоОтметить вопрос
Текст вопроса
Универсум – школьники.
Предикаты:
A(x)=истина тогда и только тогда, когда школьник x учится хорошо.
B(x)=истина ...
Подробнее...
Тип: Работа Контрольная
Проверить полноту системы логических функций, используя критерий Поста. Заполнение таблицы Поста должно быть обоснованным. Если система не полна, то достроить до полной системы.
(Запрещается дополня...
Подробнее...
Тип: Работа Экзаменационная
1) Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычислить g(A,B), если f(x,y,z)=xy+z, f1 (x,y)=x+y, f2 (x,y)=xy, f3 (x,y)=x+5.
2)Функция f(x,y) получена операцие...
Подробнее...
Тип: Работа Контрольная
Билет №15
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция получена операцией примитивной рекурсии из констант...
Подробнее...
Скачано: 1
Тип: Билеты экзаменационные
Билет №15
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция получена операцией примитивной рекурсии из констант...
Подробнее...
Тип: Работа Контрольная
Задание по математической логике и теории алгоритмов
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рас...
Подробнее...
Тип: Билеты экзаменационные
Билет №14
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A = 7
B = 6
Подробнее...
Тип: Работа Контрольная
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильнос...
Подробнее...
Тип: Билеты экзаменационные
Билет №5
А=11 В=1
Задание смотри Скрин....
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция получена операцией...
Подробнее...
Тип: Билеты экзаменационные
Билет №5
А=29 В=6
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция получена операцией примитивной рекурсии из ...
Подробнее...
Тип: Работа Контрольная
Скрин вопроса в прикрепленном файле.
Построить машину Тьюринга для перевода
из начальной конфигурации в заключительную.
На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, x,y≥1.
П...
Подробнее...
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
9. 2. Записать рассуждение в логической символике и проверить правильность рассуждения метод...
Подробнее...
Скачано: 13
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
9. 2. Записать рассуждение в логической символике и проверить правильность рассуждения метод...
Подробнее...
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
Записать рассуждение в логической символике и проверить правильность рассуждения методом Ку...
Подробнее...
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
10. (A→B)→((¬A→C)→(¬B→C)).
2. Записать рассуждение в логичес...
Подробнее...
Тип: Работа Зачетная
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция f(x) получена операцией примитивной рекурсии из константы C и функции h(x,y).
Вы...
Подробнее...
Тип: Работа Контрольная
Задание 1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. Задание 2. Пусть Омега - множество людей. На множестве Омега заданы следующие пред...
Подробнее...
Тип: Работа Экзаменационная
Билет 5
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция получена операцией примитивной рекурсии из функций.
Подробнее...
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
10. (A→B)→((¬A→C)→(¬B→C)).
2. Записать рассуждение в логичес...
Подробнее...
Тип: Работа Контрольная
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция получена операцией примитивной рекурсии из функций и .
Вычислить , если
,...
Подробнее...
Скачано: 1
Тип: Работа Зачетная
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция получена операцией примитивной рекурсии из функций и .
Вычислить , если
,...
Подробнее...
Тип: Работа Зачетная
2. Является ли следующее рассуждение верным?
Если Джон не встречал этой ночью Смита, то либо Смит был убийцей, либо Джон лжет. Если Смит не был убийцей, то Джон не встречал Смита этой ночью, и убийств...
Подробнее...
Тип: Билеты
Уважаемый студент, дистанционного обучения, Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов Вид работы: Зачет
Оценка:Зачет
Дата оценки: 10.01.2018
Рецензия:Уважаемая \\\...
Подробнее...
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом...
Подробнее...
Тип: Работа Контрольная
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций: II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1. E(x, y)...
Подробнее...
Тип: Работа Контрольная
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой. (см. скрин)
2. Записать рассуждение в логической символике и провер...
Подробнее...
Скачано: 1
Тип: Работа Контрольная
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой. (см. скрин)
2. Записать рассуждение в логической символике и провер...
Подробнее...
Тип: Работа Контрольная
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <...
Подробнее...
Тип: Работа Зачетная
- день даты (от 1 до 31) отправки зачётного задания, - месяц даты (от 1 до 12) отправки зачётного задания.
Функция получена операцией суперпозиции функций , , , .
Вычислить , если
,
Подробнее...
Тип: Билеты экзаменационные
2. Является ли следующее рассуждение верным?
Если Джон не встречал этой ночью Смита, то либо Смит был убийцей, либо Джон лжет. Если Смит не был убийцей, то Джон не встречал Смита этой ночью, и убийств...
Подробнее...
Тип: Работа Контрольная
Задание №1
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. 1.6. Задание №2
Пусть Омега - множество людей. На множестве Омега заданы следующие п...
Подробнее...
