Кафедра комп'ютерних інтелектуальних систем і мереж

↑

Стр 1 из 7Следующая ⇒

ОДЕСЬКИЙ НАЦІОНАЛЬНИЙ ПОЛІТЕХНІЧНИЙ УНІВЕРСИТЕТ

Кафедра комп'ютерних інтелектуальних систем і мереж

МЕТОДИЧНІ ВКАЗІВКИ  до розрахунково-графічній роботі  з дисципліни  «Основи дискретної математики»  для студентів очної і заочної форм навчання  спеціальностей 6.0915 і 6.0804

Затверджено
 на засіданні кафедри комп'ютерних інтелектуальних систем і мереж,
протокол № ___ від _______ 2003 р.

Погоджено
 на засіданні кафедри системного програмного забезпечення,
протокол № ___ від _______ 2003 р.

Одеса 2003

 Методичні указівки виконання розрахунково-графічної роботи з дисципліни “Основи дискретної математики” для студентів очної і заочної форм навчання спеціальностей 6.0915 і 6.0804. / Укл. О. М. Мартинюк. – Одеса: ОНПУ, 2003, 20 с.

Укладач: О. М. Мартинюк, ст. викладач

 Уведення

Розрахунково-графічна робота з дисципліни «Основи дискретної математики» виконується в другому семестрі. Метою роботи є закріплення основних теоретичних знань і практичних навичок у ході самостійної роботи, що включає задачі аналізу і синтезу формул і схем і виконуваної паралельно з роботою на лекційних і практичних заняттях.

У процесі розрахунково-графічної роботи студенти для побудованих відповідно до індивідуального варіанта множинної формули, бінарного відношення і логічної схеми виконують аналіз, мінімізацію множинних і булєвих формул, переклад булєвих формул у заданий базис і синтез схем у заданому базисі.

1. ЗМІСТ РОБОТИ

Розрахунково-графічна робота з дисципліни “Основи дискретної математики” містить у собі:

1. Спрощення (аналітичну мінімізацію) заданого вираження алгебри безлічей з використанням відомих тотожностей.

2. Для заданого бінарного відношення побудова графіка, аналіз властивостей відносини (рефлективності, симетричності, транзитивності, з'вязності) і властивостей, успадкованих від відповідностей (усюди визначеності, функціональності, ін'ективності, сюр'ективності, бiективності).

3. Аналіз заданої у визначеному функціональному базисі логічної схеми, каскадний, за допомогою підстановки, висновок формули булєвих функцій, мінімізованих з використанням відомих властивостей, для відповідних елементів логічної схеми і всієї схеми в цілому.

4. Виконуване одночасно з п.3 каскадне, за допомогою підстановки, побудова зведеної таблиці істинності для всіх елементів логічної схеми і схеми в цілому.

5. Перетворення виведеної в п.3. формули булєвой функції в ДНФ і КНФ, СДНФ і СКНФ.

6. Мінімізацію методами Квайна-МакКласкі і Петріка, а також за допомогою карт Карно булєвой функції по вихідній таблиці істинності, отриманої в п.4.

7. Мінімізацію методами Квайна-МакКласкі і Петріка, а також за допомогою карт Карно формули частково визначеної булєвой функції, отриманої з таблиці істинності п.4, поповненої заданими байдужними вхідними наборами.

8. Переклад отриманих у п.п.5.,6. мінімальних формул з булєва базису в заданий функціональний базис.

Познавательные статьи:



Техника прыжка в длину с разбега

Тактические действия в защите

История Олимпийских игр

История развития права интеллектуальной собственности