| 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: | Kézirat. Tankönyvi szám: J 3-1305. 4. változatlan kiadás. Készült 207 példányban. 57 fekete-fehér ábrával illlusztrálva. |
| 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 | 52 |
| 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-189 |
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.
Folytatás Microsoft-tal