Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

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


Wyświetlanie 1-59 z 59
propozycja biblioteki
Tytuł:
Przeszłość, teraźniejszość, przyszłość : studium filozoficzne
Autorzy:
Augustynek, Zdzisłąw
Temat:
Czas - filozofia
Egzystencjalizm
Filozofia - wybór studiów
Przyroda - filozofia
Logika matematyczna
Rok wydania:
1979
Wydawca:
Warszawa : Państ. Wydaw. Naukowe
Tytuł pełny:
Przeszłość, teraźniejszość, przyszłość : studium filozoficzne / Zdzisłąw Augustynek
Książka
propozycja biblioteki
Tytuł:
Logika i teoria mnogości : podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów
Autorzy:
Słupecki, Jerzy
Hałkowska, Katarzyna
Piróg-Rzepecka, Krystyna
Temat:
Logika matematyczna - podręcznik akademicki
Teoria mnogości
Rok wydania:
1994
Wydanie:
Wyd. 2 popr
Wydawca:
Warszawa : Wydaw. Naukowe PWN
Tytuł pełny:
Logika i teoria mnogości : podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Książka
propozycja biblioteki
Tytuł:
Wstęp do logiki matematycznej. Cz. 1, Elementy algebry logiki zdań
Autorzy:
Pogorzelski, Witold A. (1895-1963)
Prucnal, Tadeusz
Seria:
Uniwersytet Śląski ; 97
Temat:
Logika matematyczna
Rok wydania:
1974
Wydawca:
Katowice : Uniwersytet Śląski
Tytuł pełny:
Wstęp do logiki matematycznej. Cz. 1, Elementy algebry logiki zdań / Witold A. Pogorzelski, Tadeusz Prucnal
Książka
propozycja biblioteki
Tytuł:
Logika i teoria mnogości : podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów
Autorzy:
Słupecki, Jerzy
Hałkowska, Katarzyna
Piróg-Rzepecka, Krystyna
Temat:
Logika matematyczna - podręcznik akademicki
Teoria mnogości
Rok wydania:
1978
Wydawca:
Warszawa : Państ. Wydaw. Naukowe
Tytuł pełny:
Logika i teoria mnogości : podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Książka
propozycja biblioteki
Tytuł:
Wstęp do filozofii
Autorzy:
Stępień, Antoni B
Seria:
Prace Wydziału Historyczno-Filologicznego / Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego ; 65
Temat:
Filozofia - podręcznik
Logika matematyczna - podręcznik
Rok wydania:
1995
Wydanie:
Wyd. 3 rozsz
Wydawca:
Lublin : Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego
Tytuł pełny:
Wstęp do filozofii / Antoni B. Stępień
Książka
propozycja biblioteki
Tytuł:
Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki
Temat:
Logika matematyczna - stosowanie
Rok wydania:
1987
Wydawca:
Warszawa : Państ. Wydaw. Naukowe
Tytuł pełny:
Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod red. Witolda Marciszewskiego
Książka
propozycja biblioteki
Tytuł:
Wstęp do filozofii
Autorzy:
Stępień, Antoni B
Seria:
Prace Wydziału Historyczno-Filologicznego / Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego ; 103
Temat:
Filozofia - podręcznik
Logika matematyczna - podręcznik
Logika
Przyroda - filozofia
Rok wydania:
2007
Wydanie:
Wyd. 5 rozsz
Wydawca:
Lublin : Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II
Tytuł pełny:
Wstęp do filozofii / Antoni B. Stępień
Książka
propozycja biblioteki
Tytuł:
Od teorii mnogości do algebry logiki : zastosowanie algebry logiki w technice cyfrowej
Autorzy:
Siegfried, H.J
Temat:
Algebra - stosowanie - technika
Logika matematyczna - zagadnienia
Teoria mnogości
Rok wydania:
1977
Wydawca:
Warszawa : Wydawnictwa Komunikacji i Łączności
Tytuł pełny:
Od teorii mnogości do algebry logiki : zastosowanie algebry logiki w technice cyfrowej / H.J. Siegfried ; z niem. Marian P. Kaźmierkowski i Andrzej Wójciak
Książka
propozycja biblioteki
Tytuł:
Mój rozwój filozoficzny
Autorzy:
Russell, Bertrand (1872-1970)
Seria:
Biblioteka Klasyków Filozofii
Temat:
Russell, Bertrand (1872-1970)
Filozofia - 20 w.
Logika matematyczna - filozofia
Rok wydania:
1971
Wydawca:
Warszawa : Państ. Wydaw. Naukowe
Tytuł pełny:
Mój rozwój filozoficzny / Bertrand Russell ; przekł. Halina Krahelska, Czesław Znamierowski ; przedm. opatrzył Leon Koj
Książka
propozycja biblioteki
Tytuł:
Paradoksy nieskończoności
Autorzy:
Bolzano, Bernard
Seria:
Biblioteka Klasyków Filozofii
Temat:
Bolzano, Bernard (1781-1848)
Filozofia - historia - 19 w.
Logika matematyczna - historia - 19 w.
Systemy filozoficzne - historia - 19 w.
Rok wydania:
1966
Wydawca:
Warszawa : Państ. Wydaw. Naukowe
Tytuł pełny:
Paradoksy nieskończoności / Bernard Bolzano ; przekł. Łucji Pakalskiej ; pod red. Tadeusza Czeżowskiego ; przejrzał i wstępem poprzedził Tadeusz Kotarbiński
Książka
propozycja biblioteki
Tytuł:
Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów
Autorzy:
Ławrow, Igor A
Maksimowa, Łarisa L
Temat:
Teoria mnogości - ćwiczenia i zadania dla szkół wyższych
Logika matematyczna - ćwiczenia i zadania dla szkół wyższych
Algorytmy - ćwiczenia i zadania dla szkół wyższych
Rok wydania:
2004
Wydawca:
Warszawa : Wydaw. Naukowe PWN
Tytuł pełny:
Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów / Igor A. Ławrow, Łarisa L. Maksimowa ; z jęz. ros. przeł. Jerzy Pogonowski
Książka
propozycja biblioteki
Tytuł:
Logika wielowartościowwych procesów decyzyjnych : zastosowanie w komputerowym wspomaganiu projektowania i zarządzania
Autorzy:
Partyka, Marian A
Temat:
Algorytmy - stosowanie - podręcznik akademicki
Logika matematyczna - stosowanie - podręcznik akademicki
Komputery - stosowanie
Algebry Boole'a
Maszyny - projekty - komputeryzacja - podręcznik akademicki
Projektowanie - oprogramowanie - podręcznik akademicki
Rok wydania:
2002
Wydawca:
Warszawa : Wydawnictwa Naukowo-Techniczne
Tytuł pełny:
Logika wielowartościowwych procesów decyzyjnych : zastosowanie w komputerowym wspomaganiu projektowania i zarządzania / Marian A. Partyka
Książka
propozycja biblioteki
Tytuł:
Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej
Autorzy:
Łukasiewicz, Jan
Temat:
Aristoteles (pol. Arystoteles ; 384-322 p.n.e.)
Sylogistyka - historia - 4 w. p.n.e
Logika matematyczna - zagadnienia
Rok wydania:
1988
Wydawca:
Warszawa : Państ. Wydaw. Naukowe
Tytuł pełny:
Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej / Jan Łukasiewicz ; przeł. i przypisami opatrzył Adam Chmielewski, fragmenty gr., łac. i niem. przeł. Aleksandra Krajczyk i Adam Chmielewski ; wstępem poprzedził i redakcji naukowej dokonał Jan Woleński
Książka
propozycja biblioteki
Tytuł:
Diagnostyka procesów : modele, metody sztucznej inteligencji, zastosowania
Seria:
Monografie / Komitet Automatyki i Robotyki Polskiej Akademii Nauk ; 3
Temat:
Inteligencja sztuczna
Diagnostyka techniczna - zagadnienia
Logika matematyczna
Automatyka
Komputery - stosowanie
Rok wydania:
2002
Wydawca:
Warszawa : Wydaw. Naukowo-Techniczne
Tytuł pełny:
Diagnostyka procesów : modele, metody sztucznej inteligencji, zastosowania / pod red. Józefa Korbicza [i in.]
Książka
propozycja biblioteki
Tytuł:
Sieci neuronowe, algorytmy genetyczne i systemy rozmyte
Autorzy:
Rutkowska, Danuta
Piliński, Maciej
Rutkowski, Leszek
Temat:
Algorytmy genetyczne
Sieci neuronowe
Symulacja
Zbiory rozmyte - stosowanie
Rok wydania:
1997
Wydawca:
Warszawa ; Łódź : Wydaw. Naukowe PWN
Tytuł pełny:
Sieci neuronowe, algorytmy genetyczne i systemy rozmyte / Danuta Rutkowska, Maciej Piliński, Leszek Rutkowski
Książka
    Wyświetlanie 1-59 z 59

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

    Prześlij opinię

    Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

    Formularz