Mi a matematikai logika Kaluzhnin l

Népszerű bemutatása matematikai logika, nem trebueschee ezek megértéséhez a tudás, kiváló iskolai matematika.

A könyv hasznos lesz, hogy bárki, aki meg akarja tanulni az alapokat a matematikai logika. Ezen túlmenően, az archívumban a könyv Kaloujnine LA „Elemei A halmazelmélet és a matematikai logika az iskolában során a matematika.” M. Oktatási 1978 88 p.; "A transzformációk és permutációk", Nauka, Moszkva, 1985 160 p.
tartalomjegyzék
bevezetés
Fejezet. propozicionális logika
1.§ elemei propozicionális logika
2. § A logikai műveletek
3. § Boole-függvények
4. § Normál formákat. Boole-algebra
5. § Alkalmazás logikai algebra elmélet létradiagramját és az elmélet automaták
Második fejezet. Azonos igaz propozicionális logika formula
§ 1. Jelentése azonos igaz propozicionális logika formula
§ 2. Példák azonosan igaz propozicionális formulák
3. § A formális levezetés azonosan igaz propozicionális formulák
Harmadik fejezet. elsőrendű logika
1.§ A predikátumok
2. § alkalmazása műveleteinek propozicionális logika predikátumok
3.§ A kvantifikátorok
4. § Conversion elsőrendű logika képletek. Prenex-formula
5. § Az ítéleteket és szillogizmusokon
6. § alkalmazása elsőrendű logika kifejezést leírni bizonyos kapcsolatok
Következtetés. Alapjai és a matematikai logika
Irodalom.

Be kell regisztrálni, hogy olvassa el a szöveget, vagy letölthető fájlokat