Archív

logika

Oblasť: informatika Význam: Oblasť matematiky, ktorá skúma a spresňuje základné matematické problémy, napríklad bezrozpornosť matematických teórií, a matematické pojmy, napríklad „dôkaz“, „definícia“. Zdroj: Claus, Volker – Schwill Andreas. Lexikón informatiky. Bratislava: Slovenské pedagogické nakladateľstvo, 1991. ISBN 80-08-00755-9.