Kisszótár


Magyar Magyar Angol Angol
Predikátuml... ----

Magyar Magyar Német Német
Predikátuml... ----

Címszavak véletlenül



Címszó:
Tartalom:

Predikátumlogika

Predikátumkalkulus, kvantifikációelmélet: a szimbolikus logikán belül tág értelemben a teljes alternáló logikát jelenti, magában foglalja a kijelentéslogiká t és az osztálylogikát is. A predikátumlogika központi célja a helyes következtetés fogalmának ? az alternáló logikán belüli ? legáltalánosabb megadása. A predikátumlogika főbb fejezetei: a predikátum fogalom ált.-ítása, igazságfunktor ok, kvantor ok, kvantifikáció, formalizálás, interpretáció, a következtetés ellenőrzésének módszerei, az eldöntésprobléma.

Péchy Benjamin



Maradjon online a Kislexikonnal Mobilon és Tableten is