Dalyko sando kodas

MLOG2114

Dalyko sando pavadinimas

Matematinė logika

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

pavasario (4)

ECTS kreditai

3

VU kreditai

2

Auditorinės valandos

viso dalyko 48

Paskaitų 32

seminarų

pratybų 16

laboratorinių darbų,

konsultacijų

Reikalavimai

Turi būti išklausytas diskrečiosios matematikos kursas 

Dėstomoji kalba

lietuvių

Dalyko sando tikslai ir numatomi gebėjimai

Žinių formalizavimas naudojant logikos formules. Formulių transformavimas į standartinius pavidalus. Išvadų automatinio generavimo galimybių nagrinėjimas

Dalyko sando turinys

Logikos istorija. Teiginių skaičiavimas. Teiginių skaičiavimo pilnumas ir neprieštaringumas. Nepriklausomos aksiomos. Predikatų logikos formulės. Pavyzdys formulės, įvykdomos begalinėje ir neįvykdomos jokioje baigtinėje aibėje. Predikatų skaičiavimas. Formulės, į kurias įeina tik vienviečiai predikatiniai kintamieji. Aristotelio logika. Priešdėlinės normaliosios formos. Sekvencinis teiginių skaičiavimas. Intuicionistinė logika. Natūralioji dedukcija. Rezoliucijų metodas. Kompaktiškumo teorema. Hebrand modeliai. Loginis programavimas. Pirmos eilės logikos teorijos. Peano aritmetika. Aritmetika ir definuojamosios funkcijos. Neišsprendžiamumas ir nepilnumas. Redukcijos. Tautologijos problema baigtinėse struktūrose. Modalinės logikos. Netikslios logikos. Antros eilės logika. Paprastų tipų sistemos. Antros eilės funkcinė aritmetika.

Pagrindinės literatūros sąrašas

1.  S.Norgėla, Matematinė liogika, TEV, 2004.

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

Papildomos literatūros sąrašas

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

Mokymo metodai

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