|
|
| Tematy |
Autor |
Odpowiedzi |
Wyświetlone |
Ostatni post |
| Ogłoszenia |
 |
Współpraca i moderowanie Forum
|
scyth |
0 |
141 642 |
4 mar 2007, o 19:27
scyth
|
|
Zakazane zadania (!)
|
scyth |
0 |
297 105 |
8 sty 2007, o 00:05
scyth
|
|
Regulamin
|
Arek |
0 |
207 323 |
18 sie 2006, o 19:33
Arek
|
| Tematy |
 |
Wyciąganie kwantyfikatorów na początek formuły
|
TuTu321 |
5 |
254 |
5 maja 2019, o 16:19
Jan Kraszewski
|
|
Równoważność - metoda nie wprost
|
Setareh |
1 |
238 |
30 kwi 2019, o 17:15
Jan Kraszewski
|
|
Problem z windą i językiem regularnym
|
Siergiej29 |
4 |
630 |
30 kwi 2019, o 07:47
Lala123
|
|
problem z liskami i owieczkami
|
Inicjatus |
1 |
206 |
27 kwi 2019, o 11:08
Dasio11
|
|
Co z tą logiką?
[  Przejdź na stronę: 1, 2 ]
|
adzik81 |
18 |
1 410 |
16 kwi 2019, o 12:10
Slup
|
|
kto wie?
|
Gosiaczek193 |
2 |
209 |
10 kwi 2019, o 20:18
Gosiaczek193
|
|
Wykres funkcji zdaniowej
|
eldamiano22 |
8 |
297 |
20 mar 2019, o 18:30
eldamiano22
|
|
Logika rozmyta
|
prinside |
4 |
224 |
18 mar 2019, o 12:11
prinside
|
|
Tautologia z wynikaniem
|
Adayah |
1 |
123 |
10 mar 2019, o 12:30
matmatmm
|
|
Rachunek zdań
|
kacpersowinski |
4 |
293 |
9 mar 2019, o 01:59
Dilectus
|
|
Rachunek zdań
|
kacpersowinski |
2 |
155 |
8 mar 2019, o 00:29
Jan Kraszewski
|
|
Formuły logiczne
|
kacpersowinski |
2 |
191 |
7 mar 2019, o 22:36
Dasio11
|
|
wnioskowanie z kwadratu logicznego
|
ostry88 |
0 |
103 |
4 mar 2019, o 15:30
ostry88
|
|
Analiza struktury logicznej
|
random321 |
6 |
290 |
26 lut 2019, o 21:00
a4karo
|
|
Upraszczanie funkcji algebry boola
|
yamnice |
5 |
199 |
25 lut 2019, o 20:44
Jan Kraszewski
|
|
Definicja modeli w logikach
|
ronek22 |
0 |
228 |
22 lut 2019, o 17:17
ronek22
|
|
Tautologie rachunku kwantyfikatorów
|
kacperus |
10 |
457 |
17 lut 2019, o 00:05
Jan Kraszewski
|
|
Logika forumula
|
bukajje2 |
3 |
161 |
16 lut 2019, o 21:24
Jan Kraszewski
|
|
Tautologia kpn
|
bukajje2 |
4 |
141 |
16 lut 2019, o 21:02
Jakub Gurak
|
|
Rachunek kwantyfikatorów
|
mareo1208 |
8 |
273 |
13 lut 2019, o 23:42
mareo1208
|
|
Udowodnij, że nie istnieje formuła rachunku zdań
|
matmatmm |
0 |
123 |
11 lut 2019, o 13:41
matmatmm
|
|
Równość a równoważność
|
hidden55 |
0 |
139 |
4 lut 2019, o 15:09
hidden55
|
|
Przekształć zdanie na zdanie logiczne
|
Dorian1 |
1 |
106 |
1 lut 2019, o 16:46
Jan Kraszewski
|
|
Wytłumaczy mi ktoś regułę dowodzenia dla pętli iteracyjnej?
|
olenska |
0 |
108 |
24 sty 2019, o 16:25
olenska
|
|
Semiotyka i Metodologia
|
arczi123 |
0 |
97 |
22 sty 2019, o 15:55
arczi123
|
|
zbuduj schemat zdania
|
Klaudia9924 |
1 |
108 |
20 sty 2019, o 18:13
Rafsaf
|
|
Zapisać symbolicznie, że...
|
Mruczek676 |
3 |
144 |
20 sty 2019, o 18:09
a4karo
|
|
Minimalne cięcia niezdatności struktury przydatnościowej
|
eldamiano22 |
5 |
213 |
19 sty 2019, o 17:50
Dasio11
|
|
Podaj minimalną APN i KPN
|
agata_mloda |
0 |
108 |
18 sty 2019, o 12:14
agata_mloda
|
|
Zaprzeczenie zdaniu
|
PieknoMatematyki |
3 |
200 |
17 sty 2019, o 19:12
krl
|
|
Kostka binarna, Podaj segmenty kostki n-wymiarowej
|
michal00040 |
1 |
194 |
16 sty 2019, o 21:10
kerajs
|
|
Logika rozmyta
|
Hepo |
8 |
479 |
16 sty 2019, o 18:46
Hepo
|
|
Rachunek predykatów, dowód wprost i nie wprost
|
karoten |
1 |
133 |
15 sty 2019, o 00:01
Jan Kraszewski
|
|
Symbolika logiczna, dowód wprost i nie wprost
|
karoten |
1 |
111 |
14 sty 2019, o 23:57
Jan Kraszewski
|
|
Poniższe zdania zapisz w koniunkcyjnej postaci normalnej
|
karoten |
1 |
110 |
14 sty 2019, o 23:52
Jan Kraszewski
|
|
dowód w oparciu o aksjomaty
|
Iorgath |
9 |
302 |
13 sty 2019, o 18:17
Iorgath
|
|
wartość logiczna i zaprzeczenie zdania
|
ajsza94 |
1 |
90 |
12 sty 2019, o 12:28
Janusz Tracz
|
|
Czy język jest bezkontekstowy?
|
NeuroMind |
0 |
102 |
11 sty 2019, o 22:05
NeuroMind
|
|
Notacja polska
|
mimisinho99 |
0 |
127 |
9 sty 2019, o 21:47
mimisinho99
|
|
Ile jest nierównoważnych zdań logicznych zbudowanych z p i q
|
Qabrix |
12 |
329 |
9 sty 2019, o 00:17
Qabrix
|
|
Algebra Boole'a
|
Zacny_Los |
1 |
133 |
2 sty 2019, o 20:41
krl
|
|
Sprawdzenie czy formuła jest prawem rachunku kwantyfikatorów
|
Janusz22 |
2 |
187 |
19 gru 2018, o 20:13
Janusz22
|
|
Rekursja strukturalna - rachunek zdań
|
matmatmm |
4 |
348 |
18 gru 2018, o 22:53
matmatmm
|
|
Niedefiniowalność alternatywy/koniunkcji
|
nicniewiem+ |
1 |
146 |
15 gru 2018, o 21:54
Dasio11
|
|
Tautologie - zadania z kwantyfikatorami
|
hidden55 |
4 |
182 |
14 gru 2018, o 15:07
hidden55
|
|
Dlaczego zdanie jest fałszywe
|
MichalProg |
3 |
194 |
13 gru 2018, o 20:02
Jan Kraszewski
|
|
Kwantyfikatory: co pisać, by udowodnić, że zdanie jest P.
|
MichalProg |
3 |
141 |
13 gru 2018, o 11:58
a4karo
|
|
Języki regularne
|
StefanBohm |
0 |
127 |
13 gru 2018, o 02:37
StefanBohm
|
|
Zbudować zaprzeczenie zdań lub f. zdaniowych (sprawdzenie)
|
MichalProg |
2 |
125 |
13 gru 2018, o 00:01
Dasio11
|
|
Czy zdanie z kwantyfikatorami jest prawdziwe i dlaczego
|
MichalProg |
3 |
194 |
12 gru 2018, o 12:19
Psiaczek
|
|
|
[Regulamin Forum]
[Instrukcja LaTeX-a]
[Poradnik]
[F.A.Q.]
[Reklama]
[Kontakt]
Zaloguj
Zarejestruj
![Nowe posty [ Popularne ]](./styles/subsilver2/imageset/topic_unread_hot.gif "Nowe posty [ Popularne ]"){kind=small}
![Brak nowych postów [ Popularne ]](./styles/subsilver2/imageset/topic_read_hot.gif "Brak nowych postów [ Popularne ]"){kind=small}
![Nowe posty [ Zablokowane ]](./styles/subsilver2/imageset/topic_unread_locked.gif "Nowe posty [ Zablokowane ]"){kind=small}
![Brak nowych postów [ Zablokowane ]](./styles/subsilver2/imageset/topic_read_locked.gif "Brak nowych postów [ Zablokowane ]"){kind=small}