Naar inhoud springen

Overleg:Predicatenlogica

Pagina-inhoud wordt niet ondersteund in andere talen.
Onderwerp toevoegen
Uit Wikipedia, de vrije encyclopedie
Laatste reactie: 13 jaar geleden door Rp in het onderwerp uitdrukkingskracht, complexiteit

Ariteit en pariteit[brontekst bewerken]

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[brontekst bewerken]

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