No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
Rachunek refutacyjny a rachunek dualnyRachunek refutacyjny a rachunek dualny
Find similar objects | Add to bibliography
Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdańAksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań
Metoda założeniowa odrzucania wyrażeń dla intuicjonistycznego rachunku zdań i systemu S4 LewisaMetoda założeniowa odrzucania wyrażeń dla intuicjonistycznego rachunku zdań i systemu S4 Lewisa
WstępWstęp
A method of axiomatic rejection of formulas in propositional logicsA method of axiomatic rejection of formulas in propositional logics
Zastosowanie metody kolejnych różnic do stawiania hipotez indukcyjnychZastosowanie metody kolejnych różnic do stawiania hipotez indukcyjnych
Pewien sposób badania rozwiązalności równań z parametremPewien sposób badania rozwiązalności równań z parametrem
O dwóch metodach geometrycznych rozwiązywania zadań tekstowychO dwóch metodach geometrycznych rozwiązywania zadań tekstowych
Liczba relacji binarnych niektórych typów w zbiorze skończonymLiczba relacji binarnych niektórych typów w zbiorze skończonym
Wykorzystanie idei odrzucania zdań w procesie dydaktycznymWykorzystanie idei odrzucania zdań w procesie dydaktycznym
Operacja konsekwencji w trójsekwencyjnym rachunku predykatów ŁukasiewiczaOperacja konsekwencji w trójsekwencyjnym rachunku predykatów Łukasiewicza
Klasa funkcji o ograniczonej drugiej wariacjiKlasa funkcji o ograniczonej drugiej wariacji
The geometry of squaresThe geometry of squares
O grach dydaktycznych dotyczących przekształcania wyrażeń algebraicznychO grach dydaktycznych dotyczących przekształcania wyrażeń algebraicznych
Założeniowe odrzucanie wyrażeń w skończenie - wartościowej logice zdaniowejZałożeniowe odrzucanie wyrażeń w skończenie - wartościowej logice zdaniowej