Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №9
-
Категории:
ДО СИБГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
20.11.2024
-
Размер:
20 KB
-
Покупок:
2
-
Добавил:
holm4enko87
Написать сообщение
Скачать
Состав работы
|
Матем логика.docx
|
Необходимые программы
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
ЗАДАНИЕ No1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Вариант 9. Если число делится на 3, то сумма его цифр делится на 3.
ЗАДАНИЕ No2: ЛОГИКА ПРЕДИКАТОВ.
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Вариант 9. Некоторые книги полезны.
ЗАДАНИЕ No3: ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ (ИСЧИСЛЕНИЯ).
Установить правильность рассуждения, построив вывод исчисления высказываний.
Вариант 9. Если эта собака не обучена, ее нельзя отпускать без поводка. Эту собаку можно отпускать без поводка. Значит, эта собака обучена.
ЗАДАНИЕ No4: НЕЧЕТКАЯ ЛОГИКА.
Определить степень равносильности формул A ̃ и B ̃ при условии, что X ̃ и Y ̃ принимают значения степеней истинности из множества {0,2;0,3}.
No A ̃ B ̃
9 Y ̃X ̃ Y ̃X ̃
ЗАДАНИЕ No5: АЛГОРИТМЫ.
Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых.
No Pвх Pвых
9 111 1111
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Вариант 9. Если число делится на 3, то сумма его цифр делится на 3.
ЗАДАНИЕ No2: ЛОГИКА ПРЕДИКАТОВ.
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Вариант 9. Некоторые книги полезны.
ЗАДАНИЕ No3: ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ (ИСЧИСЛЕНИЯ).
Установить правильность рассуждения, построив вывод исчисления высказываний.
Вариант 9. Если эта собака не обучена, ее нельзя отпускать без поводка. Эту собаку можно отпускать без поводка. Значит, эта собака обучена.
ЗАДАНИЕ No4: НЕЧЕТКАЯ ЛОГИКА.
Определить степень равносильности формул A ̃ и B ̃ при условии, что X ̃ и Y ̃ принимают значения степеней истинности из множества {0,2;0,3}.
No A ̃ B ̃
9 Y ̃X ̃ Y ̃X ̃
ЗАДАНИЕ No5: АЛГОРИТМЫ.
Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых.
No Pвх Pвых
9 111 1111
Дополнительная информация
Комментарии: Оценка: отлично
Дата оценки: 02.11.2024
Дата оценки: 02.11.2024
Похожие материалы
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант № 9
IT-STUDHELP
: 13 апреля 2021
Вариант No 9
Задача 1. Построить таблицу истинности логической формулы - " (A⟶(B⟶C))~((A⟶B)⟶C) "
----------------------------------------------------------------------------
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции - "Если шкаф будет собран, то либо я его собрал, либо мой отец собрал, либо шкаф собирал я и отец. Если у отца рабочий день, то мне придется собирать шкаф одному. Шкаф был собран в рабочий день. Знач
IT-STUDHELP
: 13 апреля 2021
680 руб.
Контрольная работа по дисциплине "Математическая логика и теория алгоритмов". Вариант №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 руб.
Другие работы
Экзамен. Основы построения телекоммуникационных систем и сетей. Билет №7. 4-й семестр
Студенткааа
: 24 марта 2013
1. Найти остаточное затухание в канале, содержащем три усилительных участка: l1 =5 км, l2 = 6 км, l3 = 9 км, километрическое затухание в кабеле а = 0,5 дБ/км; коэффициенты передачи (усиления) К1 = 15 дБ, К2= 10 дБ, К3 = 6 дБ.
2. Определить полосу пропускания сигнала на выходе передатчика РРЛ, если по стволу передается сигнал от МСП-ЧРК типа К- 1020, при девиации частоты fк = 100 кГц.
3. Привести структурную схему мультиплексирования цифровых потоков в аппаратуру SDH. Поясните ее работу.
4. Прив
Студенткааа
: 24 марта 2013
100 руб.
Теплотехника МГУПП 2015 Задача 3.3 Вариант 16
Z24
: 8 января 2026
Городской молочный завод для нужд горячего водоснабжения и водяного отопления в качестве греющего теплоносителя использует перегретую теплофикационную воду, полученную от ТЭЦ (рис. 4). Определить:
— тепловую мощность системы отопления Qот;
— количество нагреваемой воды для системы горячего водоснабжения Мгв;
— площади поверхностей нагрева водоподогревателей системы водяного отопления Fот и горячего водоснабжения Fгв,
Построить совмещенный температурный график водоподогревателей в коо
Z24
: 8 января 2026
250 руб.
Проект асинхронного двигателя 4А200L8У3
ostah
: 4 июля 2016
Выбор двигателя и его конструктивного исполнения;
анализ данных технического задания;
описание конструкции, условного обозначения двигателя и его эксплуатационных параметров;
расчет обмотки статора двигателя;
обоснование схемы обмотки;
определение фазных зон и схемы обмотки статора;
расчет магнитодвижущей силы обмотки статора;
анализ характеристик двигателя;
построение схемы замещения двигателя и определение ее параметров;
построение круговой диаграммы;
расчет и построение рабочих хара
ostah
: 4 июля 2016
15 руб.
Руководство связью в мотострелковом батальоне
Qiwir
: 9 марта 2014
Учебные и воспитательные цели
- Прививать практические навыки студентам по выпонению обязанностей начальника связи мотострелкового (танкового) батальона при подготовке боевых действий и в ходе обеспечения связью командира и штаба батальона в различных видах боя.
- Воспитывать у студентов ответственность за организацию и обеспечение бесперебойной связи в мотострелковых (танковых) частях и подразделениях.
Организационно-методические указания
Занятия по теме № 3 "Руководство связью в мотострелк
Qiwir
: 9 марта 2014
19 руб.
