Wkład użytkownika Urzyczyn

18 sty 2007

• 16:5816:58, 18 sty 2007 różn. hist. +39 Logika dla informatyków →Moduły

31 paź 2006

• 14:3114:31, 31 paź 2006 różn. hist. 0 m Logika dla informatyków/Logika intuicjonistyczna Nie podano opisu zmian

30 paź 2006

• 23:3023:30, 30 paź 2006 różn. hist. −2 m Logika dla informatyków/Logika w informatyce Nie podano opisu zmian
• 23:2523:25, 30 paź 2006 różn. hist. −5 m Logika dla informatyków/Logika w informatyce Nie podano opisu zmian
• 23:1323:13, 30 paź 2006 różn. hist. +36 m Logika dla informatyków/Logika intuicjonistyczna Nie podano opisu zmian
• 23:1023:10, 30 paź 2006 różn. hist. −2 m Logika dla informatyków/Ćwiczenia 10 Nie podano opisu zmian
• 23:0923:09, 30 paź 2006 różn. hist. +73 Logika dla informatyków/Ćwiczenia 10 Nie podano opisu zmian
• 23:0523:05, 30 paź 2006 różn. hist. +145 m Logika dla informatyków/Zdaniowa logika dynamiczna Nie podano opisu zmian
• 23:0023:00, 30 paź 2006 różn. hist. +1 m Logika dla informatyków/Zdaniowa logika dynamiczna Nie podano opisu zmian
• 22:4822:48, 30 paź 2006 różn. hist. +1 m Logika dla informatyków/Zdaniowa logika dynamiczna Nie podano opisu zmian
• 22:4622:46, 30 paź 2006 różn. hist. −21 m Logika dla informatyków/Zdaniowa logika dynamiczna Nie podano opisu zmian
• 22:3422:34, 30 paź 2006 różn. hist. 0 m Logika dla informatyków/Ćwiczenia 9 Nie podano opisu zmian ostatnia
• 22:3322:33, 30 paź 2006 różn. hist. +4 m Logika dla informatyków/Teoria modeli Nie podano opisu zmian
• 22:2822:28, 30 paź 2006 różn. hist. −23 m Logika dla informatyków/Teoria modeli Nie podano opisu zmian
• 22:1822:18, 30 paź 2006 różn. hist. +1 m Logika dla informatyków/Pełność rachunku predykatów Nie podano opisu zmian
• 22:1722:17, 30 paź 2006 różn. hist. 0 m Logika dla informatyków/Pełność rachunku predykatów Nie podano opisu zmian
• 22:1522:15, 30 paź 2006 różn. hist. −39 m Logika dla informatyków/Pełność rachunku predykatów Nie podano opisu zmian
• 22:0222:02, 30 paź 2006 różn. hist. +1 m Logika dla informatyków/Pełność rachunku zdań Nie podano opisu zmian
• 21:5921:59, 30 paź 2006 różn. hist. +184 m Logika dla informatyków/Pełność rachunku zdań Poprawka w dowodzie 6.5
• 21:3821:38, 30 paź 2006 różn. hist. +21 m Logika dla informatyków/Pełność rachunku zdań Nie podano opisu zmian
• 21:3321:33, 30 paź 2006 różn. hist. −43 m Logika dla informatyków/Ćwiczenia 5 Nie podano opisu zmian
• 21:2921:29, 30 paź 2006 różn. hist. +1 m Logika dla informatyków/Logika pierwszego rzędu. Sposób użycia Nie podano opisu zmian

22 paź 2006

• 20:0320:03, 22 paź 2006 różn. hist. −65 m Logika dla informatyków/Logika pierwszego rzędu. Sposób użycia Nie podano opisu zmian
• 19:5719:57, 22 paź 2006 różn. hist. +7 m Logika dla informatyków/Ćwiczenia 2 Nie podano opisu zmian
• 19:5419:54, 22 paź 2006 różn. hist. 0 Logika dla informatyków/Język logiki pierwszego rzędu Nie podano opisu zmian
• 19:5219:52, 22 paź 2006 różn. hist. +2 m Logika dla informatyków/Rachunek zdań Nie podano opisu zmian

19 paź 2006

• 16:5616:56, 19 paź 2006 różn. hist. +8 Logika dla informatyków/Język logiki pierwszego rzędu Nie podano opisu zmian
• 16:5316:53, 19 paź 2006 różn. hist. −4 m Logika dla informatyków/Język logiki pierwszego rzędu Nie podano opisu zmian
• 13:4413:44, 19 paź 2006 różn. hist. +1 m Logika dla informatyków/Ćwiczenia 1 Nie podano opisu zmian
• 13:4313:43, 19 paź 2006 różn. hist. +7 m Logika dla informatyków/Rachunek zdań Nie podano opisu zmian

18 paź 2006

• 12:5912:59, 18 paź 2006 różn. hist. +33 m Logika dla informatyków/Rachunek zdań →Tautologie rachunku zdań
• 12:5612:56, 18 paź 2006 różn. hist. 0 m Logika dla informatyków/Ćwiczenia 1 Nie podano opisu zmian
• 12:3212:32, 18 paź 2006 różn. hist. −11 m Logika dla informatyków →Zawartość
• 12:2912:29, 18 paź 2006 różn. hist. −3 m Logika dla informatyków/Rachunek zdań Nie podano opisu zmian
• 11:4411:44, 18 paź 2006 różn. hist. +55 m Logika dla informatyków/Rachunek zdań Nie podano opisu zmian
• 11:3711:37, 18 paź 2006 różn. hist. −1 m Logika dla informatyków/Rachunek zdań Nie podano opisu zmian
• 11:3511:35, 18 paź 2006 różn. hist. +1 m Logika dla informatyków/Rachunek zdań Nie podano opisu zmian
• 11:1811:18, 18 paź 2006 różn. hist. +2 m Logika dla informatyków/Rachunek zdań Nie podano opisu zmian