Temat: "Logika matematyczna"

Skocz do pozycji 1.

Tytuł:: Notions and theorems of elementary formal logic
Autorzy:: Pogorzelski, Witold Adam (1927-2018)
Temat:: Logika matematyczna - encyklopedia
Rok wydania:: 1994
Wydawca:: Białystok : Warsaw University. Branch
Uwagi:: Oryg. : [Elementarny słownik logiki formalnej]
Bibliogr. s. 495-503. - Indeksy

Książka

na półce

Skocz do pozycji 2.

Tytuł:: Elementarny słownik logiki formalnej
Autorzy:: Pogorzelski, Witold Adam (1927-2018)
Temat:: Logika matematyczna - encyklopedia
Rok wydania:: 1992
Wydawca:: Białystok : Dział Wydawnictw Filii UW
Uwagi:: Bibliogr. s. 535-541. - Indeksy

Książka

na półce

Skocz do pozycji 3.

Tytuł:: Zbiory, formy zdaniowe, relacje
Autorzy:: Opial, Zdzisław (1930-1974)
Temat:: Logika matematyczna - podręcznik
Rok wydania:: 1976
Wydawca:: Warszawa : Wydawnictwa Szkolne i Pedagogiczne

Książka

na półce

Skocz do pozycji 4.

Tytuł:: Elementarne wprowadzenie w logikę formalną
Autorzy:: Porębska, Małgorzata
Suchoń, Wojciech
Temat:: Logika matematyczna - podręcznik akademicki
Rok wydania:: 1991
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe , (Łódź : ZGWN)

Książka

na półce

Skocz do pozycji 5.

Tytuł:: Logika matematyczna
Autorzy:: Słupecki, Jerzy (1904-1987)
Hałkowska, Katarzyna (1940- )
Piróg-Rzepecka, Krystyna ( -2022)
Temat:: Logika matematyczna - podręcznik akademicki
Rok wydania:: 1999
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Uwagi:: Bibliogr. s. 319-320

Książka

na półce

Skocz do pozycji 6.

Tytuł:: Klasyczny rachunek kwantyfikatorów : zarys teorii
Autorzy:: Pogorzelski, Witold Adam (1927-2018)
Temat:: Logika matematyczna - podręcznik akademicki
Rok wydania:: 1981
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr. s. 214-215.- Indeksy

Książka

na półce

Skocz do pozycji 7.

Tytuł:: Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki
Temat:: Logika matematyczna
Rok wydania:: 1987
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr. s. 436-459. - Indeksy

Książka

na półce

Skocz do pozycji 8.

Tytuł:: Logika matematyczna
Autorzy:: Słupecki, Jerzy (1904-1987)
Hałkowska, Katarzyna (1940- )
Piróg-Rzepecka, Krystyna ( -2022)
Temat:: Logika matematyczna
Rok wydania:: 1976
Wydawca:: Warszawa ; Wrocław : Państwowe Wydaw. Naukowe

Książka

na półce

Skocz do pozycji 9.

Tytuł:: Logika matematyczna
Autorzy:: Quine, W. V. (1908- )
Temat:: Logika matematyczna
Rok wydania:: 1974
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr

Książka

na półce

Skocz do pozycji 10.

Tytuł:: Za, a nawet przeciw
Autorzy:: Wiercioch, Krzysztof
Temat:: Logika matematyczna
Logika rozmyta
Zbiory rozmyte - stosowanie
Szukaj w:: Wiedza i Życie. - 2012, nr 4, s. 48-51

Praca, artykuł

na półce

Skocz do pozycji 11.

Tytuł:: Elementy logiki matematycznej i teorii mnogości
Autorzy:: Słupecki, Jerzy (1904-1987)
Borkowski, Ludwik (1914-1993)
Temat:: Logika matematyczna - podręcznik akademicki
Rachunek prawdopodobieństwa - podręcznik
Rok wydania:: 1966
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe

Książka

na półce

Skocz do pozycji 12.

Tytuł:: Elementy logiki matematycznej i teorii mnogości
Autorzy:: Słupecki, Jerzy (1904-1987)
Borkowski, Ludwik (1914-1993)
Temat:: Logika matematyczna - podręcznik akademicki
Rachunek prawdopodobieństwa - podręcznik
Rok wydania:: 1969
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe

Książka

na półce

Skocz do pozycji 13.

Tytuł:: Elementy logiki matematycznej i teorii mnogości
Autorzy:: Słupecki, Jerzy (1904-1987)
Borkowski, Ludwik (1914-1993)
Temat:: Logika matematyczna - podręcznik akademicki
Rachunek prawdopodobieństwa - podręcznik
Rok wydania:: 1963
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe

Książka

na półce

Skocz do pozycji 14.

Tytuł:: Algebry związane z teoriami zawierającymi definicje warunkowe
Autorzy:: Hałkowska, Katarzyna (1940- )
Temat:: Logika matematyczna
Rok wydania:: 1979
Wydawca:: Warszawa ; Wrocław : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr

Książka

na półce

Skocz do pozycji 15.

Tytuł:: Systemy nonsense-logics
Autorzy:: Piróg-Rzepecka, Krystyna ( -2022)
Temat:: Logika matematyczna
Rok wydania:: 1977
Wydawca:: Warszawa ; Wrocław : Państwowe Wydaw. Naukowe
Uwagi:: Instytucja sprawcza : Opolskie Towarzystwo Przyjaciół Nauk
Bibliogr
Streszcz. ang

Książka

na półce

Skocz do pozycji 16.

Tytuł:: Klasyczny rachunek zdań : zarys teorii
Autorzy:: Pogorzelski, Witold Adam (1927-2018)
Temat:: Logika matematyczna
Rok wydania:: 1973
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr
Spis treści ang

Książka

na półce

Skocz do pozycji 17.

Tytuł:: Klasyczny rachunek zdań : zarys teorii
Autorzy:: Pogorzelski, Witold Adam (1927-2018)
Temat:: Logika matematyczna
Rok wydania:: 1975
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr
Spis treści ang

Książka

na półce

Skocz do pozycji 18.

Tytuł:: Zarys logiki niefregowskiej
Autorzy:: Omyła, Mieczysław (1941- )
Temat:: Logika matematyczna
Semantyka logiczna
Rok wydania:: 1986
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr. s. 166-[170]

Książka

na półce

Skocz do pozycji 19.

Tytuł:: Elementy logiki matematycznej
Autorzy:: Rutkowski, Aleksander
Temat:: Logika matematyczna
Rok wydania:: 1978
Wydawca:: Warszawa : Wydawnictwa Szkolne i Pedagogiczne
Uwagi:: Bibliogr. Indeks

Książka

na półce

Skocz do pozycji 20.

Tytuł:: O logice matematycznej
Autorzy:: Lyndon, Roger C. (1917-1988)
Temat:: Logika matematyczna
Rok wydania:: 1968
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe

Książka

na półce

Skocz do pozycji 21.

Tytuł:: O logice matematycznej i metodzie dedukcyjnej
Autorzy:: Tarski, Alfred (1901-1983)
Temat:: Logika matematyczna
Rok wydania:: [1926]
Wydawca:: Lwów ; Warszawa : "Książnica Atlas"
Uwagi:: Kolekcja Starych Książek - KSK

Książka

na półce

Skocz do pozycji 22.

Tytuł:: Logika teorii empirycznych
Autorzy:: Przełęcki, Marian
Temat:: Logika matematyczna - zagadnienia
Nauki empiryczne
Metodologia
Rok wydania:: 1988
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Oryg. : "The logic of empirical theories" 1969
Bibliogr. s. 137-[139]

Książka

na półce

Skocz do pozycji 23.

Tytuł:: Zbiory, formy zdaniowe, relacje
Autorzy:: Opial, Zdzisław (1930-1974)
Temat:: Logika matematyczna
Rok wydania:: 1974
Wydawca:: Warszawa : Wydawnictwa Szkolne i Pedagogiczne

Książka

na półce

Skocz do pozycji 24.

Tytuł:: Elementy logiki i teorii mnogości w zadaniach
Autorzy:: Marek, Wiktor
Onyszkiewicz, Janusz
Temat:: Logika matematyczna - ćwiczenia i zadania
Teoria mnogości - ćwiczenia i zadania
Rok wydania:: 1998
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Uwagi:: Bibliogr. s. 264. - Indeks

Książka

na półce

Skocz do pozycji 25.

Tytuł:: Elementy logiki i teorii mnogości w zadaniach
Autorzy:: Marek, Wiktor
Onyszkiewicz, Janusz
Temat:: Logika matematyczna - ćwiczenia i zadania
Teoria mnogości - ćwiczenia i zadania
Rok wydania:: 2000
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Uwagi:: Bibliogr. s. 264. - Indeks

Książka

na półce

Skocz do pozycji 26.

Tytuł:: Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka
Autorzy:: Buszkowski, Wojciech
Temat:: Gramatyka
Językoznawstwo matematyczne
Logika matematyczna
Rok wydania:: 1989
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr. s. 263-268. - Indeks

Książka

na półce

Skocz do pozycji 27.

Tytuł:: Wstęp do matematyki współczesnej
Autorzy:: Rasiowa, Helena (1917-1994)
Temat:: Algebra - podręcznik akademicki
Logika matematyczna - podręcznik akademicki
Matematyka - podręcznik akademicki
Teoria mnogości - podręcznik akademicki
Rok wydania:: 1998
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN

Książka

na półce

Skocz do pozycji 28.

Tytuł:: Zarys logiki matematycznej
Autorzy:: Grzegorczyk, Andrzej (1922-2014)
Temat:: Logika matematyczna
Rok wydania:: 1969
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr

Książka

na półce

Skocz do pozycji 29.

Tytuł:: Klasyczny rachunek zdań : zarys teorii
Autorzy:: Pogorzelski, Witold Adam (1927-2018)
Temat:: Logika matematyczna
Rok wydania:: 1969
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr

Książka

na półce

Skocz do pozycji 30.

Tytuł:: O dowodzie matematycznym
Autorzy:: Pogorzelski, Witold Adam (1927-2018)
Słupecki, Jerzy (1904-1987)
Temat:: Dowód - matematyka
Logika matematyczna
Matematyka
Nauczanie
Rok wydania:: 1970
Wydawca:: Warszawa : Państwowy Zakład Wydawnictw Szkolnych

Książka

na półce

Skocz do pozycji 31.

Tytuł:: O dowodzie matematycznym
Autorzy:: Pogorzelski, Witold Adam (1927-2018)
Słupecki, Jerzy (1904-1987)
Temat:: Dowód - matematyka
Logika matematyczna
Matematyka
Nauczanie
Rok wydania:: 1962
Wydawca:: Warszawa : Państwowy Zakład Wydawnictw Szkolnych

Książka

na półce

Skocz do pozycji 32.

Tytuł:: Analiza konstrukcji tekstu dowodu jako środka przekazu w matematyce
Autorzy:: Konior, Jan
Temat:: Dowód - matematyka
Logika matematyczna
Matematyka
Nauczanie
Rok wydania:: 1983
Wydawca:: Katowice : Uniwersytet Śląski
Uwagi:: Bibliogr. s. 106-111

Książka

na półce

Skocz do pozycji 33.

Tytuł:: Matematyka współczesna w nauczaniu dzieci
Autorzy:: Semadeni, Zbigniew (1934- )
Temat:: Logika matematyczna - nauczanie - Polska - 1956-1989 r.
Matematyka - nauczanie - Polska - 1956-1989 r.
Szkolnictwo podstawowe - reforma - Polska - 1956-1989 r.
Rok wydania:: 1973
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr

Książka

na półce

Skocz do pozycji 34.

Tytuł:: Matematyka współczesna w nauczaniu dzieci
Autorzy:: Semadeni, Zbigniew (1934- )
Temat:: Logika matematyczna - nauczanie - Polska - 1956-1989 r.
Matematyka - nauczanie - Polska - 1956-1989 r.
Szkolnictwo podstawowe - reforma - Polska - 1956-1989 r.
Rok wydania:: 1975
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr

Książka

na półce

Skocz do pozycji 35.

Tytuł:: Wstęp do matematyki współczesnej
Autorzy:: Rasiowa, Helena (1917-1994)
Temat:: Logika matematyczna
Matematyka
Rok wydania:: 1973
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe

Książka

na półce

Skocz do pozycji 36.

Tytuł:: Ontologia sytuacji : podstawy i zastosowania
Autorzy:: Wolniewicz, Bogusław (1927-2017)
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Logika matematyczna
Ontologia
Rok wydania:: 1985
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe

Książka

na półce

Skocz do pozycji 37.

Tytuł:: Logika matematyczna w nauczaniu początkowym
Autorzy:: Karczmarczyk, Janina
Temat:: Nauczanie początkowe
Logika matematyczna
Nauczanie
Rok wydania:: 1983
Wydawca:: Warszawa : Wydawnictwa Szkolne i Pedagogiczne
Uwagi:: Bibliogr. s. 109

Książka

na półce

Skocz do pozycji 38.

Tytuł:: On Leibniz's philoshophical legacy : in the 350th anniversary of his birth
Temat:: Leibniz, Gottfried Wilhelm (1646-1716) - księga pamiątkowa
Filozofia - historia - Niemcy - 17-18 w.
Filozofia języka
Logika matematyczna
Rok wydania:: 1997
Wydawca:: Białystok : The Chair of Logic, Informatics and Philosophy of Science University of Białystok
Uwagi:: Bibliogr. przy ref

Książka

na półce

Skocz do pozycji 39.

Tytuł:: O teorii relacji
Autorzy:: Moszner, Zenon (1930-2021)
Temat:: Logika matematyczna
Teoria mnogości
Rok wydania:: 1974
Wydawca:: Warszawa : Wydawnictwa Szkolne i Pedagogiczne
Uwagi:: Bibliogr

Książka

na półce

Skocz do pozycji 40.

Tytuł:: Mój rozwój filozoficzny
Autorzy:: Russell, Bertrand (1872-1970)
Temat:: Russell, Bertrand (1872-1970)
Logika matematyczna
Filozofia
Rok wydania:: 1971
Wydawca:: [Warszawa] : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr

Książka

na półce

Skocz do pozycji 41.

Tytuł:: O teorii relacji
Autorzy:: Moszner, Zenon (1930-2021)
Temat:: Logika matematyczna
Teoria mnogości
Rok wydania:: dr. 1967
Wydawca:: Warszawa : Państwowe Zakłady Wydawnictw Szkolnych
Uwagi:: Indeks
Bibliogr. s. 201

Książka

na półce

Skocz do pozycji 42.

Tytuł:: Teorie badań : ujęcia modelowe
Autorzy:: Nowakowska, Maria ( -1989)
Temat:: Metodologia
Prakseologia - stosowanie
Semantyka
Logika matematyczna
Matematyka
Nauka
Nauka i badania
Rok wydania:: 1977
Wydawca:: Warszawa : Państ. Wydaw. Naukowe
Uwagi:: Bibliogr. Indeksy

Książka

na półce

Skocz do pozycji 43.

Tytuł:: Wstęp do logiki matematycznej i teorii mnogości
Autorzy:: Rasiowa, Helena (1917-1994)
Temat:: Logika matematyczna
Teoria mnogości
Rok wydania:: 1966
Wydawca:: Wrocław : Zakład Narodowy im. Ossolińskich, Wydawnictwo PAN
Uwagi:: Bibliogr

Książka

na półce

Skocz do pozycji 44.

Tytuł:: Elementy logiki i teorii mnogości w zadaniach
Autorzy:: Marek, Wiktor
Onyszkiewicz, Janusz (1937- )
Temat:: Logika matematyczna
Teoria mnogości
Rok wydania:: 1972
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr

Książka

na półce

Skocz do pozycji 45.

Tytuł:: Elementy logiki i teorii mnogości : [podręcznik [...] dla I roku studiów nauczycielskich na kierunku matematycznym]
Autorzy:: Wojciechowska, Agnieszka (1945-2021)
Temat:: Logika matematyczna
Edukacja i pedagogika
Rok wydania:: 1979
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Uwagi:: Indeksy

Książka

na półce

Skocz do pozycji 46.

Tytuł:: Przeszłość, teraźniejszość, przyszłość : studium filozoficzne
Autorzy:: Augustynek, Zdzisław (1925-2001)
Temat:: Logika matematyczna
Filozofia czasu i przestrzeni
Rok wydania:: 1979
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Bibliogr. s. 187
Streszcz. ros., ang

Książka

na półce

Skocz do pozycji 47.

Tytuł:: Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej
Autorzy:: Łukasiewicz, Jan
Temat:: Arystoteles (384-322 p.n.e.)
Logika matematyczna - zagadnienia
Sylogistyka - historia - 4 w.p.n.e
Rok wydania:: 1988
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Uwagi:: Oryg. : "Aristotle's syllogistic from the standpoint of modern formal logic" 1957
Indeksy

Książka

na półce

Skocz do pozycji 48.

Tytuł:: Zarys logiki matematycznej
Autorzy:: Grzegorczyk, Andrzej (1922-2014)
Temat:: Logika matematyczna
Edukacja i pedagogika
Rok wydania:: 1984
Wydawca:: Warszawa : Państ. Wydaw. Naukowe
Uwagi:: Bibliogr. s. 499-502

Książka

na półce

Skocz do pozycji 49.

Tytuł:: Równość, podobieństwo, porządek
Autorzy:: Šrejder, Ûlij Anatol'evič (1927-1998)
Temat:: Grafy
Językoznawstwo matematyczne
Logika matematyczna
Rok wydania:: 1975
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Uwagi:: Bibliogr. Indeks

Książka

na półce

Skocz do pozycji 50.

Tytuł:: Funkcje Boole'a i automaty
Autorzy:: Skarbek, Władysław (informatyka)
Temat:: Automatyzacja
Logika matematyczna
Zastosowanie i wykorzystanie
Automatyka
Matematyka
Inżynieria i technika
Rok wydania:: 1975
Wydawca:: Warszawa : Instytut Kształcenia Nauczycieli

Książka

na półce

Informacja

Wyszukujesz frazę ""Logika matematyczna"" wg kryterium: Temat

Agenda

Typ dokumentu

Rok publikacji

Autor

Temat

Język

Położenie