Не рекомендуется использовать Internet Explorer или Microsoft Edge. Сайт может не корректно работать. Скачайте, пожалуйста, современный браузер. Например Chrome или FireFox.
Тип: Работа Расчетно-графическая
1)Проверить полноту системы логических функций, используя критерий Поста.
Заполнение таблицы Поста должно быть обоснованным. Если система не
полна, то достроить ее до полной. К системе добавить функци...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
Задание по математической логике и теории алгоритмов
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать ра...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
Задание по математической логике и теории алгоритмов
Исчисление высказываний
Задание 1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
Задан...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом К...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
Вариант 12
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой (см. скрин).
2. Записать рассуждение в логической символике и проверить правильно...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
Вариант 19
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой. (см. скрин)
2. Записать рассуждение в логической символике и проверить правильн...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. Следующие выражение: А → В ├ (С & А) → (С & B)
II. Пусть Омега - множество ...
Подробнее...
Скачано: 3
Тип: Работа Контрольная
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
(A→B)→((¬¬C→A)→(¬¬C→B))
2. Записать рассуждение в логической...
Подробнее...
Скачано: 3
Тип: Тесты
Вам необходимо отметить в карточке ответов варианты правильных ответов, вписав нужные буквы. Будьте внимательны при выполнении заданий.
Тестовые задания по дисциплине «Математическая логика»
...
Подробнее...
Скачано: 3
Тип: Работа Зачетная
Уважаемый слушатель, дистанционного обучения, Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Зачет
Оценка:Зачет
Дата оценки: **.**.2015
Подробнее...
Скачано: 3
Тип: Тесты
Элементы математической логики, тест
Формула, выражающая правило цепного заключения, имеет вид: …
в столбце … таблицы находятся значения импликации
Формула алгебры высказываний называется тождественно...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
ЗАДАНИЕ №1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перев...
Подробнее...
Скачано: 1
Тип: Тесты
Вопрос 1
Пока нет ответа
Балл: 1,00
Не отмеченоНе отмеченоОтметить вопрос
Текст вопроса
Универсум – школьники.
Предикаты:
A(x)=истина тогда и только тогда, когда школьник x учится хорошо.
B(x)=истина ...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
Проверить полноту системы логических функций, используя критерий Поста. Заполнение таблицы Поста должно быть обоснованным. Если система не полна, то достроить до полной системы. (Запрещается дополнять...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
1) Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2) Записать рассуждение в логической символике и проверить правильность рассуждения методом...
Подробнее...
Скачано: 2
Тип: Работа Экзаменационная
Экзаменационная работа
По дисциплине: Математическая логика и теория алгоритмов
Билет: 4
В прикрепленном файле скрин Билета
1) Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и...
Подробнее...
Скачано: 2
Тип: Работа Зачетная
Билет 5
Задание
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) ...
Подробнее...
Скачано: 2
Тип: Работа Зачетная
№1 А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,z). Выч...
Подробнее...
Скачано: 2
Тип: Тесты
Вопрос 1
Пока нет ответа
Балл: 1,00
Не отмеченоНе отмеченоОтметить вопрос
Текст вопроса
Универсум – школьники.
Предикаты:
A(x)=истина тогда и только тогда, когда школьник x учится хорошо.
B(x)=истина ...
Подробнее...
Скачано: 2
Тип: Работа Зачетная
Билет 21
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция получена операцией примитивной рекурсии из константы и функции .
...
Подробнее...
Скачано: 2
Тип: Работа Зачетная
Билет 14
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания. Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,y,...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильн...
Подробнее...
Скачано: 2
Тип: Билеты
Математическая логика и теория алгоритмов.
Зачет. Билет №1
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания Функция g (x,y) получена опе...
Подробнее...
Скачано: 2
Тип: Работа Зачетная
Билет №20
А – день даты (от 1 до 31) отправки зачетного задания, В – месяц даты (от 1 до 12) отправки зачетного задания.
Функция f(x,y) получена операцией примитивной рекурсии из функций g(x) и h(x,...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой. (см. скрин)
2. Записать рассуждение в логической символике и прове...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
Задача 1 Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
(A∨B) & (A∨C)⊢A∨(B & C)
Задача 2 Пусть Омега - множество люде...
Подробнее...
Скачано: 2
Тип:
1Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2.Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
3.Привести формул...
Подробнее...
Скачано: 1
Тип: Работа Контрольная
1.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
1. A>B|(C>A)>(C>B)
2.Пусть Омега - множество людей. На множестве Омега заданы следующие предикат...
Подробнее...
Скачано: 2
Тип: Работа Зачетная
41. Переведите данное рассуждение в логическую символику и проверьте его правильность
Если 2 – простое число, то это наименьшее простое число. Если 2 – наименьшее простое число, то 1 не есть простое ч...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
1) Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2) Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
3) Привести фо...
Подробнее...
Скачано: 2
Тип: Работа Экзаменационная
Задание.
Переведите данное рассуждение в логическую символику и проверьте его правильность.
Высказывание: Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в то...
Подробнее...
Скачано: 2
Тип: Работа Контрольная
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. (см. скрин)
II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
...
Подробнее...
Скачано: 2
