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


«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

Билет к зачету /экзамену № 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

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

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

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

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

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

«УТВЕРЖДАЮ»

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

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

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

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

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

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

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

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

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

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

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

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

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

«УТВЕРЖДАЮ»



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


Предыдущий:

Следующий: