Не рекомендуется использовать Internet Explorer или Microsoft Edge. Сайт может не корректно работать. Скачайте, пожалуйста, современный браузер. Например Chrome или FireFox.
Тип: Работа Экзаменационная
Билет №11
Дата отправки задания 12.12.2019
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция f(x) получена операц...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
Вариант 12
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой (см. скрин).
2. Записать рассуждение в логической символике и проверить правильно...
Подробнее...
Скачано: 2
Тип: Работа Зачетная
Билет 4
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция g(x,y) получена операцией суперпозиции функцийf(x,y,z), f1(x,y), f2(x,y),...
Подробнее...
Скачано: 2
Тип: Работа Экзаменационная
Билет №15
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция f(x) получена операцией примитивной рекурсии из конст...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методо...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
Задание №1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. Задание №2. Пусть Омега - множество людей. На множестве Омега заданы следующие пр...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
КОНТРОЛЬНАЯ РАБОТА ПО
МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ.
ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказыва...
Подробнее...
Скачано: 1
Тип: Работа Контрольная
КОНТРОЛЬНАЯ РАБОТА ПО
МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ.
ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказыва...
Подробнее...
Скачано: 1
Тип: Работа Контрольная
ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перев...
Подробнее...
Скачано: 1
Тип: Работа Контрольная
Вариант №21
Задача 1. Построить таблицу истинности логической формулы.
((A→¬B)~¬(A→¬C))→¬(A→¬(¬B→C))
Задача 2. Записать рассуждение в логической символике и проверить ...
Подробнее...
Скачано: 1
Тип: Тесты
Вопрос №1
Укажите формулы, которые не являются замкнутыми:
Вопрос №2
Функция F(x,y) получена операцией суперпозиции функций f(x,y,z) и g1(x,y), g2(x,y), g3(x,y). f(x,y,z)=(x+y)z, g1(x,y)=x, g...
Подробнее...
Скачано: 1
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
(A→B)→((¬A→C)→(¬B→C)).
2. Записать рассуждение в логической ...
Подробнее...
Тип: Работа Экзаменационная
Билет №13
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A = 29
B = 12
1. Функция g(x,y) получена операцией суперпозиции...
Подробнее...
Скачано: 1
Тип: Работа Экзаменационная
Билет №2 А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция f(x) получена операцией примитивной рекурсии из конст...
Подробнее...
Скачано: 1
Тип: Работа Экзаменационная
Билет №9
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A = 18
B = 4
1. Функция f(x,y) получена операцией примитивной реку...
Подробнее...
Скачано: 1
Тип: Работа Контрольная
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
(см скрин)
2. Записать рассуждение в логической символике и проверит...
Подробнее...
Скачано: 1
Тип: Работа Контрольная
КОНТРОЛЬНАЯ РАБОТА ПО
МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ.
ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказыва...
Подробнее...
Тип: Работа Контрольная
КОНТРОЛЬНАЯ РАБОТА ПО
МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ.
ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказыва...
Подробнее...
Тип: Работа Зачетная
Уважаемый слушатель, дистанционного обучения, Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Зачет
Оценка:Зачет
Дата оценки: **.**.2015...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
Задача 1 :Построить таблицу истинности логической формулы. Задача 2: Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
“Если Оля про...
Подробнее...
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой (см. скрин).
2. Записать рассуждение в логической символике и проверить правильность рассужден...
Подробнее...
Тип: Работа Экзаменационная
Билет №7
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A=21; B=1
1. Функция g(x,y) получена операцией суперпозиции функ...
Подробнее...
Тип: Работа Экзаменационная
Билет №15
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A=20, B=9
1. Функция f(x) получена операцией примитивной рекурс...
Подробнее...
Тип: Работа Контрольная
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильн...
Подробнее...
Тип: Работа Экзаменационная
Билет №15
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A=20, B=9
1. Функция f(x) получена операцией примитивной рекурс...
Подробнее...
Тип: Работа Экзаменационная
Билет №11
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A=19, B=1
1. Функция f(x) получена операцией примитивной рекурси...
Подробнее...
Тип: Работа Экзаменационная
Билет №14
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A = 20; B = 4.
1. Функция f(x) получена операцией примитивной ...
Подробнее...
Тип: Работа Контрольная
Вариант 17
-------------------------------------------
Контрольная работа
по дисциплине «Математическая логика и теория алгоритмов»
-------------------------------------------
Задача 1. Построить т...
Подробнее...
Тип: Работа Контрольная
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
Варианты
3. 2. Записать рассуждение в логической символике и прове...
Подробнее...
Тип: Работа Контрольная
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И ...
Подробнее...
Скачано: 40
