Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №2.
-
Категории:
ДО СИБГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
07.08.2016
-
Размер:
43 KB
-
Покупок:
3
-
Добавил:
freelancer
Написать сообщение
Скачать
Состав работы
|
Контрольная работа.doc
|
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Следующие выражение: А → В ├ (С & А) → (С & B)
II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1. E(x, y) = И <=> x и y – один и тот же человек;
2. P(x, y) = И <=> x родитель y;
3. C(x, y) = И <=> x и y – супруги;
4. M(x) = И <=> x – мужчина;
5. W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
У каждого есть бабушка
III. Привести формулу к предваренной форме
IV. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x , y , z .
V. Показать примитивную рекурсивность функции f(x,y)
Следующие выражение: А → В ├ (С & А) → (С & B)
II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1. E(x, y) = И <=> x и y – один и тот же человек;
2. P(x, y) = И <=> x родитель y;
3. C(x, y) = И <=> x и y – супруги;
4. M(x) = И <=> x – мужчина;
5. W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
У каждого есть бабушка
III. Привести формулу к предваренной форме
IV. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x , y , z .
V. Показать примитивную рекурсивность функции f(x,y)
Дополнительная информация
Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа
Оценка: Отлично
Дата оценки: 15.05.2016
Рецензия:Уважаемый С*
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа
Оценка: Отлично
Дата оценки: 15.05.2016
Рецензия:Уважаемый С*
Похожие материалы
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 2
Учеба "Под ключ"
: 7 июля 2025
Вариант 2
Задание №1. Логика высказываний
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Тело, лишённое опоры, падает на землю.
Задание №2. Логика предикатов
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Некоторые
Учеба "Под ключ"
: 7 июля 2025
1000 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 2
SibGOODy
: 13 декабря 2018
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Намеченная атака удастся, только если захватить противника врасплох или же если позиции его плохо защищены. Захватить его врасплох можно только, если его позиции плохо защищены. Значит, атака не удастся.
Исчисление предикатов
3
SibGOODy
: 13 декабря 2018
900 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №2
Jack
: 25 августа 2014
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
A→B⊢(C&A)→(C&B)
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1. E(x, y) = И <=> x и y – один и тот же человек;
2. P(x, y) = И <=> x родитель y;
3. C(x, y) = И <=> x и y – супруги;
4. M(x) = И <=> x – мужчина;
5. W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
1. У каждого есть бабушка
Приве
Jack
: 25 августа 2014
250 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант № 2
Nosferato
: 18 сентября 2012
Вариант 2.
Работа сдана с первого раза без замечаний. Оформление выполнено по всем требованиям.
Задания:
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Ω - множество людей. На множестве Ω заданы следующие предикаты:
1. E(x, y) = И <=> x и y – один и тот же человек;
2. P(x, y) = И <=> x родитель y;
3. C(x, y) = И <=> x и y – супруги;
4. M(x) = И <=> x – мужчина;
5. W(x) = И <=> x – женщина.
С использованием этих предикатов з
Nosferato
: 18 сентября 2012
100 руб.
Контрольная работа по дисциплине: математическая логика и теории алгоритмов
Necron04
: 30 марта 2021
Задание по математической логике и теории алгоритмов
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Варианты
1. Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится. Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он не
Necron04
: 30 марта 2021
500 руб.
Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»
m9c1k
: 16 июля 2010
1) Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2) Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
X – прабабушка.
3) Привести формулу к предваренной форме
4) Пос
m9c1k
: 16 июля 2010
270 руб.
Математическая логика и теория алгоритмов
Илья272
: 24 мая 2021
Задача 1
Построить таблицу истинности логической формулы.
Задача 2
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если Оля продолжит смотреть аниме, то друзья не помогут с учебой и ее отчислят из вуза. Друзья помогли Оле с учебой, и Оля продолжает учиться в вузе. Значит, Оля не смотрит больше аниме.
Задача 3
В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразован
Илья272
: 24 мая 2021
1200 руб.
Математическая логика и теория алгоритмов
Aleksey0697
: 19 марта 2019
1)Проверить полноту системы логических функций, используя критерий Поста.
Заполнение таблицы Поста должно быть обоснованным. Если система не
полна, то достроить ее до полной. К системе добавить функции {0, 1, }
(константу 0, константу 1, отрицание) Из полученного множества функций
выбрать все полные подсистемы. (5б.)
2)Когда у меня есть свободное время, я читаю книги. Если книга попадается скучная, я
засыпаю. Сегодня у меня есть свободное время и мне посоветовали интересную книгу.
Значит, сегодн
Aleksey0697
: 19 марта 2019
120 руб.
Другие работы
Колодка контактная 01.15.00.00
coolns
: 17 марта 2020
01.15.00.00 Колодка контактная сборочный чертеж
01.15.00.00 Колодка контактная спецификация
01.15.00.01 Колодка
01.15.00.02 Ось
01.15.00.03 Зажим
01.15.00.04 Гнездо
01.15.00.05 Пружина
01.15.00.06 Накладка
01.15.00.07 Рычаг
01.15.00.08 Ручка
Колодка служит для испытания транзистора.
Устройство состоит из колотки 1, в отверстиях которой находится гнезда 4, зажимов 3, пружин 5, рычага 7, ручки 8, оси 2 и крепежных деталей.
При повороте ручки 8 вниз рычаг 7 вращается вокруг оси 2 и сжимая пружины
coolns
: 17 марта 2020
650 руб.
Экзаменационная работа. Бухгалтерский управленческий учет. Вариант № 4
Samolyanova
: 7 ноября 2017
Вариант 4
1. Маржинальный доход рассчитывается как:
а) разница между выручкой от продаж продукции и ее переменной себестоимостью;
б) сумма постоянных расходов и прибыли организации;
в) разница между выручкой от продаж продукции и ее производственной себестоимостью;
г) верны первые два ответа.
2. Прибыль изменяется прямо пропорционально выручке при калькулировании по методу:
а) абзорпшен-костинг;
б) директ-костинг;
в) АВ-костинг
3. При нормативном методе учета затрат отклонения от нормативной с
Samolyanova
: 7 ноября 2017
100 руб.
Бухгалтерский учет и документальное оформление движения денежных средств на расчетном счете.
studypro3
: 2 августа 2019
Оглавление
Введение
Бухгалтерский учет и документальное оформление движения денежных средств на расчетном счете
Заключение
Список использованных источников
studypro3
: 2 августа 2019
350 руб.
Инженерная графика. Задание №45. Вариант №12. Деталь №4
Чертежи
: 24 марта 2020
Все выполнено в программе КОМПАС 3D v16.
Боголюбов С.К. Индивидуальные задания по курсу черчения.
Задание 45. Вариант 12. Задача 4.
Тема: Проекционные виды.
Построить третью проекцию модели по двум заданным. Нанести размеры.
В состав работы входят три файла:
– 3D модель детали;
- ассоциативный чертеж в трёх видах, а так же изометрия и диметрия с действительными коэффициентами;
– обычный чертеж в трёх видах, а так же изометрия с коэффициентом 1 и диметрия с коэффициентами 1/0.5/1.
Помогу с д
Чертежи
: 24 марта 2020
50 руб.
