Strony linkujące do „Biografia Goedel”
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Następujące strony odwołują się do Biografia Goedel:
Wyświetlono 4 elementy.
- Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów (← linkujące)
- Języki, automaty i obliczenia/Wykład 2: Gramatyka jako model obliczen. Hierarchia Chomsky'ego (← linkujące)
- Biografie (← linkujące)
- Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum (← linkujące)