Wkład użytkownika Kubakozik
Z Studia Informatyczne
Wyniki dla użytkownika Kubakozik dyskusja blokady przesłane pliki rejestry
Użytkownik(-czka) wykonał(a) 109 edycji. Konto utworzone 5 lip 2006.
16 wrz 2006
- 12:3312:33, 16 wrz 2006 różn. hist. +968 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
- 11:4811:48, 16 wrz 2006 różn. hist. +54 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Aksjomatyka Klasycznego Rachunku Zdań
- 11:4111:41, 16 wrz 2006 różn. hist. +220 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Język logiki zdaniowej
- 11:3211:32, 16 wrz 2006 różn. hist. −33 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Wprowadzenie
- 11:0611:06, 16 wrz 2006 różn. hist. +3 m Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwne" dowody niewprost
- 11:0511:05, 16 wrz 2006 różn. hist. +3 m Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwne" dowody niewprost: korekty językowe
- 11:0411:04, 16 wrz 2006 różn. hist. +31 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwna" indukcja: korekty językowe
- 10:3710:37, 16 wrz 2006 różn. hist. +35 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwna" teoria mnogości: korekty językowe
- 10:2010:20, 16 wrz 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Aksjomatyka Rachunku Predykatów
