Logo
Unionpedia
Communicatie
Ontdek het op Google Play
Nieuw! Download Unionpedia op je Android™ toestel!
Installeren
Snellere toegang dan browser!
 

Horn-clausule

Index Horn-clausule

In de logica is een Horn-clausule (Engels: Horn clause) een clausule, een disjunctie van literalen, met ten hoogste 1 positieve literaal.

21 relaties: Atoom (logica), Clausule (logica), Computationele complexiteitstheorie, Conjunctieve normaalvorm, Engels, Horn-clausule, Intuïtionisme, Literaal, Logica, Logisch programmeren, Logische conjunctie, Logische disjunctie, Logische implicatie, MathWorld, NP-volledig, P (complexiteitsklasse), Programmeertaal, Prolog, Resolutie (logica), Vervulbaarheidsprobleem, 1951.

Atoom (logica)

Een atoom of atomaire formule in de logica is een logische formule die niet is opgebouwd uit subformules en dus ook geen logische operatoren bevat.

Nieuw!!: Horn-clausule en Atoom (logica) · Bekijk meer »

Clausule (logica)

In de logica is een clausule (in het Engels: clause) een eindige disjunctie van literalen, dus met de vorm met l_i voor 0 \leq i \leq n, een literaal.

Nieuw!!: Horn-clausule en Clausule (logica) · Bekijk meer »

Computationele complexiteitstheorie

Computationele complexiteitstheorie is een tak van theoretische informatica en wiskunde die als doel heeft computationele problemen te classificeren in een aantal categorieën die de inherente moeilijkheidsgraad van deze problemen aangeven.

Nieuw!!: Horn-clausule en Computationele complexiteitstheorie · Bekijk meer »

Conjunctieve normaalvorm

In de logica is een formule in conjunctieve normaalvorm (Eng. conjunctive normal form, CNF, ook wel afgekort als CNV) als die bestaat uit een conjunctie van disjuncties met literalen (ook een conjunctie van clausules genoemd).

Nieuw!!: Horn-clausule en Conjunctieve normaalvorm · Bekijk meer »

Engels

Het Engels (English) is een Indo-Europese taal, die vanwege de nauwe verwantschap met talen als het Fries, (Neder-)Duits en Nederlands tot de West-Germaanse talen wordt gerekend.

Nieuw!!: Horn-clausule en Engels · Bekijk meer »

Horn-clausule

In de logica is een Horn-clausule (Engels: Horn clause) een clausule, een disjunctie van literalen, met ten hoogste 1 positieve literaal.

Nieuw!!: Horn-clausule en Horn-clausule · Bekijk meer »

Intuïtionisme

Het intuïtionisme is een grondslagenstroming in de wiskunde die rond 1900 opkwam en waarvan de Nederlandse wiskundigen L.E.J. Brouwer en Arend Heyting belangrijke vertegenwoordigers waren.

Nieuw!!: Horn-clausule en Intuïtionisme · Bekijk meer »

Literaal

In de wiskundige logica is een literaal (Engels: literal) een atomaire formule (ook wel atoom genoemd) of de negatie ervan.

Nieuw!!: Horn-clausule en Literaal · Bekijk meer »

Logica

Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.

Nieuw!!: Horn-clausule en Logica · Bekijk meer »

Logisch programmeren

Logisch programmeren is een vorm van programmeren die valt onder het declaratieve paradigma.

Nieuw!!: Horn-clausule en Logisch programmeren · Bekijk meer »

Logische conjunctie

Venndiagram van de conjunctie - rood is waar In de wiskunde en de logica is logische conjunctie (symbool: \land, &, &&, EN of AND) een logische operator die twee proposities met elkaar verbindt, zodanig dat de conjunctie van beide waar is als beide operanden waar zijn.

Nieuw!!: Horn-clausule en Logische conjunctie · Bekijk meer »

Logische disjunctie

Venndiagram van \scriptstyle A \lor B In de logica en de wiskunde is de logische disjunctie (symbool: \scriptstyle\lor, OF of OR) een logische operator, waarvan de betekenis min of meer overeenkomt met het Nederlandse woord "of".

Nieuw!!: Horn-clausule en Logische disjunctie · Bekijk meer »

Logische implicatie

Venndiagram van de implicatie - rood is waar De logische implicatie is in de logica een bewering die stelt dat als P waar is, Q ook waar is.

Nieuw!!: Horn-clausule en Logische implicatie · Bekijk meer »

MathWorld

MathWorld is een naslag-website op het gebied van de wiskunde.

Nieuw!!: Horn-clausule en MathWorld · Bekijk meer »

NP-volledig

NP-volledigheid is een concept uit de complexiteitstheorie.

Nieuw!!: Horn-clausule en NP-volledig · Bekijk meer »

P (complexiteitsklasse)

Verbanden tussen complexiteitsklassen. In de complexiteitstheorie is P, ook bekend als PTIME en DTIME(nO(1)), een complexiteitsklasse die alle beslissingsproblemen bevat die in polynomiale tijd opgelost kunnen worden door een deterministische turingmachine.

Nieuw!!: Horn-clausule en P (complexiteitsklasse) · Bekijk meer »

Programmeertaal

Python. Een programmeertaal is een formele taal waarin de opdrachten die een computer moet uitvoeren, worden geschreven.

Nieuw!!: Horn-clausule en Programmeertaal · Bekijk meer »

Prolog

Prolog (uit het Frans "programmation en logique", "programmeren met logica") is een logische programmeertaal.

Nieuw!!: Horn-clausule en Prolog · Bekijk meer »

Resolutie (logica)

In de wiskundige logica en bij automatisch stellingbewijzen is resolutie een afleidingsregel die gebruikt wordt voor bewijzen uit het ongerijmde van zinnen in de propositie- en predicatenlogica.

Nieuw!!: Horn-clausule en Resolutie (logica) · Bekijk meer »

Vervulbaarheidsprobleem

In de complexiteitstheorie verwijst het vervulbaarheidsprobleem (ook bekend als SAT, van het Engelse satisfiability) naar het bepalen of een logische propositie vervuld kan worden; een propositie kan vervuld worden als er een toekenning van waar of onwaar aan de atomaire formules bestaat zodanig dat de gehele propositie waar is.

Nieuw!!: Horn-clausule en Vervulbaarheidsprobleem · Bekijk meer »

1951

Bioscoopjournaal uit 1951. Vanuit de haven van Rotterdam vertrekt het weerschip "Cumulus" naar zijn ligplaats op de Atlantische Oceaan waar het zijn centrale taak gaat vervullen: het verzamelen en verstrekken van meteorologische gegevens en het steun verlenen aan de trans-Atlantische luchtvaart. Bioscoopjournaal uit 1951. Windhondenrennen in Utrecht. Bioscoopjournaal uit 1951. Beelden van treinen die diverse spoorwegovergangen passeren; zowel bewaakte (met spoorbomen), beveiligde (met knipperlichtinstallaties) als onbewaakte. Verder een oproep aan de kijkers om uiterst voorzichtig te zijn bij het passeren van een onbewaakte overweg. Werelddierendag. Wageningen: de brandweer bestrijdt de vlammen, terwijl een grote groep mensen druk heen en weer loopt tussen het huis en de straat om het huisraad in veiligheid te brengen. Het jaar 1951 is een jaartal volgens de christelijke jaartelling.

Nieuw!!: Horn-clausule en 1951 · Bekijk meer »

Richt hier:

Horn clausule, Horn-vervulbaarheid.

UitgaandeInkomende
Hey! We zijn op Facebook nu! »