Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. 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 руб.
Другие работы
Тепломассообмен СЗТУ Задача 9 Вариант 16
Z24
: 22 февраля 2026
Определить коэффициент теплоотдачи сухого насыщенного водяного пара на горизонтальной трубе n-го ряда конденсатора при коридорном и шахматном расположении в нем труб.
Найти количество конденсирующегося за 1 час пара, если абсолютное давление в конденсаторе р, температурный напор пар – стенка Δt, наружный диаметр латунных труб в конденсаторе 16 мм, а длина l. Насколько изменится коэффициент теплоотдачи, если в паре содержится 1% воздуха?
Z24
: 22 февраля 2026
220 руб.
Зажим гидравлический МЧ00.04.00.00
bublegum
: 27 августа 2020
Гидравлический зажим одностороннего действия предназначен для закрепления обрабатываемой детали.
Зажим устанавливают в поперечный паз стола станка при помощи нижнего выступа плиты поз. 3 и закрепляют четырьмя болтами поз. 12. Зажим устанавливают в одно из трех фиксируемых положений (верхний выступ в плите поз. 8 соответственно входит в одну из трех канавок в корпусе поз. 4) перпендикулярно станочным пазам, что обеспечивает его неподвижность при большом зажимном усилии.
В корпусе поз. 4 расположе
bublegum
: 27 августа 2020
170 руб.
Понятие, структура и агенты власти
Elfa254
: 10 января 2014
Многообразие определений власти
Власть — одно из фундаментальных начал общества и политики. Она существует везде, где есть устойчивые объединения людей: в семье, производственных коллективах, различного рода организациях и учреждениях, во всем государстве — в этом случае мы имеем дело с верховной, политической властью.
В научной литературе существуют разнообразные определения власти, что отражает сложность, многоаспектность этого явления. Каждая из дефиниций обычно акцентирует внимание на той ил
Elfa254
: 10 января 2014
5 руб.
Совершенствование организации ремонда двигателей в филиале ООО "БАШНЕФТЬ-ГЕОСТРОЙ" Туймазинской УБР
Рики-Тики-Та
: 15 декабря 2015
СОДЕРЖАНИЕ
Введение
1 АНАЛИЗ ПРОИЗВОДСТВЕННОЙ ДЕЯТЕЛЬНОСТИ В ФИЛИАЛЕ ООО «БАШНЕФТЬ - ГЕОСТРОЙ» ТУЙМАЗИНСКОГО РАЙОНА
1.1 Общая характеристика предприятия
1.2 Организация и технология ремонта машин в мастерской предприятия
1.3 Технико-экономические показатели предприятия
2 СОВЕРШЕНСТВОВАНИЕ ОРГАНИЗАЦИИ РЕМОНТА
ДВИГАТЕЛЕЙ В ФИЛИАЛЕ ООО "БАШНЕФТЬ-ГЕОСТРОЙ" "ТУЙМАЗИНСКОЕ УБР"
2.1 Обоснование производственной программы мотороремонтного цеха
2.2 Выбор режима работы мастерской и расчет фондов вр
Рики-Тики-Та
: 15 декабря 2015
825 руб.
