Не рекомендуется использовать Internet Explorer или Microsoft Edge. Сайт может не корректно работать. Скачайте, пожалуйста, современный браузер. Например Chrome или FireFox.
Тип: Тесты
Помогу с прохождением онлайн теста
Вопрос №1
Теория алгоритмов получила бурное развитие…
в связи с созданием быстродействующих электронных вычислительных и управляющих машин.
в связи с появлением пи...
Подробнее...
Тип: Работа Контрольная
КОНТРОЛЬНАЯ РАБОТА ПО
МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ.
ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказыва...
Подробнее...
Скачано: 1
Сейчас качают: 1
Тип: Тесты
Вопрос №1
Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z). Вычислить значение f(3,3), если g(x)=x+5 и h(x,y,z)= z-x:
2
1
9
5
значение функции не определено...
Подробнее...
Комментариев: 2
Тип: Работа Контрольная
Математическая логика и теория алгоритмов. Контрольная работа. Вариант 9
Задача 1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
A & (B v C) |...
Подробнее...
Скачано: 18
Тип: Тесты
Вопрос №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
Тип: Работа Зачетная
Билет №21
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция f(x) получена операцией примитивной рекурсии из константы C и функции...
Подробнее...
Скачано: 17
Тип: Работа Контрольная
Вариант 10
Задача 1. Построить таблицу истинности логической формулы.
(A→B)∼((¬A→C)→(¬B→C))
Задача 2. Записать рассуждение в логической символике и проверить правильнос...
Подробнее...
Скачано: 10
Тип: Работа Зачетная
Билет 22
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция g(x,y) получена операцией суперпозиции функций f(x,y,z), f1(x,y), f2(x,...
Подробнее...
Скачано: 9
Тип: Работа Зачетная
Билет 25
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция g(x,y) получена операцией суперпозиции функций f(x,y,z), f1(x,y), f2(x...
Подробнее...
Скачано: 8
Тип: Билеты экзаменационные
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычис...
Подробнее...
Скачано: 8
Тип: Работа Контрольная
Вариант № 14
Задание 1. Проверить для произвольных множеств:
(A\B)∪(B\C)=(A\C)∪(C\B)
-----------------------------------------------------------------------
Задание 2. Является ли та...
Подробнее...
Скачано: 7
Тип: Работа Контрольная
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильн...
Подробнее...
Скачано: 2
Тип: Работа Экзаменационная
Билет №6
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция f(x,y) получена операцией примитивной рекурсии из фун...
Подробнее...
Скачано: 6
Тип: Работа Зачетная
Билет 24
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция f(x) получена операцией примитивной рекурсии из константы C и функции ...
Подробнее...
Скачано: 6
Тип: Работа Контрольная
Вариант №20
Задача 1. Построить таблицу истинности логической формулы.
20. ¬(A⟶¬(¬B⟶C))⟶((A⟶¬B)~¬(A⟶¬C))
Задача 2. Записать рассуждение в логической символике и ...
Подробнее...
Скачано: 5
Тип: Работа Экзаменационная
Билет №7
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A = 20
B = 11
2. Функция получена операцией примитивной рекурси...
Подробнее...
Скачано: 5
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
9. (¬A→(¬B→C))→(¬(¬A→B)→C)
2. Записать рассуждение в логи...
Подробнее...
Скачано: 5
Тип: Билеты экзаменационные
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z).
Вычис...
Подробнее...
Скачано: 5
Тип: Работа Контрольная
КОНТРОЛЬНАЯ РАБОТА ПО
МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И ТЕОРИИ АЛГОРИТМОВ.
ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказыва...
Подробнее...
Скачано: 1
Сейчас качают: 1
Тип: Тесты
Вопрос №1
Является ли формула A → (B→A) аксиомой исчисления высказываний:
да
нет
нельзя определить
Вопрос №2
Функция F(x,y) получена операцией суперпозиции функций f(x,y,z) и g1(...
Подробнее...
Скачано: 4
Тип: Тесты
Вопрос №1
На множестве натуральных чисел задан предикат P(x,y)="x+4=y". Определить область истинности предиката ∃xP(x,y):
пустое множество
все натуральные числа
целые числа, большие или равн...
Подробнее...
Скачано: 4
Тип: Работа Экзаменационная
Билет №3
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
A = 17
B = 1
Функция f(x,y) получена операцией примитивной рекурс...
Подробнее...
Скачано: 4
Тип: Работа Экзаменационная
Билет №12 - Дата отправки 25.05.19
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция получена операцией примит...
Подробнее...
Скачано: 4
Тип: Работа Контрольная
Вариант 10
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой. (см. скрин)
2. Записать рассуждение в логической символике и проверить правильн...
Подробнее...
Скачано: 4
Тип: Работа Контрольная
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. (см.скрин)
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты: 1...
Подробнее...
Скачано: 4
Тип: Работа Контрольная
Вариант 4
-------------------------------------------
Контрольная работа
по дисциплине «Математическая логика и теория алгоритмов»
-------------------------------------------
Задача 1.
Построить та...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
Вариант 18
Задача 1. Построить таблицу истинности логической формулы.
(¬A→¬(B→¬C))→¬((¬A→B)∼¬(¬A→C))
Задача 2. Записать рассуждение в логической символике и про...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
Вариант 25
Задача 1. Построить таблицу истинности логической формулы.
(¬A→¬(B→¬C))→¬((¬A→B)∼¬(¬A→C))
Задача 2. Записать рассуждение в логической символике и про...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильно...
Подробнее...
Скачано: 3
Тип: Работа Зачетная
Математическая логика и теория алгоритмов. Зачет. Билет 26
Проверьте правильность рассуждений:
Если он принадлежит к нашей компании, то он храбр и на него можно положиться. Он не принадлежит к нашей...
Подробнее...
Скачано: 3
