Федеральное государственное бюджетное образовательное учреждение высшего образования

«Саратовский государственный технический университет

имени Гагарина Ю.А.»

Кафедра «Информационно-коммуникационные системы и программная инженерия»

МЕТОДИЧЕСКИЕ УКАЗАНИЯ

по проведению лабораторных занятий

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

«Математическая логика и теория алгоритмов»

направления подготовки

09.03.01 Информатика и вычислительная техника

09.03.04 Программная инженерия

Курс 1

семестр 2

Саратов 2021 г.

Лабораторная работа 1

Написать программу «Калькулятор множеств», принимающую на вход конечные множества и бинарные отношения, выполняющую над ними следующие действия (операции):

1. 
   пересечение;
   
2. 
   объединение;
   
3. 
   разность;
   
4. 
   симметрическая разность;
   
5. 
   дополнение (требуется задать универсальное множество);
   
6. 
   обращение б.о.;
   
7. 
   композиция б.о.
   

Лабораторная работа2

Написать программу, которая факторизует заданное множество по некоторым их и выводит классы эквивалентности.

Варианты множеств:

1. 
   Книги
   
2. 
   Автомобили
   
3. 
   Хоккеисты
   
4. 
   Футболисты
   
5. 
   Картины
   
6. 
   Музыканты
   
7. 
   Фильмы
   
8. 
   Языки программирования
   
9. 
   Артисты
   
10. 
    Города
    

Лабораторная работа3

---

Написать программу, строящую таблицу истинности функции и находящую СДНФ и СКНФ.

Варианты:



2.1.1. Перевод в двоичную-шеснадцатеричную систему:

1111 1111 0000 1001

2.1.2 Восстановление таблицы истинности:

Таблица 1 – восстановленная таблица истинности

a	b	c	d	F
0	0	0	0	1
0	0	0	1	1
0	0	1	0	1
0	0	1	1	1
0	1	0	0	1
0	1	0	1	1
0	1	1	0	1
0	1	1	1	1
1	0	0	0	0
1	0	0	1	0
1	0	1	0	0
1	0	1	1	0
1	1	0	0	1
1	1	0	1	0
1	1	1	0	0
1	1	1	1	1

Ссылаясь на таблицу 1, найдём СДНФ:

СДНФ = (  *  *

---

 *  )+ (1) +( * * *d)+( * *c* )+( * *c*d)+( *b* * )+( *b* *d)+

+( *b*c* )+( *b*c*d)+(a*b* * )+(a*b*c*d)

2.1.4. СКНФ

Ссылаясь на таблицу 1, найдём СКНФ:

СКНФ = (a+ + + )* (a+ + +d)* (a+ +c + )* (a+ +c +d)* (2) *(a+b+c+ )*(a+b+c+ )

Лабораторная работа4

Программная реализация тестов на простоту по вариантам (Алгоритм Миллера — Рабина, тест Ферма, Перебор делителей)





Лабораторная работа 5.

Написать программу, вычисляющую, для фиксированного n = 0,1,2,...,9

1) Число Белла

2) Числа Стирлинга 2 рода (для k<=n)



Знать, что означают эти числа.

---

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

• К арточка 1. Справка Линейные неравенства.doc

• Программа среднего профессионального образования 38. 02. 01 Экономика и бухгалтерский учет (по отраслям) Дисциплина Английский язык в профессиональной деятельности (2 семестр) Практическое задание 1.doc

• Игровые методики как способ развития речи.docx

• Предметные требования для обучающихся с овз прописаны по каждому предмету дополнительным блоком.docx

• Методическое пособие по проведению практических и лабораторных занятий по профессиональному модулю пм. 03. Участие в конструкторско технологической деятельности разработано в соответствии с рабочей программой профессионального модуля пм..pdf