Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №10
-
Категории:
СибГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
20.06.2016
-
Размер:
33 KB
-
Покупок:
0
-
Добавил:
IT-STUDHELP
Написать сообщение
Скачать
Состав работы
57783E5F-82E8-456D-BF83-0819CD58ACA7.docx
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
(A→B)→((A→C)→(B→C)).
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3. Пользуясь определением формулы логики предикатов, проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме.
(∀x∃yQ(x,y))→(∃yP(x,y)→∀xQ(x,y)).
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули. (x,y 31). Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
5. Показать примитивную рекурсивность функции f(x,y).
10. f(x,y)=x+|y-x|.
(A→B)→((A→C)→(B→C)).
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3. Пользуясь определением формулы логики предикатов, проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме.
(∀x∃yQ(x,y))→(∃yP(x,y)→∀xQ(x,y)).
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули. (x,y 31). Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
5. Показать примитивную рекурсивность функции f(x,y).
10. f(x,y)=x+|y-x|.
Дополнительная информация
Коментарии: Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 23.05.2016
Мачикина Елена Павловна
Помогу с выполнением других работ и дисциплин.
E-mail: sneroy20@gmail.com
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 23.05.2016
Мачикина Елена Павловна
Помогу с выполнением других работ и дисциплин.
E-mail: sneroy20@gmail.com
Похожие материалы
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №10
IT-STUDHELP
: 12 декабря 2023
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №10
IT-STUDHELP
: 12 декабря 2023
450 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №10
IT-STUDHELP
: 3 октября 2023
Вариант No10
No1. Проверить для произвольных множеств, что
⌝(A∩B∩C)=(A∪B∪C)\(A∩B∩C)
No2. Что можно сказать об истинностном значении высказывания p⊃⌝s, если p⊃q≡И,⌝s⊃⌝q≡Л?
No3. Переведите с естественного языка на язык логики предикатов: “Если число делится на два числа, то оно делится на их произведение.”
Универсум - множество целых чисел Z.
Предикат, определяющий делимость чисел: P(x,y)≡"x делится на y".
Предикат, определяющий умножение чисел:
No4. Переведите с естественного язы
IT-STUDHELP
: 3 октября 2023
450 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №10
IT-STUDHELP
: 2 января 2020
Вариант 10
Задача 1. Построить таблицу истинности логической формулы.
(A→B)∼((A→C)→(B→C))
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Если менеджер успел на автобус, то менеджер вовремя приедет в офис. Если менеджер приедет вовремя в офис, то он обслужит всех клиентов. Сегодня менеджер не смог обслужить всех клиентов. Значит, менеджер опоздал на автобус.
Задача 3. В формуле указать свободные и связанные переме
IT-STUDHELP
: 2 января 2020
680 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 10
xtrail
: 17 декабря 2016
Вариант 10
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой. (см. скрин)
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3. Пользуясь определением формулы логики предикатов, проверить,
xtrail
: 17 декабря 2016
200 руб.
Математическая логика и теория алгоритмов. Вариант №10
AlexBrookman
: 3 февраля 2019
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
10. (A→B)→((A→C)→(B→C)).
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3. Пользуясь определением формулы логики предикатов, проверить,
AlexBrookman
: 3 февраля 2019
120 руб.
Контрольная работа по дисциплине: математическая логика и теории алгоритмов
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 руб.
Другие работы
Социально-психологические особенности экологического сознания военнослужащих
evelin
: 19 октября 2013
Введение
Глава 1. Теоретико-методологические аспекты влияния экстремальной среды на экологическое сознание военнослужащих
1.1 Общая характеристика экстремальных условий труда и обитания
1.2 Психологические особенности поведения человека в экстремальных условиях
1.3 Теоретико-методологические аспекты психологии экологического сознания
1.4 Психологические составляющие и функции экологического сознания
Глава 2. Социально-психологическое исследование экологического сознания военнослужащих
2.1
evelin
: 19 октября 2013
Лабораторная работа №3 по дисциплине: Программирование трехмерной графики (часть 2). Вариант общий. 2025
MasterGammi
: 6 апреля 2026
Могу скинуть полностью проект, но слегка изменённый
Лабораторная работа №3:
Динамическое создание объектов.
Цель: Целью лабораторной работы является знакомство с методом динамического создания и
уничтожения объектов в среде Unity.
Задание:
Создать интерактивное приложение трёхмерной графики, содержащее следующие механики:
1. Возможность перемещения по сцене в режиме от первого лица.
2. Возможность производить выстрел из оружия.
3. При выстреле, из оружия должна вылетать модель гильзы.
MasterGammi
: 6 апреля 2026
600 руб.
Гидравлика гидравлические машины и гидроприводы Задача 1 Вариант 7
Z24
: 17 ноября 2025
Автоклав объемом 25,0 л наполнен жидкостью и закрыт герметически. Коэффициент температурного расширения жидкости а, ее модуль упругости Е. Определить повышение давления в автоклаве при увеличении температуры жидкости на величину Т. Объемной деформацией автоклава пренебречь.
Z24
: 17 ноября 2025
120 руб.
Система регионального воспроизводства
Qiwir
: 10 ноября 2013
В экономической науке сегодня сосуществуют две основные теоретические парадигмы: мэйнстрим, методологической основой которого является равновесный анализ, и институциональный подход, достаточно разнообразный по имеющимся в его рамках течениям, одним из которых стала эволюционная экономическая теория. В рамках этих магистральных теоретических направлений анализируются экономические процессы на различных уровнях, в том числе и на мезоэкономическом.
С точки зрения неоклассического подхода, огранич
Qiwir
: 10 ноября 2013
10 руб.
