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

мова програмування PROLOG як засіб перевірки тверджень………….3

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

мова програмування PRL як засіб розв’язку логічних задач….....11

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

Основи теорії ігор ………………………………………………….….....18

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

Основи теорії предикатів ………………………………………….….....20

Лабораторна робота №5

       Альтернативні представлення комбінаторних задач..............................26

Лабораторна робота №6

Ейлерові та Гамільтонові цикли в графах ……………………………...29

Лабораторна робота №7

Елементарні задачі на графах …………………………………………...32

Лабораторна робота №8

Задачі розпізнавання на графах ………………………………………....33

 

 

 НАВЧАЛЬНЕ ВИДАННЯ

 

ДИСКРЕТНА МАТЕМАТИКА

 

 

МЕТОДИЧНІ ВКАЗІВКИ

До лабораторних занять

для студентів першого освітнього рівня
підготовки за спеціальністю
122 “Комп’ютерні науки
та інформаційні технології”

 

Укладач                                                Зербіно Дмитро Дмитрович

 

Редактор                                              Анна Весній

Комп’ютерне верстання                      Марти Гарасимів

Здано у видавництво 14.06.2017. Підписано до друку 14.06.2017.

Формат 60´84 ¹/₁₆. Папір офсетний. Друк на різографі.

Умовн. друк. арк. 3,57. Обл.-вид. арк. 2,1.

Наклад 100 прим. Зам. 170953.

 

Видавець і виготівник: Видавництво Львівської політехніки

Свідоцтво суб’єкта видавничої справи ДК № 4459 від 27.12.2012 р.

 

вул. Ф. Колесси, 4, Львів, 79013

тел. +380 32 2582146, факс +380 32 2582136

vlp.com.ua, ел. пошта: vmr@vlp.com.ua