Halmazelméleti, matematikai logikai és algoritmuselméleti feladatok

Name: Halmazelméleti, matematikai logikai és algoritmuselméleti feladatok
Availability: InStock
Author: I. A. Lavrov

I. A. Lavrov, L. L. Makoszimova - Halmazelméleti, matematikai logikai és algoritmuselméleti feladatok, Budapest 1987 antikvár könyv

(0 vélemény)

Antikvár könyv

1 080 Ft

1 800 Ft

40%

Állapot

Készleten

Jó

Központi raktár

Kedvezményes

hűségpont

Hogy működik az alku?

1 800 Ft

Bővebb leírás

Kiadó:	Műszaki Könyvkiadó
Kiadás éve:	1987
Kiadás helye:	Budapest
Nyomda:	Franklin Nyomda
Kötés típusa:	ragasztott papír
Terjedelem:	223
Fordítók:	Komjáth Péter, Gyepesi György
Nyelv:	magyar
Méret:	Szélesség: 17.00 cm, Magasság: 24.00 cm
Kategória:	Természettudomány / Matematika

Ajánlja ismerőseinek is!

Kívánságlistára teszem ezt a könyvet!

Megnézem a tartalomjegyzéket!

Előszó az első kiadáshoz                                  7
Előszó a második kiadáshoz                              9
 1. Halmazelmélet                                       11
   1. Műveletek halmazokkal                             11
   2. Relációk és függvények                            17
   3. Speciális biner relációk                          24
   4. Számosságok                                       32
   5. Rendszámok                                        35
   6. Műveletek számosságokkal                          42
II. Matematikai logika                                  47
   1. A logikai algebra                                 47
   2. lgazságfüguények                                  54
   3. Állításkalkulusok                                 60
   4. Az elsőrendű logika nyelve                        70
   5. Az elsőrendű logika formuláinak konzisztenciája   77
   6. Predikátumkalkulusok                              84
   7. Axiomatizá]ható elméletek                         93
   8. Az ultraszorzat                                   102
   9. Axiomatizálható osztályok                         107
   Algoritmuselmélet (Rekurzióelmélet)                  114
   1. Parciális rekurzív függvények                     114
   2. Turing-gépek                                      124
   3. Rekurzív és rekurzív módon felsorolható halmazok  128
   4. Kleene- és Post-féle felsorolás                   133


         ÚTMUTATÁSOK, VÁLASZOK, MEGOLDÁSOK

 I. Halmazelmélet                                      141
   1. Műveletek halmazokkal                            141
   2. Relációk és függvények                           145
   3. Speciális biner relációk                         149
   4. Számosságok                                      154
   5. Rendszámok                                       158
   6. Műveletek számosságokkal                         164
II. Matematikai logika                                 167
   1. A logikai algebra                                167
   2. Igazságfüggvények                                171
   3. Állításkalkulusok                                175
   4. Az elsőrendű logika nyelve                       179
   5. Az elsőrendű logika formuláinak konzisztenciája  180
   6. Predikátumkalkulusok                             184
   7. Axiomatizálható elméletek                        187
   8. Az ultraszorzat                                  192
   9. Axiomatizálható osztályok                        194
   Algoritmuselmélet (Rekurzióelmélet)                 201
   1. Parciális rekurzív függvények                    201
   2. Turing-gépek                                     207
   3. Rekurzív és rekurzív módon felsorolható halmazok 209
   4. Kleene- és Post-féle felsorolás                  213
Irodalomjegyzék                                        217
Tárgymutató                                            219