Экзамен мат. логика

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 1

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Высказывания (суждения) математической логики.

Задана формула . От формулы перейти к эквивалентной ей формуле так, чтобы формула не содержала связок «→» и «↔». Исходя из истинностных таблиц доказать, что форулы и равносильны (логически эквивалентны). Для формулы найти СКНФ и СДНФ. =

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 2

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Основные логические операции.

Задана формула . От формулы перейти к эквивалентной ей формуле так, чтобы формула не содержала связок «→» и «↔». Исходя из истинностных таблиц доказать, что форулы и равносильны (логически эквивалентны). Для формулы найти СКНФ и СДНФ

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 3

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Таблицы истинности. Приоритет выполнения логических операций.

Задана функция f от нечетких переменных. Упростить эту нечеткую функцию.f(a,b) =( ab)( ab)(b).

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 4

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Законы и следствия алгебры логики.

Задана формула . От формулы перейти к эквивалентной ей формуле так, чтобы формула не содержала связок «→» и «↔». Исходя из истинностных таблиц доказать, что форулы и равносильны (логически эквивалентны). Для формулы найти СКНФ и СДНФ.

=

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 5

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Логические функции и переменные.

Предикат задан своей называющей формой. Найти область истинности предиката. = , где А = {1,2,3,4}.

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 6

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Определение значений логических функций.

Предикат задан своей называющей формой. Найти область истинности предиката. = , где А = {1,2,3,4}.

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 7

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Формализация сложных высказываний.

Предикат задан своей называющей формой. Найти область истинности предиката. = , где А = {1,2,3,4}.

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 8

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Тождественность логических формул.

Задана функция f от нечетких переменных. Упростить эту нечеткую функцию. f(a,b)=a(ab)

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 9

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Дизъюнктивная нормальная форма.

Задана функция f от нечетких переменных. Упростить эту нечеткую функцию.f(a,b)=(ab)(ab)(aab)

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 10

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Конъюнктивная нормальная форма.

Задана формула . От формулы перейти к эквивалентной ей формуле так, чтобы формула не содержала связок «→» и «↔». Исходя из истинностных таблиц доказать, что форулы и равносильны (логически эквивалентны). Для формулы найти СКНФ и СДНФ. =

«УТВЕРЖДАЮ»

Заведующий кафедрой

Техносферной безопасности,

математики и информатики

___________/Г.А.Джумок/

РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ СОЦИАЛЬНЫЙ УНИВЕРСИТЕТ

Факультет: Информационных технологий, экономики и права

Специальность: Информатика и Вычислительная техника.

Билет к зачету /экзамену № 11

(нужное подчеркнуть)

по дисциплине

«Специальные разделы математической логики»

Приведение логических функций в совершенную дизъюнктивную нормальную форму.

Задана формула . От формулы перейти к эквивалентной ей формуле так, чтобы формула не содержала связок «→» и «↔». Исходя из истинностных таблиц доказать, что форулы и равносильны (логически эквивалентны). Для формулы найти СКНФ и СДНФ



Страницы: Первая | 1 | 2 | 3 | ... | Вперед → | Последняя | Весь текст


Предыдущий:

Следующий: