Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. 6 вариант. СибГУТИ
-
Категории:
СибГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
16.05.2018
-
Размер:
136 KB
-
Покупок:
11
-
Добавил:
BarneyL
Написать сообщение
Скачать
Состав работы
B2484EE3-3E7D-462D-80C0-63E5D5DD358F.doc
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится. Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он не голоден.
Исчисление предикатов
Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме
Теория алгоритмов
4 Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, . Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
5 Показать примитивную рекурсивность функции f(x,y).
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится. Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он не голоден.
Исчисление предикатов
Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме
Теория алгоритмов
4 Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, . Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
5 Показать примитивную рекурсивность функции f(x,y).
Дополнительная информация
Оценка: Зачет без замечаний
Год сдачи: 2017
Приняла Мачикина
Год сдачи: 2017
Приняла Мачикина
Похожие материалы
Математическая логика и теория алгоритмов (СибГУТИ).
serg04
: 15 декабря 2018
Математическая логика и теория алгоритмов.
Контрольная работа №1, вариант №20.
serg04
: 15 декабря 2018
300 руб.
Контрольная работа по дисциплине: математическая логика и теории алгоритмов
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 руб.
КОНТРОЛЬНАЯ РАБОТА по дисциплине «Математическая логика и теория алгоритмов» Вариант 6
MehVV
: 31 октября 2025
Вариант №6
Задача 1. Построить таблицу истинности логической формулы.
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Задача 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные.
Задача 4. На координатной плоскости даны множества A и B
MehVV
: 31 октября 2025
300 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №6
Jack
: 8 декабря 2014
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. (см. скрин)
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 – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
6. X - деверь
III. Привести формулу к предварител
Jack
: 8 декабря 2014
500 руб.
Математическая логика и теория алгоритмов(Сибгути ДО,Билет №8)
MayaMy
: 26 февраля 2018
Уважаемый студент, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Зачет
Оценка:Зачет
Дата оценки: 10.01.2018
Рецензия:Уважаемая \\\,
Мачикина Елена Павловна
MayaMy
: 26 февраля 2018
300 руб.
Математическая логика и теория алгоритмов (Сибгути ДО, Вариант №3)
MayaMy
: 26 февраля 2018
Тема: " Задание по математической логике и теории алгоритмов "
Уважаемый студент, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 05.01.2018
Рецензия:Уважаемая \\\,
Мачикина Елена Павловна
MayaMy
: 26 февраля 2018
450 руб.
Математическая логика и теория алгоритмов. СибГУТИ. Вариант 4
lihaja
: 6 ноября 2015
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме
4. Построить машину Тьюринга для перевода из одной конфигурации в
lihaja
: 6 ноября 2015
120 руб.
Другие работы
Причины возникновения и пути ликвидации школьного стресса
Qiwir
: 10 октября 2013
ВВЕДЕНИЕ
1. Стресс в жизни ребёнка. Основные причины детского стресса
1.1 Общая характеристика стресса
1.2 Симптоматика стресса у детей
1.3 Основные стрессоры в жизни ребёнка
1.3.1 Неправильные мотивы учения школьников как причина школьного стресса
1.3.2 Образование стресса в результате расхождения образов «Я»
1.3.3 Разделение учащихся на потоки как причина возникновения стресса
1.3.4 Стиль преподавания учителя как причина проявления стресса
1.3.5 Стресс, причиной которого является школ
Qiwir
: 10 октября 2013
10 руб.
Теплотехника ЮУрГАУ 2017 Задача 3 Вариант 24
Z24
: 4 декабря 2025
Паросиловая установка по циклу Ренкина
1 Вычертить принципиальную тепловую схему паросиловой установки, работающей по циклу Ренкина. Обозначить позициями и записать наименование основных ее элементов.
2 Вычертить без масштаба цикл Ренкина в р-υ и T-s координатах. Обозначить узловые точки и процессы цикла.
3 Рассчитать для двух вариантов (исходные данные — таблица 1):
3.1 термический КПД цикла Ренкина ηt;
3.2 удельный расход пара d0, кг/(кВт•ч), на выработку 1 кВт•ч энергии;
3.3 удельный ра
Z24
: 4 декабря 2025
200 руб.
Толкатель СЧ45; HRC 53; h=1мм
Butterzzz
: 28 июля 2012
Металловедение изложены ответы на следующие вопросы:
1. Расшифровать марку сплава и провести его классификацию. Объяснить влияние легирующих элементов на свойства сплава и его появление при термообработке.
2. Выбрать оптимальный способ получения сплава и заготовки детали.
3. Выбрать технологический процесс упрочнения данного сплава.
4. Окончательная микроструктура сплавов после упрочнения.
Butterzzz
: 28 июля 2012
40 руб.
Гражданское право (кейс) 3 семестр
alexandr12
: 29 сентября 2019
Кейс №2
Ситуация 1. После смерти дедушки к десятилетнему Саше перешел в собственность автомобиль «Жигули». Автомобиль стоял в гараже, и им никто не пользовался более двух лет со дня смерти дедушки. Через некоторое время Саша был вызван в налоговую инспекцию, где ему было предложено заплатить налог с владельцев транспортных средств. Родители Саши полагали, что недееспособный сын не может признаваться субъектом налоговых
правоотношений и платить налоги. Налоговая инспекция передала документы на ра
alexandr12
: 29 сентября 2019
100 руб.
