Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 10
-
Категории:
ДО СИБГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
17.12.2016
-
Размер:
39 KB
-
Покупок:
4
-
Добавил:
xtrail
Написать сообщение
Скачать
Состав работы
58B9A9CB-7974-43F6-839F-A3609444C670.docx
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Вариант 10
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой. (см. скрин)
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3. Пользуясь определением формулы логики предикатов, проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. (см. скрин)
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули. (x,y 31). Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ. (см. скрин)
5. Показать примитивную рекурсивность функции f(x,y). (см. скрин)
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой. (см. скрин)
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3. Пользуясь определением формулы логики предикатов, проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. (см. скрин)
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули. (x,y 31). Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ. (см. скрин)
5. Показать примитивную рекурсивность функции f(x,y). (см. скрин)
Дополнительная информация
Зачет, 2016 г.
Похожие материалы
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №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
IT-STUDHELP
: 20 июня 2016
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
(A→B)→((A→C)→(B→C)).
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3. Пользуясь определением формулы логики предикатов, проверить, чт
IT-STUDHELP
: 20 июня 2016
195 руб.
Математическая логика и теория алгоритмов. Вариант №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 руб.
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №10
Bodibilder
: 17 марта 2019
Задание по математической логике и теории алгоритмов
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда я свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3
Bodibilder
: 17 марта 2019
100 руб.
Другие работы
Проект модернизации автомобильного крана КС-4572
Рики-Тики-Та
: 21 января 2012
СОДЕРЖАНИЕ
Введение
1. КОНСТРУКТОРСКАЯ ЧАСТЬ
1.1. Описание базового крана и обоснование его модернизации
1.2. Расчет телескопической стрелы
1.3. Расчет механизма подъема стрелы
1.4. Расчет механизма подъема груза
1.5. Расчет гидропривода механизма подъема груза
1.5.1. Исходные данные для расчета
1.5.2. Выбор рабочей жидкости
1.5.3. Расчет мощности и подачи насоса
1.5.4. Определение типоразмера насоса
1.5.5. Выбор типоразмера направляющей, регулирующей
гидроаппаратуры и фи
Рики-Тики-Та
: 21 января 2012
55 руб.
Контрольная работа. Структуры и алгоритмы обработки данных. Вариант № 9
russkih1984
: 3 февраля 2013
Задание 1
Используя в качестве массива набор из 8 букв своих фамилии, имени, отчества, (Русских Екатерина Владимировна) определить на каждом шаге в методе прямого выбора номера перемещаемых элементов (пример см. в лекциях, раздел 2.1).
Задание 2
Используя в качестве массива набор из 8 букв своих фамилии, имени, отчества, определить на каждом шаге в методе шейкерной сортировки левую и правую границы сортируемой части массива (L и R).
Задание 3
Используя в качестве массива набор из 8 букв своих ф
russkih1984
: 3 февраля 2013
350 руб.
Процесс повышения качества услуг санатория "Днепр"
Slolka
: 9 октября 2013
ВВЕДЕНИЕ
Бизнес рождается и живет своим качеством и умирает,
когда оно становиться ненужным.
В последние годы туристский рынок характеризуется ростом предложения при одновременном сокращении спроса на услуги.
Такое положение, как нетрудно догадаться, чревато усилением конкуренции, и без того не дававшей спокойно спать владельцам различных «домов отдыха» на протяжении последней четверти двадцатого века. Одним из основных направлений формирования стратегических конкурентных преимуществ в турис
Slolka
: 9 октября 2013
10 руб.
Курсовая работа по информатике. Разработка базы данных для хранения информации о читателях и находящихся у них книгах. Вариант №6.
panterkangtu
: 11 февраля 2016
Разработать базу данных для хранения информации о читателях и находящихся у них книгах.
Необходимо разработать базу данных библиотеки, в которой будут храниться данные о читателях, книгах и о «движении» книг.
Обозначим основной список необходимых полей:
- номер читателя;
- ФИО читателя;
- адрес читателя;
- номер телефона читателя;
- паспорт читателя;
- дата выдачи книги;
- код книги;
- автор книги;
- название книги;
- жанр книги;
- издательство;
- год издания.
panterkangtu
: 11 февраля 2016
150 руб.
