Publication description
Matematyka, Cz. 7
- Publication structure:
-
-
Czasopisma Naukowe
-
Matematyka
-
Cz. 7
-
Wstęp
-
A method of axiomatic rejection of formulas in propositional logics
-
Dwie formalizacje rachunku dualnego względem systemu W
-
Rachunek refutacyjny a rachunek dualny
-
Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań
-
Klasa funkcji o ograniczonej drugiej wariacji
-
Metoda założeniowa odrzucania wyrażeń dla intuicjonistycznego rachunku zdań i systemu S4 Lewisa
-
The geometry of squares
-
Zastosowanie metody kolejnych różnic do stawiania hipotez indukcyjnych
-
Pewien sposób badania rozwiązalności równań z parametrem
-
Liczba relacji binarnych niektórych typów w zbiorze skończonym
-
Wykorzystanie idei odrzucania zdań w procesie dydaktycznym
-
O dwóch metodach geometrycznych rozwiązywania zadań tekstowych
-
O grach dydaktycznych dotyczących przekształcania wyrażeń algebraicznych
-
-
-
-