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

Hoarelogica

Index Hoarelogica

Hoarelogica is een formele logica die in de informatica wordt gebruikt om over programma's te redeneren.

7 relaties: Association for Computing Machinery, Computerprogramma, Edsger Dijkstra, Informatica, Predicatenlogica, Tony Hoare, 1969.

Association for Computing Machinery

De Association for Computing Machinery (ACM) is een in de Verenigde Staten gevestigd wetenschappelijk genootschap op het gebied van computers en informatica.

Nieuw!!: Hoarelogica en Association for Computing Machinery · Bekijk meer »

Computerprogramma

Een computerprogramma is een opeenvolging van instructies met als doel om een specifieke taak met een computer uit te voeren.

Nieuw!!: Hoarelogica en Computerprogramma · Bekijk meer »

Edsger Dijkstra

Edsger Wybe Dijkstra (Rotterdam, 11 mei 1930 – Nuenen, 6 augustus 2002) was een Nederlandse wiskundige en informaticus.

Nieuw!!: Hoarelogica en Edsger Dijkstra · 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!!: Hoarelogica en Informatica · Bekijk meer »

Predicatenlogica

Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.

Nieuw!!: Hoarelogica en Predicatenlogica · Bekijk meer »

Tony Hoare

C.A.R. Hoare Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari 1934) is een Brits informaticus wiens naam altijd verbonden zal blijven aan het door hem uitgevonden sorteeralgoritme quicksort.

Nieuw!!: Hoarelogica en Tony Hoare · Bekijk meer »

1969

Bioscoopjournaal uit 1969. Statenverkiezingen op de Nederlandse Antillen, nadat na de onlusten op Curaçao op 30 mei vervroegde verkiezingen zijn uitgeschreven. Peter Post en organisator Kurt Vyth. snuffelpalen staan in de wijken opgesteld, meten de concentraties en geven de resultaten door aan een computer bij een centraal bureau. Een vrouw geeft per telefoon een melding over stankoverlast door aan de centrale, waarna een ambtenaar op onderzoek gaat en de fabriek op de hoogte stelt van de stank. Enkele bewoners geven hun reactie op de stankoverlast. wandeling door het bos. Het jaar 1969 is een jaartal volgens de christelijke jaartelling.

Nieuw!!: Hoarelogica en 1969 · Bekijk meer »

Richt hier:

Hoare logica, Hoare triple.

UitgaandeInkomende
Hey! We zijn op Facebook nu! »