Ugrás a tartalomhoz

A matematikai logika alkalmazásszemléletű tárgyalása

Pásztorné Varga Katalin, Várterész Magda, Sági Gábor

Panem Kft.

Matematikai alapfogalmak A logikáról általában A logika meghatározásáról Rövid történeti áttekintés A logikai nyelvekről Általános tudnivalók – megjegyzések Néhány matematikai diszciplína logikai nyelve A matematikai logika leíró nyelve Az ítéletlogika Az ítéletlogika nyelve – szintaxis Az ítéletlogika nyelve – szemantika Ítéletlogikai törvények Szemantikus következményfogalom Az ítéletlogika strukturális tulajdonságairól Az elsőrendű logika Elsőrendű logikai nyelvek – szintaxis Elsőrendű logikai nyelvek – szemantika Elsőrendű logikai törvények Szemantikus következményfogalom A logika szintaktikus tárgyalása Bizonyításelmélet Gentzen-stílusú kalkulusok Rezolúciós elv – rezolúciós kalkulus A tablók módszere – tablókalkulus Alkalmazások Formalizálás – problémamegoldás A logikai programozásról
Letölthető anyagok
DC metaadatok
Cím:
A matematikai logika alkalmazásszemléletű tárgyalása
Szerzők:
Pásztorné Varga Katalin, Várterész Magda, Sági Gábor
Kiadó:
Panem Kft.
Azonosító:
http://www.panem.hu
Nyelv
Magyar
Terület:
Magyarország
Tárgyszavak
Ítéletlogika, elsőrendű logika, bizonyításelmélet, Gentzen kalkulusok, rezolúciókalkulus, tablókalkulus, formalizálás logikai programozás
Elektronikus tartalomfejlesztés és szolgáltatás a kutatásban és felsőoktatásban
Elektronikus tartalomfejlesztés és szolgáltatás a kutatásban és felsőoktatásban
TÁMOP 4.2.5.B Tudományos és felsőoktatási tartalmak központi elektronikus közzétételének biztosítása