A matematikai logika és alkalmazásai

Kézirat

Szerző

Pásztorné Varga Katalin

Grafikus

Pásztor Katalin

Lektor

Dr. Peák István

Budapest

'Pásztorné Varga Katalin: A matematikai logika és alkalmazásai ' összes példány

Kiadó:	Tankönyvkiadó Vállalat
Kiadás helye:	Budapest
Kiadás éve:	1991
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	189 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:
Megjegyzés:	Fekete-fehér ábrákkal.

Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Tartalom

Bevezetés	5
A matematikai logika vizsgálatának módszere	10
Általános megjegyzések	10
A metanyelv	11
Struktúrák és formalizált nyelvek	12
Magasabbrendű nyelvek	17
Szintaxis	18
Jelölési konvenciók	20
Ítéletkalkulus	23
Modellelmélet. Az ítéletkalkulus szemantikája. Igazságtáblák. Tautológia	24
Modellelmélet. Az ítéletkalkulus következményfogalma (tautologikus következmény)	29
Bizonyításelmélet. Bizonyíthatóság. Levezethetőség	32
Bizonyításelmélet. Teljesség	39
Egyéb logikák	43
Cáfolati fák	44
Rezoluciós elv az ítéletkalkulusban	47
Az ítéletkalkulus alkalmazásai	2
Közvetlen alkalmazások	52
Az ítéletkalkulus algebrai strukturaként való alkalmazása. Kétértékű logika	56
Elsőrendű logika (logikai függvénykalkulus)	75
Az elsőrendű logika szemantikája	75
Értékelés. Szabad és kötött változók	81
Helyettesítés	85
Elsőrendű cáfolati fák	90
Prenex- és Skolem normálformák	97
A Herbrand tétel. Szemantikus fák	101
A rezoluciós elv és elsőrendű logikában	110
Bizonyításelmélet. Bizonyíthatóság és levezethetőség az elsőrendű logikában	115
Bizonyításelmélet. Teljesség	120
Az elsőrendű logika néhány alkalmazási területe	123
A feladatok formalizálása	123
Számítástechnika alkalmazások	128
Kibernetikai alkalmazások	128
A kérdés - felelet probléma	139
A programszintézis mgközelítése	152
A primitív rezolúció	162
Újelvű programozási nyelvek	173
Az egységklóz orientált rezolúciós levezetés és a Horn formulák	173
Az újelvű programozási nyelvek kialakulása. PROLOG	174
Az adatbázisszervezés és a logika kapcsolata	178
Tárgymutató	183
Jelölések	186
Irodalomjegyzék	188

Témakörök

Pásztorné Varga Katalin

Pásztorné Varga Katalin műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Pásztorné Varga Katalin könyvek, művek

Megvásárolható példányok

Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.

Előjegyzem