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
Downloads
DC Metadata
Title:
A matematikai logika alkalmazásszemléletű tárgyalása
Authors:
Pásztorné Varga Katalin, Várterész Magda, Sági Gábor
Publisher:
Panem Kft.
Identifier:
http://www.panem.hu
Language
Hungarian
Coverage:
Magyarország
Subjects
Í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