Контрольная работа. Математическая логика и теория алгоритмов. II-й семестр. вариант №17
-
Категории:
ДО СИБГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
19.02.2017
-
Размер:
126 KB
-
Покупок:
8
-
Добавил:
Madam
Написать сообщение
Скачать
Состав работы
|
Контрольная работа-I. II-семестр. 17 - вариант..docx
|
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
Контрольная работа Математическая логика и теория алгоритмов II семестр вариант 17
Исчисление высказываний.
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Исчисление предикатов
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме.
Теория алгоритмов
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, x,y≥1. Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
5. Показать примитивную рекурсивность функции f(x, y).
Исчисление высказываний.
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Исчисление предикатов
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме.
Теория алгоритмов
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, x,y≥1. Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
5. Показать примитивную рекурсивность функции f(x, y).
Дополнительная информация
Сибирский государственный университет телекоммуникаций и информатики
Год: 2017г
Оценка: Зачёт
Проверяющий: Мачикина Е. П.
Год: 2017г
Оценка: Зачёт
Проверяющий: Мачикина Е. П.
Похожие материалы
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №17
andryha8
: 17 апреля 2016
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
(A→B)→((C→A)→(C→B))
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Незнание правил дорожного движения не освобождает от ответственности в случае их несоблюдения. Для того чтобы нести ответственность нужно нарушать правила. Следовательно, знать правила нужно.
3. Пользуясь определением формулы ло
andryha8
: 17 апреля 2016
600 руб.
Контрольная работа. Вариант 17. Математическая логика и теория алгоритмов. СИБГУТИ
Kuki
: 23 июня 2023
Задание 1. Построить таблицу истинности логической формулы.
(A→B)→((C→A)→(C~B))
Задание 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Рассуждение: «Если погода хорошая, то самолет взлетит. Если самолет взлетает, то все пассажиры на борту. На борту все пассажиры, но самолет не взлетает. Значит, погода нелётная.»
Задание 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждо
Kuki
: 23 июня 2023
150 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №17
IT-STUDHELP
: 4 ноября 2022
Вариант 17
-------------------------------------------
Контрольная работа
по дисциплине
«Математическая логика и теория алгоритмов»
-------------------------------------------
Задача 1. Построить таблицу истинности логической формулы.
17. (A⟶B)⟶((C⟶A)⟶(C~B))
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
17. Если погода хорошая, то самолет взлетит. Если самолет взлетает, то все пассажиры на борту. На борту все п
IT-STUDHELP
: 4 ноября 2022
680 руб.
Контрольная работа по дисциплине "Математическая логика и теория алгоритмов". Вариант №17
Nikis
: 22 января 2015
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения: X – тесть
Построить машину Тьюринга для перевода из одной конфигурации в
Nikis
: 22 января 2015
150 руб.
Контрольная работа работа по математической логике и теории алгоритмов 3-й семестр
sanrus72
: 31 марта 2015
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 – женщина.
С использованием этих предикатов записать формулу, выражающую следующее утверждение: X – шурин.
III. Привести формулу к предвар
sanrus72
: 31 марта 2015
150 руб.
Математическая логика и теория алгоритмов - Контрольная работа
Дарья140
: 4 января 2024
Контрольная работа "Математическая логика и теория алгоритмов" вариант 2
Дарья140
: 4 января 2024
300 руб.
Математическая логика и теория алгоритмов. Контрольная работа
m9c1k
: 18 ноября 2009
Контрольная работа
по дисциплине
«Математическая логика и теория алгоритмов»
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. . Проверить работу машины Тьюринга для конкретных значений .
5.Показать примитивную рекурсивность функции :
m9c1k
: 18 ноября 2009
100 руб.
Математическая логика и теория алгоритмов. Контрольная работа. 3-й семестр. 1-й вариант
karapulka
: 31 мая 2016
1.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
1. A>B|(C>A)>(C>B)
2.Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1.E(x, y) = И <=> x и y – один и тот же человек;
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
У каждого есть отец и мать.
3. Привести формулу к предваренной форме
3.1.
4.Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех ма
karapulka
: 31 мая 2016
50 руб.
Другие работы
Лабораторная работа №5. 4-й семестр. Теория сложностей вычислительных процессов
oksana
: 14 апреля 2015
Тема: Задачи динамического программирования. Задача грабителя (задача “о рюкзаке”)
Задание
Имеется склад, на котором присутствует некоторый ассортимент товаров. Запас каждого товара неограничен. У каждого товара своя стоимость Ci и масса mi. Написать программу, которая методом динамического программирования формирует такой набор товаров, чтобы его суммарная масса не превышала заданную грузоподъемность М, и стоимость была бы максимальной. На экран вывести промежуточные вычисления, сформированный
oksana
: 14 апреля 2015
100 руб.
Односекционный крупнопанельный жилой 5-этажный дом с тремя квартирами на этаже
alfFRED
: 28 августа 2013
Содержание
1. Исходные данные
2. Требования, предъявляемые к квартире
3. Выбор конструктивной схемы
4. Объёмно- планировочное решение
5. Конструктивное решение
6. Технико-экономические показатели
Библиографический список
1. Исходные данные
1.Район строительства г. Магнитогорск.
Климатические характеристики района строительства:
-расчётная нагрузка от снегового покрова…………….240 кгс/м2
-нормативное значение скоростного напора ветра……38 кгс/м2
-расчётная температура наруж
alfFRED
: 28 августа 2013
10 руб.
Конкурентные преимущества предприятий автомобилестроительной отрасли(российский и международной аспект)
Lokard
: 9 ноября 2013
Содержание
Введение
I глава. Сущность конкуренции как основа рыночного механизма. Виды конкуренции на современном рынке
II глава. Формирование конкурентных преимуществ АВТОВАЗа, ГАЗа, УАЗа и ТАГАЗа автомобильной отрасли на современном Российском рынке
III глава. Структура конкурентных преимуществ Toyota, Volvo, Nissan, Ford и тенденции, определяющие их развитие
Заключение
Глоссарий
Список литературы
Введение
В современном мире во многих странах господствуют рыночные отношения. Рыночная
Lokard
: 9 ноября 2013
15 руб.
Виды кровотечений и первая медицинская помощь при кровотечениях
Lokard
: 21 ноября 2013
Содержание:
Введение
1. Виды кровотечений
1.1 По направлению тока крови
1.1.1 Внутреннее
1.1.2 Наружное
1.2 По поврежденному сосуду
1.2.1 Капиллярное
1.2.2 Венозное
1.2.3 Артериальное
1.2.4 Паренхиматозное
2. Последствия кровотечений
3. Первая медицинская помощь
Заключение
Библиографический список
Введение
Безопасность жизнедеятельности – это область научных знаний, изучающая опасности и средства защиты от них.
Чрезвычайные ситуации (ЧС) – внешне неожиданная, внезапно возникающая обстановка, ко
Lokard
: 21 ноября 2013
15 руб.
