«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/
Российский государственный социальный университет
Факультет: Информационных технологий, экономики и права
Специальность: Информатика и Вычислительная техника.
Билет к зачету /экзамену № 1
(нужное подчеркнуть)
по дисциплине
«Специальные разделы математической логики»
Высказывания (суждения) математической логики.
Задана формула
.
От формулы
перейти
к эквивалентной ей формуле
так,
чтобы формула
не
содержала связок «→» и «↔». Исходя из
истинностных таблиц доказать, что
форулы
и
равносильны
(логически эквивалентны). Для формулы
найти
СКНФ и СДНФ.
=
«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/
Российский государственный социальный университет
Факультет: Информационных технологий, экономики и права
Специальность: Информатика и Вычислительная техника.
Билет к зачету /экзамену № 2
(нужное подчеркнуть)
по дисциплине
«Специальные разделы математической логики»
Основные логические операции.
Задана формула . От формулы перейти к эквивалентной ей формуле так, чтобы формула не содержала связок «→» и «↔». Исходя из истинностных таблиц доказать, что форулы и равносильны (логически эквивалентны). Для формулы найти СКНФ и СДНФ
«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/
РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ
Факультет: Информационных технологий, экономики и права
Специальность: Информатика и Вычислительная техника.
Билет к зачету /экзамену № 3
(нужное подчеркнуть)
по дисциплине
«Специальные разделы математической логики»
Таблицы истинности. Приоритет выполнения логических операций.
Задана функция f от нечетких переменных. Упростить эту нечеткую функцию. f(a,b) =( a
b
)
(
a
b
)
(
b
).
«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/
РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ
Факультет: Информационных технологий, экономики и права
Специальность: Информатика и Вычислительная техника.
Билет к зачету /экзамену № 4
(нужное подчеркнуть)
по дисциплине
«Специальные разделы математической логики»
Законы и следствия алгебры логики.
Задана формула . От формулы перейти к эквивалентной ей формуле так, чтобы формула не содержала связок «→» и «↔». Исходя из истинностных таблиц доказать, что форулы и равносильны (логически эквивалентны). Для формулы найти СКНФ и СДНФ.
=
«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/
РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ
Факультет: Информационных технологий, экономики и права
Специальность: Информатика и Вычислительная техника.
Билет к зачету /экзамену № 5
(нужное подчеркнуть)
по дисциплине
«Специальные разделы математической логики»
Логические функции и переменные.
Предикат
задан
своей называющей формой. Найти область
истинности предиката.
=
,
где А
= {1,2,3,4}.
«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/
РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ
Факультет: Информационных технологий, экономики и права
Специальность: Информатика и Вычислительная техника.
Билет к зачету /экзамену № 6
(нужное подчеркнуть)
по дисциплине
«Специальные разделы математической логики»
Определение значений логических функций.
Предикат задан своей называющей формой. Найти область истинности предиката. =
,
где
А
= {1,2,3,4}.
«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/
РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ
Факультет: Информационных технологий, экономики и права
Специальность: Информатика и Вычислительная техника.
Билет к зачету /экзамену № 7
(нужное подчеркнуть)
по дисциплине
«Специальные разделы математической логики»
Формализация сложных высказываний.
Предикат задан своей называющей формой. Найти область истинности предиката. =
,
где
А
= {1,2,3,4}.
«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/
РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ
Факультет: Информационных технологий, экономики и права
Специальность: Информатика и Вычислительная техника.
Билет к зачету /экзамену № 8
(нужное подчеркнуть)
по дисциплине
«Специальные разделы математической логики»
Тождественность логических формул.
Задана функция f от нечетких переменных. Упростить эту нечеткую функцию. f(a,b)=a (a b)
«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/
РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ
Факультет: Информационных технологий, экономики и права
Специальность: Информатика и Вычислительная техника.
Билет к зачету /экзамену № 9
(нужное подчеркнуть)
по дисциплине
«Специальные разделы математической логики»
Дизъюнктивная нормальная форма.
Задана функция f от нечетких переменных. Упростить эту нечеткую функцию. f(a,b)=(a b) (a b ) (a a b)
«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/
РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ
Факультет: Информационных технологий, экономики и права
Специальность: Информатика и Вычислительная техника.
Билет к зачету /экзамену № 10
(нужное подчеркнуть)
по дисциплине
«Специальные разделы математической логики»
Конъюнктивная нормальная форма.
Задана формула . От формулы перейти к эквивалентной ей формуле так, чтобы формула не содержала связок «→» и «↔». Исходя из истинностных таблиц доказать, что форулы и равносильны (логически эквивалентны). Для формулы найти СКНФ и СДНФ. =
«УТВЕРЖДАЮ»
Заведующий кафедрой
Техносферной безопасности,
математики и информатики
___________/Г.А.Джумок/