Predikátová logika: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
d robot Pridal: pt:Lógica de primeira ordem,id:Logika predikat tingkat pertama,pl:Rachunek predykatów pierwszego rzędu,ru:Логика первого порядка,he:שפה מסדר ראשון,ko,es,sr,uk,ar,it |
d r2.5.2) (robot Odobral: ar, es, he, id, it, ko, pl, pt, ru, sr, uk Zmenil: fa, zh |
||
Riadok 10:
[[af:Predikaatlogika]]
[[cs:Predikátová logika]]
[[de:Prädikatenlogik]]
[[el:Κατηγορηματική λογική]]
[[en:Predicate logic]]
[[et:Predikaatloogika]]
[[fa:منطق
[[fi:Predikaattilogiikka]]
[[fr:Calcul des prédicats]]
[[hu:Elsőrendű logika]]
[[ja:一階述語論理]]
[[mk:Предикатна логика]]
[[nl:Predicatenlogica]]
[[simple:Predicate logic]]
[[sv:Predikatlogik]]
▲[[zh:一阶逻辑]]
|