| Dalyko sando kodas | MDIS2114 |
| Dalyko sando pavadinimas | Diskrečioji matematika I |
| Dėstytojo pedagoginis vardas, vardas, pavardė | Dr. Valdas Dičiūnas |
| Katedra, centras | Informatikos katedra |
| Fakultetas, padalinys | Matematikos ir informatikos fakultetas |
| Dalyko sando lygis | Pirmosios pakopos |
| Semestras | 1 |
| ECTS kreditai | 4 |
| VU kreditai | 3 |
| Auditorinės valandos | Viso dalyko: 48 Paskaitų: 32 Pratybų: 16 |
| Reikalavimai | Mokyklinės matematikos žinojimas |
| Dėstomoji kalba | Lietuvių |
| Dalyko sando tikslai ir numatomi gebėjimai | Susipažinti su diskrečiojoje matematikoje nagrinėjamais objektais ir jų savybėmis: aibėmis, sąryšiais, grafais, Būlio funkcijomis ir schemomis, loginiais samprotavimais, algoritmais bei kodais. Įsisavinti ir mokėti taikyti diskrečiosios matematikos, matematinės logikos ir algoritmų teorijos metodus. Mokėti įvertinti algoritmų sudėtingumą ir identifikuoti algoritmiškai neišsprendžiamas problemas. |
| Dalyko sando turinys | Aibių operacijos. Sąryšiai ir funkcijos. Baigtinės, skaičiosios ir kontinuumo galios aibės. Būlio funkcijos ir formulės. Formulių taikymas aibių teorijoje. Disjunktyvioji ir konjunktyvioji normaliosios formos. Pilnos Būlio funkcijų sistemos. Pagrindinės grafų sąvokos. Būlio schemos. Teiginių logika. Predikatų logika. Loginių samprotavimų teisingumas. Formaliosios teorijos ir teoremų įrodymo metodai. Algoritmai ir jų savybės. Determinuotos ir nedeterminuotos Turingo mašinos. Algoritmų sudėtingumas. Uždavinių sudėtingumo klasės. Abėcėliniai kodai ir jų savybės. Geometrinis kodo iššifruojamumo kriterijus. Optimalūs Hafmano kodai. |
| Pagrindinės literatūros sąrašas | 1. V. Dičiūnas. Diskrečiosios matematikos paskaitos http://www.mif.vu.lt/~valdas/DISKRMAT. 2. K.H. Rosen. Discrete Mathematics and Its Applications, McGraw-Hill, Boston, 2003. 3. S. Norgėla. Matematinė logika, Leidykla TEV, Vilnius, 2004. 4. S.V. Jablonskij. Vvedenije v Diskretnuju Matematiku, 2-as leid., Nauka, Maskva, 1986 (rusų k.). 5. V. Stakėnas. Informacijos kodavimas, VU leidykla, Vilnius, 1996. |
| Papildomos literatūros sąrašas
1. O.P. Kuznecov, G.M. Adel'son-Vel'skij, Diskretnaja Matematika dlia Inženera, Energoatomizdat, Maskva, 1988 (rusų k.). 2. G.P. Gavrilov, A.A. Sapoženko. Sbornik Zadač po Diskretnoj Matematike, Nauka, Maskva, 1977 (rusų k.). | |
| Mokymo metodai | konsultacijos, pratybos, paskaitos |
| Lankomumo reikalavimai | Ne mažiau kaip 80% pratybų |
| Atsiskaitymo reikalavimai | |
| Vertinimo būdas | 30% galutinio pažymio sudaro tarpinis vertinimas (kontrolinis), 70% - egzamino vertinimas |
| Aprobuota katedros | 2009-08-31 |
| Patvirtinta Studijų programų komiteto | 2009-08-31 |