Przejdź do treści

Portal Dydaktyczny dla Matematyków

Strona główna
Wykłady
Nowości
Kontakt
SAGE
Moje zakładki

Matematyka na Uniwersytecie Warszawskim - studia atrakcyjne i przyjazne

Formularz wyszukiwania

Spis treści

01. Podstawy matematyki według Euklidesa
02. Teoria zbiorów skończonych
03. Rachunek zdań - gramatyka i przykłady
04. Rachunek zdań - dedukcja
05. Produkt i suma
06. Twierdzenie Cantora
07. Twierdzenie Cantora-Bernsteina
08. Relacje równoważności
09. Relacje częściowego porządku
10. Relacje dobrego porządku
11 Konstrukcje liczbowe
A01 Wprowadzenie do formalnych dowodów na komputerze
A02 Zrób własne liczby naturalne (na komputerze)
A03 Arytmetyka według Euklidesa (na komputerze)
A04 Licealna algebra według Alfreda Tarskiego (na komputerze)
B01 Krokodyle i rachunek lambda
C01 Gra Hydra - przykład funkcji trudnej do obliczenia
D01 Dualność Curry-Howarda ( na komputerze)
D02 Złożoność obliczeniowa dowodów w klasycznym i intuicjonistycznym rachunku zdań

Strona główna
Wstęp do Matematyki
B01 Krokodyle i rachunek lambda

B01 Krokodyle i rachunek lambda

‹ A04 Licealna algebra według Alfreda Tarskiego (na komputerze)

w górę

C01 Gra Hydra - przykład funkcji trudnej do obliczenia ›

Wersja do wydruku
Wstaw zakładkę

Europejski Fundusz Społeczny

Niniejszy portal powstał dla projektu
Matematyka na Uniwersytecie Warszawskim
- studia atrakcyjne i przyjazne,
współfinansowanego przez Unię Europejską w ramach Europejskiego Funduszu Społecznego.