Математическая логика и теория алгоритмов. Контрольная работа. Вариант №10
-
Категории:
ДО СИБГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
17.03.2019
-
Размер:
71 KB
-
Покупок:
3
-
Добавил:
Bodibilder
Написать сообщение
Скачать
Состав работы
|
|
Контрольная работа.docx
|
Необходимые программы
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
Задание по математической логике и теории алгоритмов
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда я свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3 Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме
4 Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, . Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
5 Показать примитивную рекурсивность функции f(x,y).
10.f(x,y)=x+|y-x|
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда я свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3 Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме
4 Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, . Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
5 Показать примитивную рекурсивность функции f(x,y).
10.f(x,y)=x+|y-x|
Дополнительная информация
Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 08.06.2016
Рецензия:Уважаемый ,
Мачикина Елена Павловна
Работа зачтена с первого раза без замечаний
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 08.06.2016
Рецензия:Уважаемый ,
Мачикина Елена Павловна
Работа зачтена с первого раза без замечаний
Похожие материалы
Математическая логика и теория алгоритмов. Вариант №10
AlexBrookman
: 3 февраля 2019
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
10. (A→B)→((A→C)→(B→C)).
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3. Пользуясь определением формулы логики предикатов, проверить,
AlexBrookman
: 3 февраля 2019
120 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №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
IT-STUDHELP
: 20 июня 2016
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
(A→B)→((A→C)→(B→C)).
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
10. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
3. Пользуясь определением формулы логики предикатов, проверить, чт
IT-STUDHELP
: 20 июня 2016
195 руб.
Математическая логика и теория алгоритмов. Контрольная работа 10 вариант
Алексей134
: 24 декабря 2019
1. Пользуясь определением формулы исчисления высказываний, проверить, является ли данное выражение формулой.
10. (A→B)→((A→C)→(B→C)).
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
3. Пользуясь определением формулы логики предикатов, проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме.
10. (∀x∃yQ(x,y))→(∃yP(x,y)→∀xQ(x,y)).
4
Алексей134
: 24 декабря 2019
200 руб.
Математическая логика и теория алгоритмов - Контрольная работа
Дарья140
: 4 января 2024
Контрольная работа "Математическая логика и теория алгоритмов" вариант 2
Дарья140
: 4 января 2024
300 руб.
Другие работы
Оценка инженерно-геологических условий промышленной площадки строительства
Рики-Тики-Та
: 7 сентября 2011
Содержание
1.Оценка инженерно-геологических условий
промышленной площадки строительства
2. Определение физико-механических свойств и полного
наименования грунтов рассчитываемого основания.
3. Сбор нагрузок
4. Выбор типа фундаментов и определениеглубины их заложения
5.Определение основных размеров ленточногофундамента
Ф-1 в подвальной и бесподвальной части здания
6. Определение размеров отдельностоящего фундамента Ф-2 под колонну
7. Определение осадки фундамента мелкого заложения марки Ф-2
8.Рас
Рики-Тики-Та
: 7 сентября 2011
55 руб.
Невербальный способ общения
elementpio
: 18 декабря 2012
Когда мы говорим, что человек чувствителен и обладает интуицией, мы имеем в виду, что он (или она) обладает способностью читать невербальные сигналы другого человека и сравнивать их с вербальными сигналами. Другими словами, когда мы говорим, что у нас предчувствие или что "шестое чувство" подсказывает нам, что кто-то сказал неправду, мы в действительности имеем в виду, что заметили разногласие между языком тела и сказанными словами. Лекторы называют это чувством аудитории. Например, если слушающ
elementpio
: 18 декабря 2012
Контрольная работа По дисциплине: Цифровая обработка сигналов. Вариант №80.
teacher-sib
: 8 июня 2022
КОНТРОЛЬНОЕ ЗАДАНИЕ
Задача 1. Прохождение дискретного непериодического сигнала через нерекурсивную дискретную цепь.
На вход дискретной цепи подается непериодический сигнал .
1.1 Построить график дискретного сигнала.
1.2 Рассчитать спектр ДС с шагом . Построить амплитудный спектр.
1.3 Построить дискретную цепь. Записать ее передаточную функцию, определить импульсную характеристику цепи.
1.4 Определить сигнал на выходе цепи по формуле линейной свертки
Построить график выходного сигнала.
1
teacher-sib
: 8 июня 2022
800 руб.
Разработка схемы управления адаптивного промышленного робота
Рики-Тики-Та
: 13 декабря 2011
Реферат
Успехи микроэлектроники, высокие темпы развития электронного приборостроения способствуют все большему проникновению средств вычислительной техники в системы управления производственными объектами и технологическими процессами. Это позволяет повысить качество управления и, как следствие, повысить эффективность управляемых процессов и качество выпускаемой продукции. В свою очередь успехи в управлении стимулируют совершенствование технологических и производственных процессов. Усложняются
Рики-Тики-Та
: 13 декабря 2011
55 руб.
