Szukaj
Wyświetlanie pozycji 1-4 z 4
Na jakich podstawach opiera się mechanika klasyczna: odpowiedź historyka nauki
(Wydawnictwo Uniwersytetu Łódzkiego, 1995)
The author tries to give an answer to the question posed in the title of the paper by referring to those analyses and arguments which have been found important by the history of science (laws of Stevin, d'Alembert, Lagrange, ...
Perspectives ontiques et temporelles pour la logique deontique (axiomatique, semantique et completude)
(Wydawnictwo Uniwersytetu Łódzkiego, 1990)
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ż ...
Logique déontique et temporelle
(Wydawnictwo Uniwersytetu Łódzkiego, 1985)
Celem pracy jest analiza związków zachodzących między logikami
deontycznymi i logikami czasowymi. Punktem wyjścia są znane relacje pojęć modalnych, deontycznych i czasowych.
Część I ma charakter wstępny. W części II autor ...