Hogyan tudjuk a mindennapi életből merített problémákat, természetes nyelven kimondott állításokat megfelelő módon, logikai úton modellezni? Ki tudjuk-e a kapott logikai állításokat értékelni és a logikai következtetésekkel kapcsolatos kérdéseket megválaszolni?

Fontos, hogy a hallgatók a megismerjék a logikus gondolkodással kapcsolatos fogalmakat, a gyakorlatban és a programozási feladatokban tudják alkalmazni azokat. Mindez fontos alapot nyújt ahhoz, hogy a gyakorlati életben – akár szoftverfejlesztőként – a logikai problémákat sikeresen legyenek képesek interpretálni és megoldani, illetve alkalmazni a - cégek által is alkalmazott - standard formátumokat és tool-okat.

Léteznek-e algoritmusok a logikai következtetések elvégzésére? Ha igen, akkor ezeket le is tudnánk programozni? Esetleg már léteznek ilyen célú szoftverek? Hogyan tudjuk ezeket használni és pontosan milyen feladatokra is?

A hardver- és szoftvergyártó cégek is használnak a termékeik "verifikálására" ilyen szoftvereket? Hogyan történik egy mikrochip vagy egy forráskódrészlet verifikálása?

Követelmények:

A kurzus teljesítéséhez a hallgatóknak meg kell oldaniuk a modulzáró teszteket. Félév végén egy a tanárokkal egyeztetett személyes vagy skype beszélgetés keretében kell a megszerzett tudásukról számot adniuk.