Jerzy Pogonowski - Funkcje Rekurencyjne
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 19:54, 5 gru 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne) ← Poprzednia edycja |
Wersja z dnia 15:32, 20 lut 2015 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne) Następna edycja → |
||
| Linia 14: | Linia 14: | ||
| =Funkcje rekurencyjne= | =Funkcje rekurencyjne= | ||
| - | * [[Media: frintobl.pdf | Intuicje dotyczące obliczania. ]] | + | [[Image: smile4.jpg|center|frame|Strona w likwidacji.]] |
| - | * [[Media: frdefinf.pdf | Pojęcie nieskończoności - różne definicje. ]] | + | |
| - | * [[Media: frfract.pdf | Nieskończona złożoność strukturalna - fraktale. ]] | + | Materiały dydaktyczne przeniesiono [http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Matematyczna '''TUTAJ''']. |
| - | * [[Media: metalogikaopole06.pdf | Funkcje rekurencyjne i maszyny Turinga.]] | + | |
| - | * [[Media: metalogikaopole07.pdf | Reprezentowalność w PA. Arytmetyzacja składni.]] | + | |
| - | * [[Media: metalogikaopole08.pdf | Twierdzenia: Gödla, Rossera, Löba, Tarskiego. ]] | + | |
| - | * [[Media: metalogikaopole09.pdf | Teorie rozstrzygalne i teorie nierozstrzygalne. Twierdzenie Churcha.]] | + | |
| - | * [[Media: smullmach.pdf | Dodatek 1. Maszyny logiczne Smullyana. ]] | + | |
| - | * [[Media: drzakop2007.pdf | Dodatek 2. O rachunku kombinatorów. ]] | + | |
| - | * [[Media: mds.zip | Dodatek 3. Konsekwencje Bereszit 2:16. ]] | + | |
| [[Category:Pracownicy]] | [[Category:Pracownicy]] | ||
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
Wersja z dnia 15:32, 20 lut 2015
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Funkcje rekurencyjne
Strona w likwidacji.
Materiały dydaktyczne przeniesiono TUTAJ.
