Temat: Logika symboliczna i matematyczna. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach - Prolib Integro

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

Źródło danych

Wyświetlanie 1-5 z 5

Zaznacz stronę

Skocz do pozycji 1.

Tytuł pełny:: Logika matematyczna / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2 popr. i uzup
Rok wydania:: 1999
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

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
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Rok wydania:: 2004
Temat:: Teoria zbiorów - zadania i ćwiczenia.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Algorytmy - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

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

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Elementy logiki matematycznej i metodologii nauk ścisłych / Stanisław Jaśkowski ; wstęp i opracowanie naukowe Andrzej Indrzejczak
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódźkiego
Wydanie:: Wydanie I
Rok wydania:: 2018
Temat:: Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / Andrzej Biela
Wydawca:: Katowice : Wydawnictwo Uniwersytetu Śląskiego
Rok wydania:: 2000
Seria:: Prace Naukowe Uniwersytetu Śląskiego w Katowicach 0208-6336 nr 1901
Temat:: Algorytmy.
Automatyczne dowodzenie twierdzeń.
Logika symboliczna i matematyczna.
Języki formalne.

Książka

na półce

Szczegóły

Wyświetlanie 1-5 z 5

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.