Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
A matematikai logika alkalmazásszemléletű tárgyalása
1. Matematikai alapfogalmak
2. A logikáról általában
A logika meghatározásáról
Rövid történeti áttekintés
3. A logikai nyelvekről
Általános tudnivalók – megjegyzések
Néhány matematikai diszciplína logikai nyelve
A matematikai logika leíró nyelve
4. 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
Hálók és Boole-algebrák
Az ítéletlogika műveleteinek tulajdonságairól
A Boole-függvények funkcionális teljességéről általában
5. Az elsőrendű logika
Elsőrendű logikai nyelvek – szintaxis
Szabad és kötött változók
Termhelyettesítés
Feladatok
Elsőrendű logikai nyelvek – szemantika
Feladatok
Elsőrendű logikai törvények
Feladatok
Szemantikus következményfogalom
Feladatok
6. A logika szintaktikus tárgyalása
Bizonyításelmélet
Az ítéletkalkulus
A predikátumkalkulus
Gentzen-stílusú kalkulusok
A természetes levezetés technikája
Szekventkalkulusok
Rezolúciós elv – rezolúciós kalkulus
Konjunktív normálformák és nulladrendű klózhalmazok
A rezolúciós kalkulus az ítéletlogikában
Rezolúciós stratégiák
Skolem-normálforma és az elsőrendű klózhalmaz
Az alaprezolúció
A Herbrand-univerzum és az elsőrendű klózhalmazok
Davis és Putnam módszere
A rezolúciós kalkulus az elsőrendű logikában
Rezolúciós levezetési stratégiák
A tablók módszere – tablókalkulus
Előkészítő fogalmak, ítéletlogika
Analitikus és jelölt tabló az ítéletlogikában
A tablók módszerének alkalmazásai
Előkészítő fogalmak, elsőrendű logika
Az elsőrendű analitikus tabló
7. Alkalmazások
Formalizálás – problémamegoldás
A formális axiomatikus elméletekről
A formalizálás kérdései
A logikai programozásról
A Prolog nyelv
A Prolog szemantikája
← Prev
Back
Next →
← Prev
Back
Next →