LOGIKA DLA INŻYNIERÓW

A.W. Mostowski

Z. Pawlak

Wydawnictwo: PWN, 1970
Oprawa: twarda płócienna
Stron: 315
Stan: bardzo dobry (-), nieaktualne pieczątki

SPIS TREŚCI:

Przedmowa   

Rozdział 1. Wstęp   
§    1.    O teoriach dedukcyjnych   
§    2.    Znaczenie teorii dedukcyjnych   
§    3.    Teorie sformalizowane    
§    4.    Formalizacja matematyki    
§    5.    Rozstrzygalność teorii sformalizowanych   

Rozdział 2. Rachunek zdań   
§ 6. Spójniki zdaniowe    
§ 7. Zdania i schematy zdań   
§ 8. Prawdziwość zdań złożonych   
§ 9. Formuły zawsze prawdziwe. Tautologie   
§ 10. Przekształcanie formuł rachunku zdań   
§11. Inne spójniki . . . .   
§ 12. Postacie normalne   
§ 13. Elektronowa interpretacja spójników zdaniowych .
§ 14. Aksjomatyczne ujęcie rachunku zdań   

Rozdział 3. Rachunek kwantyfikatorów   
§ 15. Zdania i funkcje zdaniowe   
§ 16. Funkcje zdaniowe i zbiory   
§ 17. Kwantyfikatory   
§ 18. Reguły operowania kwantyfikatorami   
§ 19. Elementarny rachunek kwantyfikatorów   
§ 20. Tautologie rachunku kwantyfikatorów   
§ 21. Rachunek kwantyfikatorów jako teoria dedukcyjna

Rozdział 4. Teorie elementarne   
§ 22. Termy i działania   
§ 23. Język teorii elementarnych   
§ 24. Interpretacja formuł poprawnych   

Rozdział 10. Maszyny i algorytmy
§ 25. Twierdzenia i dowody w teoriach sformalizowanych
§ 26. Modele teorii elementarnych   
§ 27. Teorie matematyczne   

Rozdział 5. Rachunek zbiorów   
§ 28. Zbiory jako własności elementów   
§ 29. Działania na zbiorach   
§ 30. Prawa rachunku zbiorów   
§31. Kombinatoryka   

Rozdział 6. Relacje   
§ 32. Definicja relacji   
§ 33. Relacje równoważności   
§ 34. Zasada abstrakcji   
§ 35. Relacje porządku   
§36. Siatki   
§ 37. Funkcje   

Rozdział 7. Algebry Boole'a   
§ 38. Definicja algebr Boole'a   
§39. Przykłady algebr Boole'a   
§ 40. Twierdzenia algebry Boole'a   
§ 41. Reprezentacje algebr Boole'a   
§ 42. Znaczenie twierdzeń o reprezentacji   

Rozdział 8. Teoria pólgrup   
§ 43. Wprowadzenie   
§ 44. Definicja półgrupy    
§45. Półgrupy przekształceń   
§46. Izomorfizmy, homomorfizmy    
§47. Kongruencje. Półgrupy ilorazowe   
§48. Półgrupy wolne    
§ 49. Zagadnienie słów   

Rozdział 9. Algorytmy   
§ 50. Zagadnienie słów   
§51. Języki Posta   
§ 52. Algorytmy normalne Markowa   
§ 53. Języki Chomsky'ego    
§ 54. Uwagi końcowe    
§ 55. Maszyna ^Turinga   
§56. Maszyna Posta   
§ 57. Maszyny Rabina i Scotta   
§ 58. Maszyny wielotaśmowe   

Rozdział 11. Maszyny uniwersalne   
§ 59. Uniwersalna maszyna Posta . . . .
§60. Uniwersalne maszyny cyfrowe . . .
§61. Przykład programu maszyny cyfrowej
§62. Uwagi końcowe   

Rozdział 12. Funkcje rekurencyjne   
§ 63. Liczby naturalne   
§64. Funkcje obliczalne   
§ 65. Zbiory obliczalne   
§ 66. Metoda arytmetyzacji teorii
§67. Teza Churcha   

Literatura cytowana Wykaz oznaczeń .
Skorowidz . . .