Российский государственный социальный университет

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

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

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

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

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

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

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

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

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

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

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

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

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

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

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

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

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

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

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

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

1. Исчисление высказываний

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

=

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

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

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

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

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

1. Формулы исчисления высказываний.

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

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

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

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

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

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

1. Правила вывода высказываний.

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

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

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

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

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

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

1. Теорема дедукции.

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

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

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

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

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

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

1. Определение предикатов.

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

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

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

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

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

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

1. Логические формулы предикатов.

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

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

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

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

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

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

1. Кванторные операции .

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

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

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

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

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

«Физика»

1.Свободные электромагнитные колебания. Амплитуда, частота и период колебаний. Фаза колебания. Энергетические превращения при колебаниях. 2.Лабораторная работа: «Экспериментальная проверка закона Ома». 3.Задача. Диаметр капроновой проволоки 0,12 мм, а разрывная нагрузка 7,5 Н. Найти предел прочности на разрыв проволоки.

«УТВЕРЖДАЮ»

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

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

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

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