Overleg:Predicatenlogica

Laatste reactie: 12 jaar geleden door Rp in het onderwerp uitdrukkingskracht, complexiteit

Ariteit en pariteit bewerken

Laatste bericht: 18 jaar geleden3 berichten2 personen in overleg

Moet ariteit niet pariteit zijn? Errabee 31 dec 2005 10:49 (CET)Reageren

De woorden schelen maar één letter, maar dat is wel de enige overeenkomst. Ik heb beide lemma's toegevoegd. Zie pariteit en ariteit. Otto ter Haar 1 jan 2006 07:34 (CET)Reageren

Weer wat geleerd :) Errabee 1 jan 2006 07:48 (CET)Reageren

uitdrukkingskracht, complexiteit bewerken

Laatste bericht: 12 jaar geleden1 bericht1 persoon in overleg

Er moet wat over de uitdrukkingskracht worden toegevoegd (bv. dat je in eerste-orde-logica geen transitieve afsluiting kunt uitdrukken) en over beslissingsproblemen (bv. het bepalen van vervulbaarheid en equivalentie). Rp (overleg) 14 jun 2011 17:23 (CEST)Reageren

Onderwerp toevoegen

Overgenomen van "https://nl.wikipedia.org/w/index.php?title=Overleg:Predicatenlogica&oldid=39357466"

Terugkeren naar de pagina "Predicatenlogica".