Logika dla informatyków — algebra zbiorów
Wprowadzenie do algebry zbiorów i jej zastosowań w informatyce, jako kontynuacja serii o logice dla programistów.
Wprowadzenie do algebry zbiorów i jej zastosowań w informatyce, jako kontynuacja serii o logice dla programistów.
Wprowadzenie do rachunku kwantyfikatorów w logice matematycznej i ich zastosowaniach w informatyce.
Wyjaśnienie systemu binarnego (zero-jedynkowego) i jego zastosowania w komputerach do reprezentacji danych.