„Elsőrendű logika” változatai közötti eltérés

a
kozmetikai javítások
a (kozmetikai javítások)
** [[Tablókalkulus]],
** [[Rezolúciós kalkulus]].
* [[Modellelmélet]] – Egy formula vagy nyelv modelljének egyszerűen egy olyan interpretációt ([[matematikai struktúra|matematikai struktúrát]]) nevezünk, mely a formulát kielégíti. A modellelmélet ezen interpretációk egymáshoz és a formulához való viszonyaival foglalkozik. Tehát ez egy elsősorban szemantikai jellegű tudományág. Legfontosabb területe a modellunivwerzumok [[számosság|számosságának]]ának kutatása, az itt elért fő eredmény a [[Löwenheim-Skolem-tétel]]. A legnevesebb kutatók: [[Leopold Löwenheim|L. Löwenheim]], [[Kurt Gödel|K. Gödel]], [[Anatolij Ivenevics Malcev|A. I. Malcev]].
* A bizonyításelméletből nőtt ki mára önálló tudományággá a „számításelméleti” vagy „számítógépes logika”, melynek fő területe az automatikus tételbizonyítás kutatása. Legfontosabb elmélete a rezolúciós kalkulus. Ezenkívül foglalkozik a logika számításelméleti vonatkozásaival is (kielégíthetőségi problémák [SAT] és megoldhatóságuk kutatása és jellemzése).
 
 
==== Az elsőrendűség ====
 
 
 
<!-- First-order logic is distinguished from [[higher-order logic]] in that it does not allow quantification over properties; i. e. it cannot express statements such as "for every ''property'' P, it is the case that..." (<math>\forall P</math>) or "there exists a property P such that..." (<math>\exists P</math>).
-->
 
[[Kategória:Matematikai logika]]
{{csonk-dátum|csonk-mat|2005 júniusából}}
 
[[Kategória:Matematikai logika]]
 
[[en:Predicate logic]]
247 461

szerkesztés