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
11 Konstrukcje liczbowe

11 Konstrukcje liczbowe

‹ 10. Relacje dobrego porządku

w górę

A01 Wprowadzenie do formalnych dowodów na komputerze ›

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.