Dalyko sando kodas

MDIS2114

Dalyko sando pavadinimas

Diskrečioji matematika

Dėstytojo (-jų) pedagoginis vardas, mokslo laipsnis, vardas ir pavardė

Doc. dr. Stanislovas Leonas Norgėla

Katedra, centras

Informatikos katedra

Fakultetas, padalinys

Matematikos ir informatikos fakultetas

Dalyko sando lygis

pirmosios pakopos

Semestras

rudens, (1) 

ECTS kreditai

4,5

VU kreditai

3

Auditorinės valandos

viso dalyko 48

Paskaitų 32

seminarų

pratybų 16

laboratorinių darbų

koliokviumų 1

Reikalavimai

Dėstomoji kalba

lietuvių

Dalyko sando tikslai ir numatomi gebėjimai

Aibių klasifikavimas pagal galią, žinių formalizavimas naudojant teiginių logiką, apskaičiuojamųjų funkcijų analizė.

Dalyko sando turinys

Skaičiosios aibės. Kontinuumo galios aibės. Teiginių kalba. Semantika. Normaliosios formos.
Pagrindinės grafų sąvokos. Ciklai grafuose. Intuityvi algoritmo samprata.
Turingo mašinos. Turingo mašinų variantai. Baigtiniai automatai.
Uždaros ir pilnos aibės. Monotoninės ir tiesinės logikos algebros funkcijos. Pilnumo teorema. Formulių taikymas aibių teorijoje. Disjunktų dedukcinė sistema. Kompaktiškumo teorema. Dvejetainis sumatorius.
Algoritmų sudėtingumas. Primityviai rekursinės funkcijos. 

Pagrindinės literatūros sąrašas

1.    S.Norgėla. Logika ir dirbtinis intelektas, TEV, 2007.

2.    S.Norgėla. Matematinė logika, TEV, 2004.

3.    R.Lassaigne, M. de Rougemont. Logika ir informatikos pagrindai, Žodynas, Vilnius, 1996.

Papildomos literatūros sąrašas

R.Lassaigne, M. de Rougemont. Logika ir algoritmų sudėtingumas, Žara, Vilnius, 1999. 

Mokymo metodai

studijų būdas: konsultacijos, pratybos, paskaitos

Lankomumo reikalavimai

50%

Atsiskaitymo reikalavimai

egzaminas

Vertinimo būdas

20% sudaro pratybų įvertinimas, 20% - koliokviumo įvertinimas

Aprobuota katedros

2008 08 29

Patvirtinta Studijų programos komiteto

2008 09 12