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ų,

konsultacijų

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. Matematinė logika, TEV, 2004

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

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

Papildomos literatūros sąrašas

S.Norgėla. Matematinės logikos įvadas, VU rotaprintas, Vilnius, 1985.

Mokymo metodai

studijų būdas: konsultacijos, pratybos, paskaitos

Lankomumo reikalavimai

50%

Atsiskaitymo reikalavimai

egzaminas

Vertinimo būdas

20% sudaro pratybų įvertinimas.

Aprobuota katedros

2004 10 04

Patvirtinta Studijų programos komiteto

2004 11 09