Файл: Методические указания по выполнению контрольной работы по учебной дисциплине ен. 02 Элементы математической логики.doc

Скачать файл
Заказать решение

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 26.10.2023

Просмотров: 198

Скачиваний: 3

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.


КОНТРОЛЬНАЯ РАБОТА

ПО ЭЛЕМЕНТАМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Вариант 27


  1. Найдите \ , если , .

  2. Является ли предложение «Параллельные прямые не пересекаются» высказыванием. Почему?

  3. Определите значение истинности высказывания «Если на Земле есть моря, то есть океаны».

  4. Составьте таблицу истинности .

  5. Упростите формулу: .

  6. Равносильными преобразованиями приведите формулу к СКНФ: .

  7. Постройте таблицу значений булевой функции: .

  8. Решите булево уравнение: .

  9. Найдите область истинности предикатов: , , , .

  10. Пусть А(х) = (х – простое число), В(х) = (х – нечетное число). Переведите на русский язык символическую запись на языке алгебры предикатов: .


КОНТРОЛЬНАЯ РАБОТА

ПО ЭЛЕМЕНТАМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Вариант 28


  1. Найдите , если , ,

  2. Является ли предложение «Числа бывают положительными» высказыванием. Почему?

  3. Определите значение истинности высказывания «Токио – страна тогда и только тогда, когда Токио – город».

  4. Составьте таблицу истинности .

  5. Упростите формулу: .

  6. Равносильными преобразованиями приведите формулу к СДНФ: .

  7. Постройте таблицу значений булевой функции: .

  8. Решите булево уравнение: .

  9. Найдите область истинности предикатов: , , , .

  10. Пусть А(х) = (х – делитель 5), В(х) = (х > 1). Переведите на русский язык символическую запись на языке алгебры предикатов: .


КОНТРОЛЬНАЯ РАБОТА

ПО ЭЛЕМЕНТАМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Вариант 29


  1. Найдите \ , если , , .

  2. Является ли предложение «Ромбом называется четырехугольник» высказыванием. Почему?

  3. Определите значение истинности высказывания «Число может быть составным тогда и только тогда, когда число нечетное».

  4. Составьте таблицу истинности .

  5. Упростите формулу: .

  6. Равносильными преобразованиями приведите формулу к СКНФ: .

  7. Постройте таблицу значений булевой функции: .

  8. Решите булево уравнение: .

  9. Найдите область истинности предикатов: , , , .

  10. Пусть А(х) = (х – неотрицательное число), В(х) = (х делитель 32). Переведите на русский язык символическую запись на языке алгебры предикатов: .


КОНТРОЛЬНАЯ РАБОТА

ПО ЭЛЕМЕНТАМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Вариант 30


  1. Найдите , если , , .

  2. Является ли предложение «Зачем светит солнце?» высказыванием. Почему?

  3. Определите значение истинности высказывания «Если в обычном году 12 месяцев, то в високосном году 365 дней».

  4. Составьте таблицу истинности .

  5. Упростите формулу: .

  6. Равносильными преобразованиями приведите формулу к СДНФ: .

  7. Постройте таблицу значений булевой функции: .

  8. Решите булево уравнение: .

  9. Найдите область истинности предиката: , , , .

  10. Пусть А(х) = (х – положительное число), В(х) = (х больше 8). Переведите на русский язык символическую запись на языке алгебры предикатов: .


СПИСОК ЛИТЕРАТУРЫ

1. Основные источники, в т.ч. из ЭБС:

1. Игошин В.И. Элементы математической логики: Учебник для студентов учреждений СПО/В.И.Игошин. – Москва: издательский центр Академия, 2016.

2. Баврин, И. И. Дискретная математика. Учебник и задачник : для СПО / И. И. Баврин. — Москва : Издательство Юрайт, 2016

3. Зарипова Э.Р. Лекции по дискретной математике. Математическая логика [Электронный ресурс]: учебное пособие/ Зарипова Э.Р., Кокотчикова М.Г., Севастьянов Л.А.— Электрон. текстовые данные.— М.: Российский университет дружбы народов, 2014.— 120 c.— Режим доступа: http://www.iprbookshop.ru/22190.— ЭБС «IPRbooks», по паролю

4. Шевелев, Ю.П. Сборник задач по дискретной математике (для практических занятий в группах). [Электронный ресурс] : Учебные пособия / Ю.П. Шевелев, Л.А. Писаренко, М.Ю. Шевелев. — Электрон. дан. — СПб. : Лань, 2013. — 528 с. — Режим доступа: http://e.lanbook.com/book/5251 — Загл. с экрана.

2. Дополнительная литература, в т.ч. из ЭБС:

1. Шевелев Ю.П. Дискретная математика. [Электронный ресурс] : Учебные пособия — Электрон. дан. — СПб. : Лань, 2016. — 592 с. — Режим доступа: http://e.lanbook.com/book/71772 — Загл. с экрана

2. Судоплатов, С. В. Математическая логика и теория алгоритмов : учебник и практикум для академического бакалавриата / С. В. Судоплатов, Е. В. Овчинникова. — 5-е изд., стер. — Москва : Издательство Юрайт, 2016.

3. Ресурсы сети «Интернет»:

1. https://e.lanbook.com/ - Электронно-библиотечная система издательства Лань.

2. http://www.iprbookshop.ru/ - Электронно-библиотечная система IPRbooks.

3. https://www.biblio-online.ru/ - Электронная библиотека ЮРАЙТ.

4. http://znanium.com/ - Электронно-библиотечная система Znanium.com.

Приложение

Министерство науки и высшего образования РФ

ФГБОУ ВО «Псковский государственный университет»

Колледж Псков ГУ


Элементы математической логики

Контрольная работа

по учебной дисциплине ЕН.02 Элементы математической логики
Обучающегося (ейся) заочной формы

обучения специальности 09.02.03

Программирование в компьютерных системах

группы 0000-00 Иванова Ивана

Ивановича
Псков

2019 г.



Смотрите также файлы