Er zijn 3 definities.

Wiskundige logica.

Er zijn 2 definities.

Er zijn 2 definities.

Er zijn 2 definities.

Eerste elektronische computer met radiobuizen die in 1946 in Philadelphia in werking werd gesteld.

Predikatenlogica, gebruikt in het relationele model.

Propositielogica, zie calculus, proposition.

Formele taal voor het opvragen van gegevens uit een relationele database met een query, gebaseerd op de predicaatlogica en de verzamelingenleer.

De moeder (1981) van alle elektronische rekenbladen (spreadsheet).