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 symboliczna i matematyczna." wg kryterium: Temat


propozycja biblioteki
Tytuł pełny:
Elementy logiki matematycznej w przykładach i zadaniach / Jerzy Grochulski, Michał Matałycki ; Politechnika Częstochowska. Wydział Inżynierii Mechanicznej i Informatyki
Wydawca:
Częstochowa : Wydaw. PC
Rok wydania:
2003
Seria:
Skrypty Politechniki Częstochowskiej, 1234-9909 ; 43
Temat:
Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Książka
propozycja biblioteki
Tytuł pełny:
Model akademickiego podręcznika logiki matematycznej dla studiów nauczycielskich : próba unowocześnienia podręcznika konwencjonalnego / Wanda Nowak
Wydawca:
Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Rok wydania:
1975
Seria:
Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 2
Temat:
Logika symboliczna i matematyczna - studia i nauczanie (akademickie).
Książka
propozycja biblioteki
Tytuł pełny:
Elementy logiki matematycznej i teorii mnogości : materiały do badań eksperymentalnych : dla studentów matematyki kierunku nauczycielskiego / Wanda Nowak
Wydawca:
Poznań : Zakład Matematyki Wyższego Studium Nauczycielskiego Uniwersytetu im. Adama Mickiewicza
Rok wydania:
1973
Temat:
Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:
Opole : Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich
Rok wydania:
1974
Seria:
Wydawnictwa Skryptowe / Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich w Opolu
Temat:
Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Książka
propozycja biblioteki
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
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1978
Temat:
Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Wstęp do analizy matematycznej, logiki i teorii mnogości / Inga Jędrzejewska, Elżbieta Kotlicka, Bożena Szkopińska
Wydawca:
Łódź : Wydawnictwo Politechniki Łódzkiej
Wydanie:
Wyd. 2
Rok wydania:
2009
Seria:
Skrypty dla Szkół Wyższych / Politechnika Łódzka
Temat:
Analiza matematyczna - podręczniki akademickie.
Analiza matematyczna - zadania i ćwiczenia.
Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - podręczniki akademickie.
Teoria zbiorów - zadania i ćwiczenia.
Książka
propozycja biblioteki
Tytuł pełny:
Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski
Wydawca:
Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Wydanie:
Wyd. 2 nie zm
Rok wydania:
1991
Seria:
Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 11
Temat:
Logika symboliczna i matematyczna - podręczniki akademickie.
Metamatematyka - podręczniki akademickie.
Logika symboliczna i matematyczna.
Metamatematyka.
Książka
propozycja biblioteki
Tytuł pełny:
Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski
Wydawca:
Poznań : Wydawnictwo Naukowe UAM
Rok wydania:
1990
Seria:
Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 11
Temat:
Logika symboliczna i matematyczna - podręczniki akademickie.
Metamatematyka - podręczniki akademickie.
Logika symboliczna i matematyczna.
Metamatematyka.
Książka
propozycja biblioteki
Tytuł pełny:
Elementy logiki matematycznej i algebry wyższej w przykladach i ćwiczeniach : dla wyższych studiów technicznych : praca zbiorowa / zespól autorski: Olga Bereśniewicz-Rajca, Krystyna Szczerbińska, Jan Walichiewicz
Wydawca:
Gliwice : Dział Wydawnictw Politechniki Śląskiej
Rok wydania:
1970
Seria:
Skrypty Uczelniane / Politechnika Śląska im. Wincentego Pstrowskiego ; nr 265
Temat:
Logika matematyczna nieklasyczna.
Algebra - podręczniki dla szkół średnich.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Algebra - zadania i ćwiczenia.
Książka
propozycja biblioteki
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
Wydawca:
Warszawa : Wydawnictwa Naukowe PWN
Wydanie:
Wyd. 2 popr
Rok wydania:
1994
Temat:
Teoria zbiorów - podręczniki akademickie.
Logika - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński ; [red. odpowiedzialny t. Jan Woleński ; red. nauk. Danuta Miller] ; Polska Akademia Nauk. Komitet Nauk Filozoficznych
Wydawca:
Wrocław [etc.] : Zakład Narodowy im. Ossolińskich. Wydawnictwo Polskiej Akademii Nauk
Rok wydania:
1990
Seria:
Dzieła wszystkie / Tadeusz Kotarbiński ; kom. red. Wojciech Gasparski (przewodn.) [et al.] ; 1
Temat:
Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria poznania - podręczniki akademickie.
Nauka - metodologia - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji numerycznej). Cz. 1, Logiczna teoria programowania / Andrzej Biela
Wydawca:
Katowice : Uniwersytet Śląski
Rok wydania:
1983
Seria:
Skrypty Uniwersytetu Śląskiego, 0209-0473 ; nr 331
Temat:
Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji zastosowań i informatyki) / Andrzej Biela
Wydawca:
Katowice : Wydaw. Uniwersytetu Śląskiego
Wydanie:
Wyd. 2
Rok wydania:
1995
Seria:
Skrypty Uniwersytetu Śląskiego, 0239-6432 ; nr 511
Temat:
Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Matematyka. T. 1 / Sławomir Dorosiewicz, Jacek Kłopotowski, Dariusz Kołatkowski ; pod red. naukową Sławomira Dorosiewicza
Wydawca:
Warszawa : Szkoła Główna Handlowa
Rok wydania:
2002
Temat:
Algebra liniowa - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Funkcje (matematyka) - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Algebra : elementy z zastosowaniami w ekonomii / Tadeusz Ostrowski
Wydawca:
Gorzów Wielkopolski : Wydawnictwo Państwowej Wyższej Szkoły Zawodowej
Rok wydania:
2010
Seria:
Pomoce dydaktyczne / Państwowa Wyższa Szkoła Zawodowa w Gorzowie Wielkopolskim
Temat:
Algebra liniowa - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Ciągi (matematyka) - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł.: Zdzisław Płoski
Wydawca:
Gliwice : Helion
Wydanie:
Nowe wyd. polskie
Rok wydania:
2012
Seria:
Kanon Informatyki
Temat:
Algorytmy - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Maszyny Turinga - podręczniki akademickie.
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł.: Przemysława Kanarek, Krzysztof Loryś
Wydawca:
Warszawa : Wydawnictwa Naukowo-Techniczne
Rok wydania:
2002
Seria:
Klasyka Informatyki
Temat:
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.
Algorytmy - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Maszyny Turinga - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł.: Przemysława Kanarek, Krzysztof Loryś
Wydawca:
Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:
Wyd. 2
Rok wydania:
2007
Seria:
Klasyka Informatyki
Temat:
Algorytmy - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Maszyny Turinga - podręczniki akademickie.
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Aksjomatyzowalność pewnych wariantów rachunku typów synktatycznych Lambeka jako systemów redukcyjnych / Wojciech Zielonka
Wydawca:
Olsztyn : Wydawnictwo Uniwersytetu Warmińsko-Mazurskiego
Rok wydania:
2012
Seria:
Rozprawy i Monografie / Uniwersytet Warmińsko-Mazurski w Olsztynie = Dissertations and Monographs / University of Warmia and Mazury in Olsztyn, 1509-3018 ; 176
Temat:
Logika matematyczna nieklasyczna.
Książka
propozycja biblioteki
Tytuł pełny:
Jedynkowe systemy aksjomatyczne / Leon Gumański
Wydawca:
Toruń : TNT Łódź : Państwowe Wydaw. Naukowe
Rok wydania:
1964
Seria:
Prace Wydziału Filologiczno-Filozoficznego / Towarzystwo Naukowe w Toruniu ; t. 15, z. 1
Temat:
Logika symboliczna i matematyczna.
Książka
propozycja biblioteki
Tytuł pełny:
Wstęp do logiki matematycznej. Cz. 1, Elementy algebry logiki zdań / Witold A. Pogorzelski, Tadeusz Prucnal
Wydawca:
Katowice : Uniwersytet Śląski
Rok wydania:
1974
Seria:
Uniwersytet Śląski ; 97
Temat:
Logika symboliczna i matematyczna.
Książka
propozycja biblioteki
Tytuł pełny:
Wybrane rozdziały z matematyki dla studentów wyższych uczelni technicznych i ekonomicznych / Radosław Grzymkowski
Wydawca:
Gliwice : Wydaw. Pracowni Komputerowej Jacka Skalmierskiego
Rok wydania:
1997
Temat:
Matematyka - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Algebra - podręczniki akademickie.
Rachunek różniczkowy - podręczniki akademickie.
Rachunek całkowy - podręczniki akademickie.
Analiza wektorowa - podręczniki akademickie.
Książka
propozycja biblioteki
Tytuł pełny:
Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji numerycznej). Cz. 2, Elementy systemu przechowywania i wyszukiwania informacji / Andrzej Biela
Wydawca:
Katowice : UŚ
Rok wydania:
1983
Seria:
Skrypty Uniwersytetu Śląskiego, 0209-0473 ; nr 331
Temat:
Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Wyszukiwanie informacji - podręczniki akademickie.
Bazy danych - zarządzanie - podręczniki akademickie.
Książka

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