Dalyko sando kodas

LODI7114

Dalyko sando pavadinimas

Logika ir dirbtinis intelektas

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 32

Paskaitų 32

seminarų

pratybų

laboratorinių darbų,

konsultacijų

Reikalavimai

Diskrečioji matematika, matematinė logika, algoritmų teorija

Dėstomoji kalba

lietuvių

Dalyko sando tikslai ir numatomi gebėjimai

Neklasikinių logikų taikymai mąstymo modeliavimui kompiuterių pagalba.

Dalyko sando turinys

Modalumo logikų skaičiavimai.

Žinių logika.

Tikėjimo logika.

Ekvivalenčios formulės.

Rezoliucijų metodas modalumo logikoms.

Kvantorinė modalumo logika S4.

Lentelių metodas.

Skilemizavimas.

Laiko logikos.

Planavimo uždaviniai.

Tiesinė logika ir loginis programavimas.

Pagrindinės literatūros sąrašas

1.    S. Norgėla. Matematinė logika, TEV, Vilnius, 2004

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

Papildomos literatūros sąrašas

P. Blackburn, M. De Rijke, Y. Venema, Modal logic, 1999

Mokymo metodai

Paskaitos, konsultacijos 

Lankomumo reikalavimai

50 %

Atsiskaitymo reikalavimai

Įskaita

Vertinimo būdas

Aprobuota katedros

2004 10 04

Patvirtinta Studijų programos komiteto

2004 11 09