Snellere toegang dan browser!
24 relaties: Afleidingsregel, Axioma, Axiomatische methode, Betekenis, Bewijstheorie, Deductief systeem, Formeel systeem, Formele taal, Formele wetenschap, Grammatica, Informatica, Interpretatie (logica), Logisch gevolg, Natuurlijke taal, Propositie, Referent (taalkunde), Rij (wiskunde), Semantiek, Stelling (wiskunde), Symbool, Taal, Theoretische taalkunde, Wiskundig bewijs, Wiskundige logica.
Afleidingsregel
In de logica is een afleidingsregel een regel die uit een aantal proposities een propositie afleidt.
Nieuw!!: Formeel bewijs en Afleidingsregel · Bekijk meer »
Axioma
Een axioma (of postulaat) is in de wiskunde en de logica, sinds Euclides en Aristoteles, een niet bewezen, maar als grondslag aanvaarde bewering.
Nieuw!!: Formeel bewijs en Axioma · Bekijk meer »
Axiomatische methode
De axiomatische methode is een wijze van argumentatie in de formele wetenschappen (m.n. wiskunde en logica) waarbij resultaten worden gepresenteerd als een reeks stellingen die een voor een worden afgeleid uit een stelsel van axiomata en definities.
Nieuw!!: Formeel bewijs en Axiomatische methode · Bekijk meer »
Betekenis
De betekenis is datgene in de werkelijkheid waarnaar door middel van een teken (een woord, gebaar, voorwerp of andersoortige betekenisdrager die verwijst naar een betekenis) wordt verwezen.
Nieuw!!: Formeel bewijs en Betekenis · Bekijk meer »
Bewijstheorie
Bewijstheorie is een tak van de wiskundige logica die bewijzen als formele wiskundige objecten opvat.
Nieuw!!: Formeel bewijs en Bewijstheorie · Bekijk meer »
Deductief systeem
Een deductief systeem - dat ook wel het deductieve apparaat van een formeel systeem wordt genoemd - is in de systeemtheorie een reeks axioma's en/of een axiomaschema met behulp waarvan theorema's worden afgeleid als formeel bewijs.
Nieuw!!: Formeel bewijs en Deductief systeem · Bekijk meer »
Formeel systeem
Een formeel systeem is een combinatie van een formele taal en een verzameling afleidings- of transformatieregels of axioma's die zinnen in de formele taal omzetten in nieuwe zinnen.
Nieuw!!: Formeel bewijs en Formeel systeem · Bekijk meer »
Formele taal
De term formele taal heeft ten minste drie verwante betekenissen.
Nieuw!!: Formeel bewijs en Formele taal · Bekijk meer »
Formele wetenschap
Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek.
Nieuw!!: Formeel bewijs en Formele wetenschap · Bekijk meer »
Grammatica
Grammaticaboekje uit 1735. De spraakkunst, spraakleer of grammatica is binnen de theoretische taalkunde de benaming voor de studie, beschrijving en verklaring voor alles dat met de systematiek van een natuurlijke taal of kunsttaal te maken heeft.
Nieuw!!: Formeel bewijs en Grammatica · Bekijk meer »
Informatica
Informatica richt zich op de theoretische grondslagen van informatie, de mechanische (automatische) verzameling en verwerking ervan, evenals de praktische toepassingen die eruit voortvloeien.
Nieuw!!: Formeel bewijs en Informatica · Bekijk meer »
Interpretatie (logica)
Met interpretatie wordt in de logica de extensie van symbolen en strings aan de hand van tupels bedoeld.
Nieuw!!: Formeel bewijs en Interpretatie (logica) · Bekijk meer »
Logisch gevolg
Een logisch gevolg of logische consequentie is zowel in de logica als in de wiskunde de tweeplaatsige relatie tussen een verzameling zinnen en/of proposities, waarbij de laatste zin/propositie een logische implicatie is van de voorafgaande.
Nieuw!!: Formeel bewijs en Logisch gevolg · Bekijk meer »
Natuurlijke taal
Een natuurlijke taal of etnische taal is in de taalfilosofie elke levende of dode taal die door een aantal mensen als hun moedertaal wordt of werd beschouwd.
Nieuw!!: Formeel bewijs en Natuurlijke taal · Bekijk meer »
Propositie
Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.
Nieuw!!: Formeel bewijs en Propositie · Bekijk meer »
Referent (taalkunde)
In de semantiek wordt met referent een entiteit, gebeurtenis of eigenschap in de - doorgaans buitentalige - werkelijkheid bedoeld waar met talige elementen (woorden, zinsdelen of hele zinnen) naar verwezen wordt.
Nieuw!!: Formeel bewijs en Referent (taalkunde) · Bekijk meer »
Rij (wiskunde)
Voorbeeld van een oneindige rij die niet stijgend, niet dalend en niet convergent, maar wel begrensd is In de wiskunde is een rij een opeenvolging van objecten, die elementen of termen van de rij worden genoemd.
Nieuw!!: Formeel bewijs en Rij (wiskunde) · Bekijk meer »
Semantiek
De semantiek of betekenisleer is een wetenschap die zich bezighoudt met de betekenis van symbolen, waarbij het in het bijzonder de bouwstenen van natuurlijke talen die voor de communicatie dienen ofwel woorden en zinnen betreft.
Nieuw!!: Formeel bewijs en Semantiek · Bekijk meer »
Stelling (wiskunde)
bewijzen. In de wiskunde is een stelling (ook theorema, propositie of these) een bewering, die op basis van axioma's en eerder bewezen beweringen is bewezen.
Nieuw!!: Formeel bewijs en Stelling (wiskunde) · Bekijk meer »
Symbool
Symbolen op een grafsteen Symbolen op een speelkaart Een symbool of zinnebeeld is een teken waarbij geen natuurlijke relatie bestaat tussen de representatie van het teken en de betekenis die ermee wordt uitgedrukt.
Nieuw!!: Formeel bewijs en Symbool · Bekijk meer »
Taal
Spijkerschrift is de oudst overgeleverde vorm van geschreven taal. Taal is een systeem van tekens – zoals gesproken klanken, gebaren, of geschreven symbolen – waarvan de mens gebruikmaakt om zijn gedachten te articuleren, zijn wereld te ordenen en te communiceren.
Nieuw!!: Formeel bewijs en Taal · Bekijk meer »
Theoretische taalkunde
De theoretische taalkunde is het onderdeel van de algemene taalkunde dat zich voornamelijk bezighoudt met het ontwikkelen van grammaticamodellen.
Nieuw!!: Formeel bewijs en Theoretische taalkunde · Bekijk meer »
Wiskundig bewijs
zijde is. Het is een bewijs door constructie Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde stelling waar is.
Nieuw!!: Formeel bewijs en Wiskundig bewijs · Bekijk meer »
Wiskundige logica
De wiskundige logica is een deelgebied van de wiskunde.
Nieuw!!: Formeel bewijs en Wiskundige logica · Bekijk meer »
