Ugrás a fő tartalmi területre
Mesterséges Intelligencia Almanach
Könyvek
Mesterséges intelligencia
Neurális hálózatok
Fogalomtár
Kutatók
Szerzők
Címlap
→
Fogalomtár
Megtekintés
Hivatkozók
predikátumszimbólum
A hozzászóláshoz
bejelentkezés
szükséges
Nyomtatóbarát változat
Kapcsolódó tartalmak
Fogalom
Clark normál forma
időtlen, örök predikátum
elsőrendű logika
Hivatkozók
Clark normál forma
időtlen, örök predikátum
elsőrendű logika
Mesterséges Intelligencia
8.2. Az elsőrendű logika szintaxisa és szemantikája
8.5. Összefoglalás
9.2. Egyesítés és kiemelés