Dalyko sando kodas

KLIT7124

Dalyko sando pavadinimas

Loginio įrodymo teorija

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

antrosios pakopos

Semestras

pavasario (2) 

ECTS kreditai

3

VU kreditai

2

Auditorinės valandos

viso dalyko 48

Paskaitų 48

seminarų

pratybų

laboratorinių darbų,

konsultacijų

Reikalavimai

MDIS2114, ALTE2114 

Dėstomoji kalba

lietuvių

Dalyko sando tikslai ir numatomi gebėjimai

Logikos panaudojimas mąstymo formalizavimui

Dalyko sando turinys

Monotoninės teiginių logikos taisyklės.
Logikos pagal nutylėjimą sintaksė.
Uždaro pasaulio prielaida.
Horno programos.
Kripkės semantika normalinėms logikoms.
Modalinės nemonotoninės logikos.
Išvedimo paieška modalumo logikoje S4.
Taisyklių apverčiamumas.
Paieškos taktikos ir strategijos.

Pagrindinės literatūros sąrašas

1.    V.W.Marek, M.Truszczynski. Nonmonotonic Logic, Springer – Verlag, 1993.

Papildomos literatūros sąrašas

Mokymo metodai

paskaitos

Lankomumo reikalavimai

50%

Atsiskaitymo reikalavimai

egzaminas 

Vertinimo būdas

Aprobuota katedros

2004 10 04

Patvirtinta Studijų programos komiteto

2004 11 09