1.066.456

kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát

A kosaram
0
MÉG
5000 Ft
a(z) 5000Ft-os
szállítási
értékhatárig

A matematikai logika és alkalmazásai

Kézirat

Szerző
Grafikus
Lektor
Budapest
Kiadó: Tankönyvkiadó Vállalat
Kiadás helye: Budapest
Kiadás éve:
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
A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Tartalom

Bevezetés5
A matematikai logika vizsgálatának módszere10
Általános megjegyzések10
A metanyelv11
Struktúrák és formalizált nyelvek12
Magasabbrendű nyelvek17
Szintaxis18
Jelölési konvenciók20
Ítéletkalkulus23
Modellelmélet. Az ítéletkalkulus szemantikája. Igazságtáblák. Tautológia24
Modellelmélet. Az ítéletkalkulus következményfogalma (tautologikus következmény)29
Bizonyításelmélet. Bizonyíthatóság. Levezethetőség32
Bizonyításelmélet. Teljesség39
Egyéb logikák43
Cáfolati fák44
Rezoluciós elv az ítéletkalkulusban47
Az ítéletkalkulus alkalmazásai2
Közvetlen alkalmazások52
Az ítéletkalkulus algebrai strukturaként való alkalmazása. Kétértékű logika56
Elsőrendű logika (logikai függvénykalkulus)75
Az elsőrendű logika szemantikája75
Értékelés. Szabad és kötött változók81
Helyettesítés85
Elsőrendű cáfolati fák90
Prenex- és Skolem normálformák97
A Herbrand tétel. Szemantikus fák101
A rezoluciós elv és elsőrendű logikában110
Bizonyításelmélet. Bizonyíthatóság és levezethetőség az elsőrendű logikában115
Bizonyításelmélet. Teljesség120
Az elsőrendű logika néhány alkalmazási területe123
A feladatok formalizálása123
Számítástechnika alkalmazások128
Kibernetikai alkalmazások128
A kérdés - felelet probléma139
A programszintézis mgközelítése152
A primitív rezolúció162
Újelvű programozási nyelvek173
Az egységklóz orientált rezolúciós levezetés és a Horn formulák173
Az újelvű programozási nyelvek kialakulása. PROLOG174
Az adatbázisszervezés és a logika kapcsolata178
Tárgymutató183
Jelölések186
Irodalomjegyzék188

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