Hľadať zamestnanie pre fulltextom
Matematická logika (alebo z pohľadu filozofie moderná logika alebo symbolická logika alebo logistika) je matematická disciplína zaoberajúca sa štúdiom formálnych systémov vo vzťahu ku konceptom dôkazu a výpočtu ako časť základov matematiky.
čítajte viac o Matematická logika
Encyklopédia: ROBOTA.SK > Logika > Matematická logika >
Príbuzné výrazy:
Matematická logika
Axióma
Boolova algebra
Hoareova logika
Karnaughova mapa
Konzervatívne rozšírenie
Kripkeho štruktúra
Lambda kalkul
Logika vzťahov
Matematická indukcia
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.