Przedmowa\n1. Przegląd historyczny\n2. Przykłady i abstrakcje
\n2.1. Język, zdania i dowody\n2.2. Twierdzenie Kleinberga\n2.3. Ontologie w Informatyce\n2.4. Abstrakcje\n2.5. Abstrakcje w Matematyce
\n- \n
- Obliczalność i definiowalność \n
3.1. Definiowalność\n3.2. Funkcje rekurencyjne\n3.3. Funkcje częściowe rekurencyjne mi-rekursja\n3.4. Przepisywanie termów: rachunek lambda\n3.5. Funkcjonały obliczalne i Dziedzina Scotta\n3.6. Curry-Howard - propositions as types\n3.7. Podsumowanie obliczalności i definiowalności
\n- \n
- Przełamać paradygmaty \n
4.1. von Neumann vicious circle\n4.2. Sieci neuronowe i funkcjonały
\n- \n
- Funkcjonały i hardware \n
5.1. Podstawy\n5.2. Poziom zerowy\n5.3. Schemat pierwotnej rekursji\n5.4. Poziom 1\n5.5. Relacje\n5.6. Warunki\n5.7. Przykład programowania na funkcjonałach\n5.8. Konkluzje do rozdziału\n5.9. Twierdzenie Godela o niezupełności\n5.10. Podsumowanie rozdziału
\n- \n
- Continuum \n
6.1. Continuum a liczby rzeczywiste\n6.2. Nieformalne wprowadzenie\n6.3. Kubiczne kompleksy\n6.4. Uogólnienie\n6.5. Pierwotne typy odpowiadające Continuum\n6.6. Więcej o wzorcach dla Continuum\n6.7. Od wzorców do przestrzeni topologicznych\n6.8. Ciągi wyboru według Brouwera\n6.9. Funkcje na przestrzeniach topologicznych\n6.10. Twierdzenie Brouwera o ciągłości\n6.11. Continua Euklidesowe\n6.12. Przełamać paradygmat\n6.13. Geometria Riemanna oraz Continuum\n6.14 The Grothendieck\'s homotopy hypothesis\n6.15. Podejście konstrukcyjne do typu homotopijnego\n6.16. Uogólnienia i konkluzje\n6.17. Podsumowanie rozdziału\n6.18. Appendix do Rozdziału 6
\n- \n
- Podsumowanie\nBibliografia \n
- Nakladatel: Exit
- Kód:
- Rok vydání: 2018
- Jazyk: Polština
- Vazba: Soft
- Počet stran: 178
- Šířka balení: 16.5 cm
- Výška balení: 23.5 cm
Recenze