Sortowanie
Źródło opisu
Katalog centralny
(7)
Forma i typ
Książki
(7)
Publikacje dydaktyczne
(1)
Dostępność
dostępne
(7)
Placówka
Wypożyczalnia Główna dla dor. i mł. od 15 r. ż. (Dąbrowskiego 33a)
(1)
Czytelnia Główna - wypożyczalnia (Sokoła 13)
(6)
Autor
Kowalski Stanisław (informatyk)
(1)
Mikołajczak Bolesław (1946- )
(1)
Mostowski Andrzej Włodzimierz
(1)
Rudak Leszek
(1)
Sipser Michael
(1)
Starke Peter H
(1)
Węsierski Łukasz (1943- )
(1)
Węsierski Łukasz N
(1)
Włodarz Marek
(1)
Âblonskij Sergej Vsevolodovič
(1)
Żurek Jacek
(1)
Rok wydania
2020 - 2024
(1)
2000 - 2009
(2)
1990 - 1999
(1)
1980 - 1989
(2)
1970 - 1979
(1)
Okres powstania dzieła
2001-
(1)
Kraj wydania
Polska
(7)
Język
polski
(7)
Odbiorca
Szkoły wyższe
(1)
Temat
Automaty
(7)
Grafy
(2)
Logika
(2)
Algebra
(1)
Cybernetyka matematyczna
(1)
Językoznawstwo matematyczne
(1)
Kombinatoryka
(1)
Logika matematyczna
(1)
Matematyka
(1)
Sieć komputerowa
(1)
Teoria automatów
(1)
Teoria mnogości
(1)
Teoria obliczalności
(1)
Teoria obliczeń
(1)
Teoria systemów
(1)
Złożoność obliczeniowa
(1)
Gatunek
Podręcznik
(1)
Podręcznik akademicki
(1)
Dziedzina i ujęcie
Informatyka i technologie informacyjne
(1)
Matematyka
(1)
7 wyników Filtruj
Brak okładki
Książka
W koszyku
Bibliogr. s. [203]-204.
1. Rachunek zdań ; 2. Elementy teorii zbiorów ; 3. Rachunek predykatów ; 4. Algebry boole'a i funkcje boolowskie ; 5. Podstawy teorii języków ; 6. Automaty i systemy przełączające ; 7. Metodyka wnioskowania ; 8. Systemy ekspertowe.
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Są egzemplarze dostępne do wypożyczenia: sygn. A-93356 (1 egz.)
Brak okładki
Książka
W koszyku
(Teoria i Technika Systemów ISSN 0137-5989 ; t. 6)
Streszcz. fr.
Bibliogr. s. 80-83
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Są egzemplarze dostępne do wypożyczenia: sygn. A-66935 (1 egz.)
Brak okładki
Książka
W koszyku
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Są egzemplarze dostępne do wypożyczenia: sygn. A-65498 (1 egz.)
Brak okładki
Książka
W koszyku
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Są egzemplarze dostępne do wypożyczenia: sygn. A-84833 (1 egz.)
Książka
W koszyku
Wprowadzenie do teorii obliczeń / Michael Sipser ; [przekład Marek Włodarz]. - Wydanie 3. (1 w WN PWN). - Warszawa : Wydawnictwo Naukowe PWN, 2020. - XVIII, 480 stron : ilustracje ; 24 cm.
Tytuł oryginału: "Introduction to the theory of computation" 2013.
Bibliografia na stronach 465-468. Indeks.
Dla studentów informatyki na wszystkich wyższych uczelniach.
Automaty i języki ; Teoria obliczalności ; Teoria złożoności.
Wprowadzenie do teorii obliczeń to najpopularniejszy podręcznik do teorii obliczeń. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów. Książka składa się z trzech części. Pierwsza jest poświęcona automatom i językom formalnym. Omówiono w niej niedeterminizm, równoważność automatów deterministycznych i niedeterministycznych, wyrażenia regularne, kryteria nieregularności języków, a także języki bezkontekstowe. Druga część dotyczy teorii obliczalności. Opisano w niej ograniczenia współczesnych komputerów, wyjaśniono pojęcia rozstrzygalności i nierozstrzygalności. Trzecia część jest poświęcona teorii złożoności. Przedstawiono w niej podstawowe klasy złożoności obliczeniowej, klasę problemów NP-zupełnych, a także klasyfikację problemów ze względu na możliwość automatycznego ich rozwiązywania przy ograniczonych zasobach. Trzecia edycja zawiera zupełnie nowy podrozdział poświęcony deterministycznym językom bezkontekstowym. Została też wzbogacona o nowe ćwiczenia, problemy i przykłady. Książka skierowana do studentów informatyki na wszystkich wyższych uczelniach. [www.azymut.pl, 2020]
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Są egzemplarze dostępne do wypożyczenia: sygn. WG-51 (1 egz.)
Książka
W koszyku
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Są egzemplarze dostępne do wypożyczenia: sygn. A-54011 (1 egz.)
Brak okładki
Książka
W koszyku
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Są egzemplarze dostępne do wypożyczenia: sygn. A-70667 (1 egz.)
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej