Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант № 9
-
Категории:
СибГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
13.04.2021
-
Размер:
47 KB
-
Покупок:
1
-
Добавил:
IT-STUDHELP
Написать сообщение
Скачать
Состав работы
ED0CA85E-B556-4471-9B6B-C26C32B372CB.docx
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Вариант No 9
Задача 1. Построить таблицу истинности логической формулы - " (A⟶(B⟶C))~((A⟶B)⟶C) "
----------------------------------------------------------------------------
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции - "Если шкаф будет собран, то либо я его собрал, либо мой отец собрал, либо шкаф собирал я и отец. Если у отца рабочий день, то мне придется собирать шкаф одному. Шкаф был собран в рабочий день. Значит, шкаф я собирал одиночку."
-----------------------------------------------------------------------------
Задача 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные - " ∀xQ(x,y)⟶(∃yQ(x,y)∨∃xR(x,y)) "
-----------------------------------------------------------------------------
Задача 4. На координатной плоскости даны множества A и B (A ограничено красным цветом, B – синим, границы включены в множества). Описать предикат P_C (z), определенный на координатной плоскости, который принимает значение «истина», если точка z=(x,y) принадлежит множеству C, и значение «ложь», если точка z не принадлежит множеству C. Для записи предиката можно использовать любые логические операции и сравнение ≤.
-----------------------------------------------------------------------------
Задача 5. Дана машина Тьюринга с алфавитом и программой
, , , .
Определить конфигурацию, в которую переходит машина Тьюринга после выполнения не более чем 5 команд, если начальная конфигурация была .
Задача 1. Построить таблицу истинности логической формулы - " (A⟶(B⟶C))~((A⟶B)⟶C) "
----------------------------------------------------------------------------
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции - "Если шкаф будет собран, то либо я его собрал, либо мой отец собрал, либо шкаф собирал я и отец. Если у отца рабочий день, то мне придется собирать шкаф одному. Шкаф был собран в рабочий день. Значит, шкаф я собирал одиночку."
-----------------------------------------------------------------------------
Задача 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные - " ∀xQ(x,y)⟶(∃yQ(x,y)∨∃xR(x,y)) "
-----------------------------------------------------------------------------
Задача 4. На координатной плоскости даны множества A и B (A ограничено красным цветом, B – синим, границы включены в множества). Описать предикат P_C (z), определенный на координатной плоскости, который принимает значение «истина», если точка z=(x,y) принадлежит множеству C, и значение «ложь», если точка z не принадлежит множеству C. Для записи предиката можно использовать любые логические операции и сравнение ≤.
-----------------------------------------------------------------------------
Задача 5. Дана машина Тьюринга с алфавитом и программой
, , , .
Определить конфигурацию, в которую переходит машина Тьюринга после выполнения не более чем 5 команд, если начальная конфигурация была .
Дополнительная информация
Уважаемый студент, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа
Оценка: Зачёт
Дата оценки: 13.04.2021
Рецензия: Уважаемый ,
Мачикина Елена Павловна
Помогу с вашим вариантом, другой работой или дисциплиной.
E-mail: sneroy20@gmail.com
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа
Оценка: Зачёт
Дата оценки: 13.04.2021
Рецензия: Уважаемый ,
Мачикина Елена Павловна
Помогу с вашим вариантом, другой работой или дисциплиной.
E-mail: sneroy20@gmail.com
Похожие материалы
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №9
holm4enko87
: 20 ноября 2024
ЗАДАНИЕ No1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Вариант 9. Если число делится на 3, то сумма его цифр делится на 3.
ЗАДАНИЕ No2: ЛОГИКА ПРЕДИКАТОВ.
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естест
holm4enko87
: 20 ноября 2024
350 руб.
Контрольная работа по дисциплине "Математическая логика и теория алгоритмов". Вариант №9
DArt
: 14 февраля 2021
1 Построить таблицу истинности логической формулы.
2 Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
3 В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные.
4 На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим, границы
DArt
: 14 февраля 2021
200 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №9
IT-STUDHELP
: 11 ноября 2019
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
9. (A→(B→C))→((A→B)→C)
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
9. Если у меня хватит времени прочитать книгу, то я пойду погулять или встречусь с друзьями. С друзьями я встречаюсь во время прогулки. Значит, я встречусь с друзьями.
3. Пользуясь определением формулы логики предикатов п
IT-STUDHELP
: 11 ноября 2019
500 руб.
"Математическая логика и теория алгоритмов". Вариант №9
Павел161
: 9 июня 2020
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
9.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
9. Если у меня хватит времени прочитать книгу, то я пойду погулять или встречусь с друзьями. С друзьями я встречаюсь во время прогулки. Значит, я встречусь с друзьями.
3. Пользуясь определением формулы логики предикатов проверить, что выражение являет
Павел161
: 9 июня 2020
300 руб.
Математическая логика и теория алгоритмов. Вариант № 9
russkih1984
: 26 ноября 2012
1.9. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций:
2.9. Пусть - множество людей. На множестве заданы следующие предикаты
3.9. Привести формулу к предваренной форме:
4.9. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x, y, z.
5.9. Показать примитивную рекурсивнос
russkih1984
: 26 ноября 2012
550 руб.
Контрольная работа по дисциплине: математическая логика и теории алгоритмов
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 руб.
Другие работы
Задача по физике (развернутое решение в Word)
Григорий12
: 17 декабря 2016
Амплитуды смещений вынужденных колебаний при частотах вынуждающей силы 100 и 150 Гц равны между собой. Определить резонансную частоту νрез. Затуханием пренебречь.
Григорий12
: 17 декабря 2016
40 руб.
Лабораторные работы №№1-4 по предмету "Вычислительная техника и информационные технологии"
ZhmurovaUlia
: 27 января 2017
Лабораторная работа №1
Исследование логических схем на элементах «И–НЕ»
1. Цель работы
Изучение свойств логических элементов «И–НЕ»; приобретение навыков синтеза логических схем.
2.Подготовка к работе
2.1. Изучить основные логические функции и их условное обозначение, способы представления логических функций, основные правила выполнения логических операций, функционально полные системы логических элементов.
2.2. Синтезировать логические выражения, реализующие в базисе И – НЕ следующие
ZhmurovaUlia
: 27 января 2017
120 руб.
Гидравлика и гидропривод ПГУПС 2016 Задача 9 Вариант 5
Z24
: 6 января 2026
Гидравлическое реле времени, служащее для включения и выключения различных устройств через фиксированные интервалы времени, состоит из цилиндра, в котором помещен поршень диаметром D1, со штоком — толкателем диаметром D2.
Цилиндр присоединен к емкости с постоянным уровнем жидкости H0. Под действием давления, передающегося из емкости в правую полость цилиндра, поршень перемещается, вытесняя жидкость из левой полости в ту же емкость через трубку диаметром d (рис.9.1).
Требуется определить:
Z24
: 6 января 2026
180 руб.
Разработка и усовершенствование конструкции узла влагомера «Phase Dynamics» измерительной установки «ОЗНА-Массомер-3000» для измерения массового расхода нефти и объемного расхода газа-Курсовая работа-Оборудование для добычи и подготовки нефти и газа
lelya.nakonechnyy.92@mail.ru
: 9 августа 2016
Разработка и усовершенствование конструкции узла влагомера «Phase Dynamics» измерительной установки «ОЗНА-Массомер-3000» для измерения массового расхода нефти и объемного расхода газа-Курсовая работа-Оборудование для добычи и подготовки нефти и газа
Дипломный проект: 136 страниц, 19 рисунков, 22 таблиц, 21 источник
НЕФТЬ, ИЗМЕРИТЕЛЬНЫЕ УСТАНОВКИ, ИЗМЕРЕНИЕ, БОЛЬШОЙ ДЕБИТ, ОБВОДНЕННОСТЬ, ВЛАГОМЕР, ИЗМЕРИТЕЛЬНЫЙ МОДУЛЬ
Объектом исследования является измерительная установка «ОЗНА-Массомер-3000» дл
lelya.nakonechnyy.92@mail.ru
: 9 августа 2016
1843 руб.
