Szukaj
Wyświetlanie pozycji 1-1 z 1
A la recherche d'un (impossible) démonstrateur intelligent
(Wydawnictwo Uniwersytetu Łódzkiego, 1993)
W ostatnich latach wraz z rozwojem nauk komputerowych, pojawiło się wiele programów
mających wspomagać nauczanie logiki. Większość z tych programowań sluży do sprawdzania rachunków, a nic do dowodzenia twierdzeń, ponieważ ...