Wkład użytkownika Matiunreal

31 sie 2006

• 00:3100:31, 31 sie 2006 różn. hist. −4 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.1 Twierdzenie o pełności
• 00:3000:30, 31 sie 2006 różn. hist. +3441 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.1 Twierdzenie o pełności
• 00:2300:23, 31 sie 2006 różn. hist. +8 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →4. Liczby porządkowe
• 00:2200:22, 31 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →4. Liczby porządkowe
• 00:2100:21, 31 sie 2006 różn. hist. +24 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →4. Liczby porządkowe
• 00:2000:20, 31 sie 2006 różn. hist. −9 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →4. Liczby porządkowe
• 00:1800:18, 31 sie 2006 różn. hist. −3 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →4. Liczby porządkowe
• 00:1700:17, 31 sie 2006 różn. hist. −3 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →4. Liczby porządkowe
• 00:1600:16, 31 sie 2006 różn. hist. −3 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →4. Liczby porządkowe
• 00:1400:14, 31 sie 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →3. Zasada indukcji
• 00:1300:13, 31 sie 2006 różn. hist. −56 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →3. Zasada indukcji
• 00:1200:12, 31 sie 2006 różn. hist. +62 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →3. Zasada indukcji
• 00:1100:11, 31 sie 2006 różn. hist. −8 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →3. Zasada indukcji
• 00:0800:08, 31 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →3. Zasada indukcji
• 00:0700:07, 31 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →4. Liczby porządkowe
• 00:0500:05, 31 sie 2006 różn. hist. +12 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną Nie podano opisu zmian
• 00:0100:01, 31 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 2: Rachunek zdań →5. Systemy funkcjonalnie pełne
• 00:0000:00, 31 sie 2006 różn. hist. +20 Logika i teoria mnogości/Wykład 2: Rachunek zdań →5. Systemy funkcjonalnie pełne

30 sie 2006

• 23:5623:56, 30 sie 2006 różn. hist. +7127 Logika i teoria mnogości/Wykład 2: Rachunek zdań Nie podano opisu zmian
• 23:5323:53, 30 sie 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →6. Postacie normalne
• 23:5223:52, 30 sie 2006 różn. hist. +304 Logika i teoria mnogości/Wykład 2: Rachunek zdań →6. Postacie normalne
• 23:5023:50, 30 sie 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 2: Rachunek zdań →6.1 Spełnialność
• 23:4923:49, 30 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 2: Rachunek zdań →6.1 Spełnialność
• 23:4923:49, 30 sie 2006 różn. hist. −4 Logika i teoria mnogości/Wykład 2: Rachunek zdań →6.1 Spełnialność
• 23:4823:48, 30 sie 2006 różn. hist. +1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →6.1 Spełnialność
• 23:4823:48, 30 sie 2006 różn. hist. +1368 Logika i teoria mnogości/Wykład 2: Rachunek zdań →6.1 Spełnialność
• 23:4423:44, 30 sie 2006 różn. hist. +167 Logika i teoria mnogości/Wykład 2: Rachunek zdań →7. Logika intuicjonistyczna
• 23:4323:43, 30 sie 2006 różn. hist. +1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →7. Logika intuicjonistyczna
• 23:4223:42, 30 sie 2006 różn. hist. +1270 Logika i teoria mnogości/Wykład 2: Rachunek zdań →7. Logika intuicjonistyczna
• 23:3823:38, 30 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 2: Rachunek zdań →7. Logika intuicjonistyczna
• 23:3723:37, 30 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 2: Rachunek zdań →7. Logika intuicjonistyczna
• 23:3623:36, 30 sie 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →7. Logika intuicjonistyczna
• 23:3523:35, 30 sie 2006 różn. hist. +190 Logika i teoria mnogości/Wykład 2: Rachunek zdań →7. Logika intuicjonistyczna
• 23:3023:30, 30 sie 2006 różn. hist. −10 Logika i teoria mnogości/Wykład 2: Rachunek zdań →6. Postacie normalne
• 23:2923:29, 30 sie 2006 różn. hist. −3 Logika i teoria mnogości/Wykład 2: Rachunek zdań →6.1 Spełnialność
• 23:2823:28, 30 sie 2006 różn. hist. −3 Logika i teoria mnogości/Wykład 2: Rachunek zdań →7. Logika intuicjonistyczna
• 23:2823:28, 30 sie 2006 różn. hist. −7 Logika i teoria mnogości/Wykład 2: Rachunek zdań →5. Systemy funkcjonalnie pełne
• 23:2723:27, 30 sie 2006 różn. hist. −12 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.2 Inne spójniki
• 23:2623:26, 30 sie 2006 różn. hist. −7 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.2 Inne spójniki
• 23:2523:25, 30 sie 2006 różn. hist. −15 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.2 Inne spójniki
• 23:2523:25, 30 sie 2006 różn. hist. −3 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.2 Inne spójniki
• 23:2423:24, 30 sie 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.1 Twierdzenie o pełności
• 23:2223:22, 30 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.1 Twierdzenie o pełności
• 23:2123:21, 30 sie 2006 różn. hist. −8 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.1 Twierdzenie o pełności
• 23:2123:21, 30 sie 2006 różn. hist. +62 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4. Matryca boolowska
• 23:1923:19, 30 sie 2006 różn. hist. −9 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4. Matryca boolowska
• 23:1823:18, 30 sie 2006 różn. hist. −7 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4. Matryca boolowska
• 23:1823:18, 30 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 2: Rachunek zdań →3.3 Przykład
• 23:1823:18, 30 sie 2006 różn. hist. −9 Logika i teoria mnogości/Wykład 2: Rachunek zdań →3.3 Przykład
• 23:1723:17, 30 sie 2006 różn. hist. −3 Logika i teoria mnogości/Wykład 2: Rachunek zdań →3.2 Reguła dowodzenia