Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. 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 руб.
КОНТРОЛЬНАЯ РАБОТА по дисциплине «Математическая логика и теория алгоритмов» Вариант 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 руб.
Контрольная работа по дисциплине: математическая логика и теории алгоритмов
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 руб.
Математическая логика и теория алгоритмов(Сибгути ДО,Билет №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 руб.
Другие работы
Экзамен. Билет №8. Управление проектами
мила57
: 27 декабря 2020
1.Использование MS Project 2010 для моделирования проекта
2.Диаграмма Ганта и элементы сетевых графиков в среде MS Project
3.Анализ расписания проекта
4.Техника назначения трудовых ресурсов в MS Project 2010
5. Риски, специфичные для сетевых моделей управления проектами. Трудовые ресурсы с большим объемом трудозатрат.
мила57
: 27 декабря 2020
150 руб.
Задачи "инвестиции". 1-й вариант
ДО Сибгути
: 11 декабря 2012
1 ВАРИАНТ
Задание 1
1. Предположим, Вы заключили депозитный контракт на сумму $4000 на три года при процентной ставке, указанной в таблице. Если проценты начисляются ежеквартально, какую сумму Вы получите по окончанию контракта.
1,2 3,4 5,6 7,8 9,0
12% 16% 20% 24% 28%
2. Финансовый менеджер предприятия предложил Вам инвестировать Ваши $10000 в его предприятие, пообещав возвратить через 2 года сумму, указанную в таблице. Имея другие инвестиционные возможности, Вы должны выяснить, како
ДО Сибгути
: 11 декабря 2012
300 руб.
Технологический процесс механической обработки детали – Плита верхняя с экономическим обоснованием технологического процесса
red_007
: 18 декабря 2009
В курсовом проекте разработан технологический процесс механической обработки детали Плита нижняя с технико-экономическим обоснованием выбранного варианта. Заготовку детали получили из листового горячекатаного проката, так как этот метод более экономичен, производителен.
В проекте произведены следующие изменения: на операции 005 заменить универсальный вертикально-фрезерный станок модели 6Р131 на станок с ЧПУ модели 6М82Ф3.
Средний коэффициент загрузки оборудования на обработку данной детали по уч
red_007
: 18 декабря 2009
1. Метод Гаусса решения систем линейных уравнений. 2. Прямая в пространстве и её уравнения.
ViktorLV
: 8 февраля 2009
Перечень заданий 1 курс «Алгебра и геометрия». 10-й вариант Экзамен
БИЛЕТ № 10
1. Метод Гаусса решения систем линейных уравнений.
2. Прямая в пространстве и её уравнения.
3. Найти если , .
4. Найти уравнение гиперболы и построить ее, если асимптоты гиперболы имеют уравнения , а фокусы находятся в точках .
5. Исследовать систему и в случае совместности найти решение
ViktorLV
: 8 февраля 2009
100 руб.
