Cimkék:
matematikai logika, szimbolikus logika, kijelentéslogika, predikátumlogika
Szerző(k):
Bóta László
Közreműködő(k):
Felelős kiadó: dr. Kis-Tóth Lajos,Vezető: Kérészy László
Műszaki szerkesztő: Nagy Sándorné
Megjelenés:
Eger, 2011
Kód:
TAMOP_IM705K2
Pályázat:
TAMOP-4.1.2-08-1-A-2009-0005
Nyelv:
Tankönyvtár:
http://www.tankonyvtar.hu/hu/tartalom/tamop425/0005_23_logika_elemei_scorm_08/adatok.html
Tananyag leírása:
A tananyag bemutatja a szimbolikus logika és a matematikai logika kapcsolatát. Megismerteti a matematikai logika alapvető fogalmi rendszerét, jelöléseit, összefüggéseit. A tananyag bemutatja a kijelentéslogika területét, és alkalmazásait, kitér a predikátumlogika elemeire, valamint a prédikátumlogikai következtetéseire. A tananyag számos feladattal és megoldási lehetőségeinek ismertetésével segíti az elsajátítás hatásfokát, felkészítve az olvasót az egyéb területeken történő alkalmazásra.