Przedmowa
1. Przegląd historyczny
2. Przykłady i abstrakcje
2.1. Język, zdania i dowody
2.2. Twierdzenie Kleinberga
2.3. Ontologie w Informatyce
2.4. Abstrakcje
2.5. Abstrakcje w Matematyce
3. Obliczalność i definiowalność
3.1. Definiowalność
3.2. Funkcje rekurencyjne
3.3. Funkcje częściowe rekurencyjne mi-rekursja
3.4. Przepisywanie termów: rachunek lambda
3.5. Funkcjonały obliczalne i Dziedzina Scotta
3.6. Curry-Howard - propositions as types
3.7. Podsumowanie obliczalności i definiowalności
4. Przełamać paradygmaty
4.1. von Neumann vicious circle
4.2. Sieci neuronowe i funkcjonały
5. Funkcjonały i hardware
5.1. Podstawy
5.2. Poziom zerowy
5.3. Schemat pierwotnej rekursji
5.4. Poziom 1
5.5. Relacje
5.6. Warunki
5.7. Przykład programowania na funkcjonałach
5.8. Konkluzje do rozdziału
5.9. Twierdzenie Godela o niezupełności
5.10. Podsumowanie rozdziału
6. Continuum
6.1. Continuum a liczby rzeczywiste
6.2. Nieformalne wprowadzenie
6.3. Kubiczne kompleksy
6.4. Uogólnienie
6.5. Pierwotne typy odpowiadające Continuum
6.6. Więcej o wzorcach dla Continuum
6.7. Od wzorców do przestrzeni topologicznych
6.8. Ciągi wyboru według Brouwera
6.9. Funkcje na przestrzeniach topologicznych
6.10. Twierdzenie Brouwera o ciągłości
6.11. Continua Euklidesowe
6.12. Przełamać paradygmat
6.13. Geometria Riemanna oraz Continuum
6.14 The Grothendieck's homotopy hypothesis
6.15. Podejście konstrukcyjne do typu homotopijnego
6.16. Uogólnienia i konkluzje
6.17. Podsumowanie rozdziału
6.18. Appendix do Rozdziału 6
7. Podsumowanie
Bibliografia
Informacja dotycząca wprowadzenia produktu do obrotu:
Ten produkt został wprowadzony na rynek przed 13 grudnia 2024 r. zgodnie z obowiązującymi wówczas przepisami (Dyrektywą o ogólnym bezpieczeństwie produktów). W związku z tym może on być nadal sprzedawany bez konieczności dostosowania do nowych wymogów wynikających z Rozporządzenia o Ogólnym Bezpieczeństwie Produktów (GPSR). Produkt zachowuje pełną legalność w obrocie, a jego jakość i bezpieczeństwo pozostają zgodne z obowiązującymi wcześniej standardami.
Information regarding product placement on the market:
This product was placed on the market before December 13, 2024, in accordance with the applicable regulations at the time (the General Product Safety Directive). As a result, it can continue to be sold without needing to meet the new requirements introduced by the General Product Safety Regulation (GPSR). The product remains fully compliant with all previously valid legal standards, ensuring its continued quality and safety.
Szybka wysyłka
