1.066.456
kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
A matematikai logika és alkalmazásai
Kézirat/Eötvös Loránd Tudományegyetem Természettudományi Kar
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: | 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. |
É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
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
naponta értesítjük a beérkező friss
kiadványokról
Előszó
A matematikai vagy szimbolikus logika alkalmazási területe ma már igen széles körű és mind a mérnöki gyakorlatban, mind az alapkutatásban lényeges eszközzé vált. Ez a tény indokolja, hogy egy... TovábbElőszó
A matematikai vagy szimbolikus logika alkalmazási területe ma már igen széles körű és mind a mérnöki gyakorlatban, mind az alapkutatásban lényeges eszközzé vált. Ez a tény indokolja, hogy egy egyetemi jegyzet keretében nem lehet teljességre törekedni sem az elméleti eredmények ismertetésében, sem az alkalmazások teljes spektrumának felsorolásában.A logika történetének legalább nagy vonalakban való ismerete nem érdektelen azok számára, akik a tudományág globális megismerését, egyetlen fejlődése és mély kapcsolatokon alapuló alkalmazhatósága ok-okozati összefüggésének felismerését, valamint fejlődése sajátosságainak megértését tűzik ki célul. Ezért mielőtt rátérnénk a matematikai logika tárgyalására, röviden áttekintjük a logika fejlődésének főbb szakaszait a XIX. századig, vagyis addig, amikor a logika még egységes tudományág volt, bár közben lényegileg már kialakultak azok az irányok, amelyek később önálló diszciplinaként jelentkeztek. Ezek közül a matematikai vagy szimbolikus (formális) logika és ennek különböző ágai érdekelnek bennünket.
A gondolkodás az a folyamat, amelynek során az anyagi világot érzékelve (tükrözve) tapasztalatokat gyűjtünk, megállapításokat teszünk és következtetéseket vonunk le. Vissza
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 | 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 |
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űvekMegvá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.
Folytatás Microsoft-tal