A(z) „Konjunktív normálforma” lapra hivatkozó lapok
Megjelenés
20 elem listázva.
- Diszjunktív normálforma (← erre mutató hivatkozások | szerkesztés)
- Skolem-normálforma (← erre mutató hivatkozások | szerkesztés)
- Prolog (← erre mutató hivatkozások | szerkesztés)
- Horn-klóz (← erre mutató hivatkozások | szerkesztés)
- Rezolúció (← erre mutató hivatkozások | szerkesztés)
- Normálalak (← erre mutató hivatkozások | szerkesztés)
- Konjunktív normálalak (átirányítás) (← erre mutató hivatkozások | szerkesztés)
- Mozaikszók listája: K (← erre mutató hivatkozások | szerkesztés)
- Kanonikus alak (← erre mutató hivatkozások | szerkesztés)
- Mediángráf (← erre mutató hivatkozások | szerkesztés)
- Egységszaporítás (← erre mutató hivatkozások | szerkesztés)
- Logikai kielégítési probléma (← erre mutató hivatkozások | szerkesztés)
- DPLL algoritmus (← erre mutató hivatkozások | szerkesztés)
- Konfliktusvezérelt klóztanulás (← erre mutató hivatkozások | szerkesztés)
- Szerkesztő:Gubbubu/Infók (← erre mutató hivatkozások | szerkesztés)
- Szerkesztő:Bdamokos/Hibás külső hivatkozások (← erre mutató hivatkozások | szerkesztés)
- Szerkesztő:BinBot/trymikor (← erre mutató hivatkozások | szerkesztés)
- Szerkesztővita:Gubbubu/Archív5 (← erre mutató hivatkozások | szerkesztés)
- Wikipédia:Cikkértékelési műhely/Matematikai szócikkek/24 (← erre mutató hivatkozások | szerkesztés)
- Cikkjelölt:Konfliktusvezérelt klóztanulás (← erre mutató hivatkozások | szerkesztés)