Wszystkie pola: "Logika matematyczna."

Skocz do pozycji: 1.

Tytuł:: Kłamię
Autorzy:: Gawron, Piotr
Data publikacji:: 2023
Słowa kluczowe:: paradoks
logika matematyczna
paradox
mathematical logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Logika matematyczna w informatyce - recenzja
Autorzy:: Krysiewicz, Jakub
Data publikacji:: 2007
Tematy:: Ben-Ari, M. (1948- ). Logika matematyczna w informatyce; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Logika matematyczna
Autorzy:: Adamowicz, Zofia (1950- )
Współwytwórcy:: Zbierski, Paweł (1944- )
Data publikacji:: 1991
Wydawca:: Warszawa : Państ. Wydaw. Naukowe (Wroc. : WDN)
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: W-irreducible Lattices
Autorzy:: Grygiel, J.
Data publikacji:: 2005
Słowa kluczowe:: lattice
mathematical logic
siatka
logika matematyczna; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: „Logika dialektyczna a logika matematyczna”
Autorzy:: Bornstein, Benedykt (1880-1948)
Data publikacji:: [1948]
Dostawca treści:: Academica

Rękopis

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: „Logika dialektyczna a logika matematyczna”
Autorzy:: Bornstein, Benedykt (1880-1948)
Data publikacji:: [1948]
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Rękopis

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: „Logika dialektyczna a logika matematyczna”
Autorzy:: Bornstein, Benedykt (1880-1948)
Data publikacji:: 1946
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Rękopis

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: „Logika dialektyczna a logika matematyczna”
Autorzy:: Bornstein, Benedykt (1880-1948)
Data publikacji:: 1946
Dostawca treści:: Academica

Rękopis

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Kurt Gödel (1906-1978)
Autorzy:: Murawski, R.
Data publikacji:: 2006
Słowa kluczowe:: Gödel Kurt
logika matematyczna
biografia
biografia naukowa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Pełny trójwartościowy rachunek zdań
Autorzy:: Słupecki, Jerzy (1904-1987)
Data publikacji:: 1946
Wydawca:: nakł. Uniwersytetu Marii Curie-Skłodowskiej
Tematy:: logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Wstęp do matematyki współczesnej
Autorzy:: Rasiowa, Helena (1917-1994)
Data publikacji:: 1968
Wydawca:: Państwowe Wydawnictwo Naukowe
Słowa kluczowe:: logika
matematyka
podręczniki akademickie
logika matematyczna; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Andrzej Grzegorczyk - logika i religia, samotność i solidarność
Autorzy:: Krajewski, S.
Data publikacji:: 2008
Słowa kluczowe:: Grzegorczyk Andrzej
biografia naukowa
logika matematyczna; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Logika matematyczna w nauczaniu początkowym
Autorzy:: Karczmarczyk, Janina
Współwytwórcy:: Wydawnictwa Szkolne i Pedagogiczne
Data publikacji:: 1983
Wydawca:: Warszawa : Wydawnictwa Szkolne i Pedagogiczne (Łódź : PrasZG)
Tematy:: Logika matematyczna - nauczanie
Nauczanie początkowe; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Z badań nad prototetyką
Autorzy:: Sobociński, Bolesław (1906-1980)
Data publikacji:: 1939
Wydawca:: Warszawa : Warsz. Tow. Filozoficzne (Warszawa : P. Pyz)
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Logika matematyczna. Cz. 2, Logika nowoczesna : zarys dziejów
Autorzy:: Kaczorowski, Stanisław (1888-19..)
Data publikacji:: 1938
Wydawca:: Lwów : "Lwowska Biblioteczka Pedagogiczna"
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Logical works
Autorzy:: Wajsberg, Mordechaj (1902- )
Współwytwórcy:: Surma, Stanisław Józef Red.
Data publikacji:: 1977
Wydawca:: Wrocław ; Kraków : Zakład Narodowy im. Ossolińskich
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Logika matematyczna
Autorzy:: Quine, W. V. (1908-2000)
Współwytwórcy:: Koj, Leon (1929-2006). Tł.
Data publikacji:: 1974 :
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe : (Druk. im. Rewol. Paźdz.)
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Logika matematyczna. Cz. 1, Algebra logiki : (zarys dziejów)
Autorzy:: Kaczorowski, Stanisław (1888-19..)
Data publikacji:: 1946
Wydawca:: Łódź : Księgarnia Naukowa (Łódź : Druk. "Książka")
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Logika matematyczna. Cz. 1, Algebra logiki : zarys dziejów
Autorzy:: Kaczorowski, Stanisław (1888-19..)
Data publikacji:: 1938
Wydawca:: Lwów : "Lwowska Biblioteczka Pedagogiczna"
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Reports on Mathematical Logic., Nr. 56 (2021)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawca:: Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Category approach to R L4 - sets
Autorzy:: Biegańska, T.
Data publikacji:: 1998
Słowa kluczowe:: algebra
logika matematyczna
zbiory przybliżone
mathematical logic
rough sets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Z historii logiki zdań modalnych
Autorzy:: Bocheński, Józef Maria (1902-1995) Autor
Data publikacji:: 1938
Wydawca:: Lwów : O.O. Dominikanie (Lwów : Druk. Dominikańska)
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Logika matematyczna w informatyce
Autorzy:: Ben-Ari, M. (1948- )
Współwytwórcy:: Wydawnictwa Naukowo-Techniczne
Miłkowska, Mirosława. Tł.
Data publikacji:: 2006
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Elementy logiki matematycznej
Autorzy:: Łukasiewicz, Jan (1878-1956)
Współwytwórcy:: Presburger, Mojżesz (1904-1943?). Oprac
Data publikacji:: cop. 2008
Wydawca:: Poznań : Wydawnictwo Naukowe im. Adama Mickiewicza, cop. 2008
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Formale Logik
Autorzy:: Bocheński, Józef Maria (1902-1995)
Data publikacji:: cop. 1956
Wydawca:: Freiburg : K. Alber, cop. 1956
Tematy:: Logika formalna
Logika matematyczna - historia; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Dedukcja naturalna w logice stoickiej
Autorzy:: Kostrzycka, Z.
Data publikacji:: 1999
Słowa kluczowe:: logika matematyczna
logika stoicka
dowód stoicki
rachunek stoicki
rachunek zdań
dedukcja; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Ancient formal logic
Autorzy:: Bocheński, Józef Maria (1902-1995)
Data publikacji:: 1968
Wydawca:: Amsterdam : North-Holland Publ. Co.
Tematy:: Logika formalna
Logika matematyczna - historia; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Some Propositional Calculus Oppositional with Respect to the Intuitionistic Propositional Calculus
Autorzy:: Bryll, G.
Kaptur, M.
Data publikacji:: 2005
Słowa kluczowe:: propositional calculus
mathematical logic
rachunek zdań
logika matematyczna; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Logika matematyczna
Autorzy:: Słupecki, Jerzy (1904-1987)
Współwytwórcy:: Hałkowska, Katarzyna
Piróg-Rzepecka, Krystyna (1929- )
Wydawnictwo Naukowe PWN
Data publikacji:: 1999
Wydawca:: Warszawa : Wydaw. Naukowe PWN
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań
Autorzy:: Górnicka, A.
Data publikacji:: 1999
Słowa kluczowe:: aksjomatyzacja
rachunek zadań
logika matematyczna
axiomatization
jobs bill
mathematical logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: "Skolemizacja" języka a pluralizm interpretacji
Autorzy:: Jobczyk, Krystian Adam
Data publikacji:: 2011
Tematy:: Język - filozofia - historia
Logika matematyczna - historia; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Matematičeskìe sofizmy
Autorzy:: Obreimov, Vasilij Ivanovič (1843-1910)
Współwytwórcy:: Pavlenkov, Florentij Fedorovič (1839-1900) Oprac
Data publikacji:: 1898
Wydawca:: S. Peterburg : [s.n.] (S. Peterburg : Û. Erlich)
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Zasady algebry logiki
Autorzy:: Stamm, Edward (1886-1940) Autor
Współwytwórcy:: Dickstein, Samuel (1851-1939) Przedmowa
Data publikacji:: 1913
Wydawca:: Warszawa : "Wiadomości Matematyczne"
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Mordechai Ben-Ari, Logika matematyczna w informatyce
Mordechai Ben-Ari, Logika matematyczna w informatyce [orig. Mathematical Logic for Computer Science], transl. from Eng. by M. Miłkowska, Warszawa: Wydawnictwa Naukowo-Techniczne 2005, pp. 343. Series: Klasyka Informatyki. ISBN 83-204-2972-2
Autorzy:: Krysiewicz, Jakub
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Reports on Mathematical Logic, Nr.52 (2017)
Współwytwórcy:: Uniwersytet Śląski
Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: W sprawie dobrze skonstruowanej aksjomatyki
Autorzy:: Sobociński, Bolesław
Współwytwórcy:: Stuchliński, Józef Andrzej (1942- ). Tł.
Data publikacji:: 2004
Tematy:: Logika matematyczna
Dedukcja; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Reports on Mathematical Logic, Nr.55 (2020)
Współwytwórcy:: Uniwersytet Śląski
Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Reports on Mathematical Logic, Nr.53 (2018)
Współwytwórcy:: Uniwersytet Śląski
Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Reports on Mathematical Logic, Nr.54 (2019)
Współwytwórcy:: Uniwersytet Śląski
Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Pojęcie prawdy w językach nauk dedukcyjnych
Autorzy:: Tarski, Alfred (1901-1983)
Współwytwórcy:: Towarzystwo Naukowe Warszawskie
Data publikacji:: 1933
Wydawca:: Warszawa : Tow. Naukowe Warszawskie (Warszawa : J. Dziewulski)
Tematy:: Logika matematyczna
Prawda; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: A precis of mathematical logic
Autorzy:: Bocheński, Józef Maria (1902-1995)
Współwytwórcy:: Bird, Otto A. (1914- ) Tł.
Data publikacji:: cop. 1959
Wydawca:: Dordrecht : D. Reidel, cop. 1959
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Extensions of the Grzegorczyk Logic Determined by Some Countable Boolean Algebras
Autorzy:: Dzik, W.
Data publikacji:: 1999
Słowa kluczowe:: logika matematyczna
algebra Boole'a
logika modalna
mathematical logic
Boolean algebra
modal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: A proof-theoretic semantics for contextual domain restriction
Autorzy:: Francez, Nissim (1944- )
Data publikacji:: 2014
Tematy:: Język angielski
Semantyka lingwistyczna
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: A Survay of Foundational Gentzen's Systems for Finitely-Valued Logics
Autorzy:: Borowik, P.
Data publikacji:: 1998
Słowa kluczowe:: logika matematyczna
dowodzenie twierdzeń
ciąg matematyczny
sekwent
sekwenty Gentzena
mathematical logic
Gentzen sequents
Gentzen logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Rachunek refutacyjny a rachunek dualny
Autorzy:: Bryll, G.
Górnicka, A.
Data publikacji:: 1999
Słowa kluczowe:: rachunek refutacyjny
rachunek dualny
logika matematyczna
rachunek zdań
propositional calculus
dual account
mathematical logic
jobs bill; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Modelowanie rozmyte wielokryterialnej oceny harmonogramu realizacji projektu
Autorzy:: Łapuńka, I.
Data publikacji:: 2011
Słowa kluczowe:: logistyka
wielokryterialna ocena wariantów
logika rozmyta
logika matematyczna
model matematyczny oceny wielokryterialnej
logistics
fuzzy logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: A certain approach to Kripke semantics for normal modal logics
Autorzy:: Bryll, G.
Sochacki, R.
Data publikacji:: 2009
Słowa kluczowe:: logika modalna
semantyka Kripke
logika czasowa
logika matematyczna
modal logic
Kripke’s semantics
mathematical logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Wykorzystanie idei odrzucania zdań w procesie dydaktycznym
Autorzy:: Bryll, G.
Wlazłowska-Zając, U.
Data publikacji:: 1999
Słowa kluczowe:: metoda odrzucania zdań
logika matematyczna
funkcja Łukasiewicza
method of rejecting sentences
mathematical logic
function of Łukasiewicz; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Introduction to logic and to the methodology of the deductive sciences
Autorzy:: Tarski, Alfred (1901-1983)
Współwytwórcy:: Tarski, Jan Red.
Data publikacji:: 1994
Wydawca:: New York ; Oxford : Oxford Univ. Press
Tematy:: Dedukcja
Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Metoda założeniowa odrzucania wyrażeń dla intuicjonistycznego rachunku zdań i systemu S4 Lewisa
Autorzy:: Kostrzycka, Z.
Bryll, G.
Data publikacji:: 1999
Słowa kluczowe:: metoda założenia odrzucania wrażeń
dedukcja naturalna
rachunek zadań
logika matematyczna
natural deduction
jobs bill
mathematical logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Logika matematyczna."" wg kryterium: Wszystkie pola