Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. 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 руб.
Другие работы
Общая характеристика инфекционных заболеваний
alfFRED
: 6 февраля 2013
Содержание:
Введение
Глава 1. Общая характеристика инфекционных заболеваний
Глава 2. Наиболее распространенные болезни
Глава 3. Профилактика заболеваний
Заключение
Список литературы
Введение
Человек живет в мире, где его окружает множество опасностей, которые угрожают не только его нормальной жизнедеятельности, но и могут привести к смертельному исходу. Одной из таких опасностей и являются инфекционные болезни. Актуальность выбранной мною темы заключается в описании наиболее распространенных бо
alfFRED
: 6 февраля 2013
Рабинович Сборник задач по технической термодинамике Задача 111
Z24
: 30 ноября 2025
В сосуде объемом 300 л находится кислород при давлении р1=0,2 МПа и температуре t1=20 ºC.
Какое количество теплоты необходимо подвести, чтобы температура кислорода повысилась до t2=300 ºC? Какое давление установится при этом в сосуде? Зависимость теплоемкости от температуры принять нелинейной.
Ответ: Qυ=152,8 кДж, р2=0,39 МПа.
Z24
: 30 ноября 2025
150 руб.
Лабораторная работа №3 по дисциплине: Основы телекоммуникаций. Вариант 28
Roma967
: 6 июня 2023
Лабораторно-практическое задание 3
«Принцип временной коммутации»
Задание
Во временном коммутаторе ВК 32ЦЛх32ЦЛ определить номера и содержимое ячеек памяти ЗУИ и ЗУА при соединении NВИвх входящего канала NВЦЛ цифровой линии с NВИисх исходящим каналом NИЦЛ цифровой линии при передаче кодовой комбинации КК.
ЗУИ работает в режиме – запись последовательная; считывание по адресу.
Номер варианта определяется по последним двум цифрам пароля.
Исходные данные:
№ варианта: 28
NВИвх: 29
NВИивх: 4
NВЦЛ: 2
Roma967
: 6 июня 2023
100 руб.
Технологии разработки программного обеспечения "Игра “100 спичек”"
Axi0ma
: 14 июня 2018
Задание: Реализовать игру "100 спичек".
Суть игры: Из кучки, первоначально содержащей 100 спичек, двое играющих поочередно берут по несколько спичек: не менее одной и не более десяти. Проигрывает взявший последнюю спичку.
Цель работы: Ознакомление с Github путем совместной работы над реализацией игры "100 спичек". Ознакомление с travis-ci. Игра будет реализована как приложение для Windows.
Axi0ma
: 14 июня 2018
150 руб.
