KSIĄŻKI
ZABAWKI
ART. PAP
GRY
MULTIMEDIA
PROMOCJE
ZDROWIE
DOM I OGRÓD
LEGO
Okładka książki O semantyce w Matematyce i Informatyce

O semantyce w Matematyce i Informatyce

Wydawca: Exit
ISBN: 9788378370758
EAN: 9788378370758
oprawa: Miękka
podtytuł: czyli w poszukwaniu zagubionego sensu
format: 16.5x23.5cm
język: polski
liczba stron: 178
rok wydania: 2022
(0) Sprawdź recenzje

Opis

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
CENA:
29,34  zł
Cena detaliczna:
42,00 zł
30%
rabatu
Najniższa cena z ostatnich 30 dni: 29,17
Produkt niedostępny
Wpisz e-mail, jeśli chcesz otrzymać powiadomienie o dostępności produktu
Zapisz się na newsletter multiszop.pl
Wyrażam zgodę na przetwarzanie danych osobowych zgodnie z Polityką prywatności oraz na otrzymywanie drogą elektroniczną informacji handlowej od ESSE Sp. z o.o. z siedzibą w Łodzi. Więcej informacji znajdziesz w Regulaminie Newslettera. Administratorem Twoich danych osobowych jest spółka ESSE sp. z o.o. z siedzibą w Łodzi.
rozwiń
Uwaga!!!
Ten produkt jest zapowiedzią. Realizacja Twojego zamówienia ulegnie przez to wydłużeniu do czasu premiery tej pozycji. Czy chcesz dodać ten produkt do koszyka?
TAK
NIE
Oczekiwanie na odpowiedź
Dodano produkt do koszyka
Kontynuuj zakupy
Przejdź do koszyka
Oczekiwanie na odpowiedź
Oczekiwanie na odpowiedź
Wybierz wariant produktu
Dodaj do koszyka
Anuluj