SOWA OPAC : Katalog komputerowy książek, czasopism i zbiorów specjalnych

44 wyniki

Brak okładki

Książka

W koszyku

Zbiór zadań z teorii automatów / Witold Komorowski, Ryszard Pawęska ; Politechnika Wrocławska. - Wrocław : Wydawnictwo Politechniki Wrocławskiej, 1979. - 117, [2] s. : il. ; 24 cm.

(Skrypty / Politechnika Wrocławska)

Autor

Komorowski Witold. Pawęska Ryszard.

Temat

Automaty Komputery

Gatunek

Ćwiczenia i zadania dla szkół wyższych

Zm. i poszerz. wersja skryptu wyd. w 1973 r.

Bibliogr. s. [118].

Do przedmiotu Teoria komputerów - teoria automatów na studium podstawowym.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. S 56495 L, S 56496 (2 egz.)

Brak okładki

Książka

W koszyku

Teoria automatów i lingwistyka matematyczna : [skrypt dla studentów wyższych szkół technicznych] / S. Kowalski, A. W. Mostowski. - Warszawa : Państwowe Wydawnictwo Naukowe, 1979. - 115, [1] s. : il. ; 25 cm.

Autor

Kowalski Stanisław. Mostowski Andrzej Włodzimierz.

Temat

Automaty Językoznawstwo matematyczne

Gatunek

Podręczniki akademickie

Bibliogr. s. 112. Indeks.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. S 51928, S 51864 L (2 egz.)

Brak okładki

Książka

W koszyku

Zbiór zadań z teorii układów logicznych / Henryk Kruszyński [et al.]. - [Wyd. 2 popr.]. - Warszawa : Wydawnictwa Politechniki Warszawskiej, 1977. - 321 s. : il. ; 24 cm.

(Skrypty WPW dla Kierunku Elektronika)

Autor

Kruszyński Henryk.

Temat

Automaty Logika matematyczna.

Gatunek

Ćwiczenia i zadania dla szkół wyższych

Bibliogr. s. [315]-318. Indeks.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. S 48271 (1 egz.)

Brak okładki

Książka

W koszyku

Zbiór zadań z teorii układów logicznych / aut. Henryk Kruszyński [et al.]. - Wyd. 3. - Warszawa : Oficyna Wydawnicza Politechniki Warszawskiej, 1979. - 321 s. : il. ; 24 cm.

(Skrypty / Politechnika Warszawska)

Autor

Kruszyński Henryk.

Temat

Automaty Logika matematyczna.

Gatunek

Ćwiczenia i zadania dla szkół wyższych

Bibliogr. s. [315]-318.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. S 52435 L (1 egz.)

Brak okładki

Książka

W koszyku

Teoria układów logicznych / Zygmunt Leszczyński. - Łódź : Politechnika Łódzka - Wydaw., 1990. - 302, [2] s. : rys., schem., tab. ; 21 cm.

(Skrypty dla Szkół Wyższych / Politechnika Łódzka)

Autor

Leszczyński Zygmunt.

Temat

Algebry Boole'a Automaty SYSTEMY CYFROWE

Bibliogr.s. [303]

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. S 60770 L (1 egz.)

Brak okładki

Książka

W koszyku

Algebraiczna teoria automatów / Władysław Majewski, Aleksander Albicki. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1980. - 192 s. : il. ; 24 cm.

(Podręczniki Akademickie. Elektronika, Informatyka, Telekomunikacja)

Autor

Majewski Władysław. Albicki Aleksander.

Temat

Algebra Automaty

Gatunek

Podręczniki akademickie

Bibliogr.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 60631 L (1 egz.)

Brak okładki

Książka

W koszyku

Układy logiczne / Władysław Majewski. - Wyd.5. - Warszawa : Wydaw-a Naukowo-Techniczne, 1995. - 287, [1] s. : rys., tab., wykr. ; 24 cm.

(Podręczniki Akademickie. Elektronika, Informatyka, Telekomunikacja)

Autor

Majewski Władysław.

Temat

Matematyka Automaty Układy logiczne

Bibliogr.s. [282] - 284

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 89327, 89323, 89328, 89322 L, 89329, 92671, 89332, 96469 (8 egz.)

Brak okładki

Książka

W koszyku

Układy logiczne / Władysław Majewski. - Wyd.6 rozsz. - Warszawa : Wydaw-a Naukowo-Techniczne, 1999. - 340 s. : rys., schem., tab., wykr. ; 24 cm.

(Podręczniki Akademickie. Elektronika, Informatyka, Telekomunikacja)

Autor

Majewski Władysław.

Temat

Matematyka Automaty Algebry Boole'a UKŁADY KOMBINACYJNE UKŁADY SEKWENCYJNE SYNCHRONICZNE UKŁADY SEKWENCYJNE ASYNCHRONICZNE UKŁADY PROGRAMOWALNE Układy logiczne

Bibliogr.s. [337] - 338

Sygnatura czytelni BWEAiI: IX R 57

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Biblioteka WEAiI

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 114282 N (1 egz.)

Brak okładki

Książka

W koszyku

Laboratorium teorii automatów : praca zbiorowa / oprac. Henryk Małysiak [i in.] ; red. Jerzy Siwiński. - Wyd.5. - Gliwice : Politechnika Śląska - Wydaw., 1991. - 268 s. : rys., schem., tab. ; 24 cm.

(Skrypty Uczelniane / Politechnika Śląska w Gliwicach ISSN 0434-0825 ; Nr 1592)

Autor

Małysiak Henryk. Siwiński Jerzy (1908-1990).

Temat

Teoria sterowania. Automaty Technika sterowania automatycznego

Bibliogr.s [267] - 268

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. S 61062 (1 egz.)

Brak okładki

Książka

W koszyku

Laboratorium teorii automatów : praca zbiorowa / oprac. Henryk Małysiak [i in.] ; red. Jerzy Siwiński. - Wyd.3. - Gliwice : Politechnika Śląska - Wydaw., 1982. - 268 s. : rys., schem., tab. ; 24 cm.

(Skrypty Uczelniane / Politechnika Śląska w Gliwicach ISSN 0434-0825 ; Nr 1076)

Autor

Małysiak Henryk. Siwiński Jerzy (1908-1990).

Temat

Teoria sterowania. Automaty Technika sterowania automatycznego

Bibliogr.s. [267] - 268

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. S 55969, S 55968 L (2 egz.)

Brak okładki

Książka

W koszyku

Laboratorium teorii automatów : praca zbiorowa / oprac. Henryk Małysiak [i in.] ; red. Jerzy Siwiński. - Gliwice : Politechnika Śląska - Wydaw., 1979. - 268 s. : rys., schem., tab. ; 24 cm.

(Skrypty Uczelniane / Politechnika Śląska w Gliwicach ISSN 0434-0825 ; Nr 807)

Autor

Małysiak Henryk. Siwiński Jerzy (1908-1990).

Temat

Teoria sterowania. Automaty Technika sterowania automatycznego

Bibliogr.s. [267] - 268

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. S 51051 L, S 51052 (2 egz.)

Brak okładki

Książka

W koszyku

Laboratorium teorii automatów : praca zbiorowa / oprac. Henryk Małysiak [i in.] ; red. Jerzy Siwiński. - Wyd.2. - Gliwice : Politechnika Śląska - Wydaw., 1980. - 268 s. : rys., schem., tab. ; 24 cm.

(Skrypty Uczelniane / Politechnika Śląska w Gliwicach ISSN 0434-0825 ; Nr 986)

Autor

Małysiak Henryk. Siwiński Jerzy (1908-1990).

Temat

Teoria sterowania. Automaty Technika sterowania automatycznego

Bibliogr.s. [267] - 268

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. S 54024 L, S 54025 (2 egz.)

Brak okładki

Książka

W koszyku

Układy cyfrowe : zadania : praca zbiorowa / red. Henryk Małysiak, Bolesław Pochopień. - Wyd.2. - Gliwice : Politechnika Śląska - Wydaw., 1991. - 275, [1] s. : rys., schem., tab. ; 25 cm.

(Skrypty Uczelniane / Politechnika Śląska w Gliwicach ISSN 0434-0825 ; Nr 1591)

Autor

Małysiak Henryk. Pochopień Bolesław.

Temat

Układy cyfrowe Automaty

Bibliogr.s. [276]

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. S 61008 (1 egz.)

Brak okładki

Książka

W koszyku

Zbiór zadań z teorii automatów / praca zespołowa Katedry Automatyki Procesów Przemysłowych ; oprac. Henryk Małysiak [et al.]. - Gliwice : Sekcja Wydawnictw Naukowych Politechniki Śląskiej, 1968. - 223 s. : il. ; 24 cm.

(Skrypty Uczelniane / Politechnika Śląska im. W. Pstrowskiego ; nr 207)

Autor

Małysiak Henryk.

Temat

Automaty

Gatunek

Ćwiczenia i zadania dla szkół wyższych

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 13485 L (1 egz.)

Brak okładki

Książka

W koszyku

Automaty zmienne w czasie i transformacje (okresowe) automatów skończonych / Zdzisław Miądowicz. - Poznań : Politechnika Poznańska - Wydaw., 1981. - 72 s. : rys., tab. ; 24 cm.

(Rozprawy / Politechnika Poznańska ISSN 0551-6528 ; Nr 131)

Autor

Miądowicz Zdzisław Bogdan. Miądowicz Zdzisław.

Temat

Automaty

Bibliogr.s. 67 - 71. - Rés. - Rez. - Sum.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 64256 L, 63316 (2 egz.)

Brak okładki

Książka

W koszyku

Przekształcenia i złożoność obliczeniowa problemów w teorii automatów / Bolesław Mikołajczak. - Warszawa ; Poznań : Państ. Wydaw. Naukowe, 1988. - 89, [1] s. : rys., tab. ; 24 cm.

(Teoria i Technika Systemów / Polska Akademia Nauk ISSN 0137-5989 ; T.6)

Autor

Mikołajczak Bolesław.

Temat

Matematyka Automaty

Bibliogr.s. 81 - [83].- Sum.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 77070, 77069 L, 77071 (3 egz.)

Brak okładki

Książka

W koszyku

Roboty przemysłowe / Antoni Niederliński. - Warszawa : Wydaw-a Szkolne i Pedagogiczne, 1981. - 221, [3] s. : il., rys., schem., tab., wykr. ; 25 cm.

Autor

Niederliński Antoni.

Temat

Automatyka Automaty Roboty i manipulatory przemysłowe

aktualnie wypożyczona

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Wszystkie egzemplarze są obecnie wypożyczone: sygn. 65626 (1 egz.)

Brak okładki

Książka

W koszyku

Gry i automaty / D. A. Pospiełow ; tł. Jan Małuszyński, Roman Ostrowski. - Warszawa : Wydawnictwa Naukowo-Techniczne, dr. 1968. - 129, [3] s. : il. ; 21 cm.

(Automatyka)

Autor

Pospelov Dmitrij Aleksandrovič (1932- ). Małuszyński Jan (1941- ). Ostrowski Roman.

Temat

Automaty Teoria gier

Bibliogr. s. 127-[130].

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 34138 (1 egz.)

Książka

W koszyku

Wprowadzenie do teorii obliczeń / Michael Sipser ; [przekład Marek Włodarz]. - Wydanie 3. (1 w WN PWN) - Warszawa : PWN, 2020. - XVIII, 480 stron : ilustracje ; 24 cm.

Autor

Sipser Michael Włodarz Marek

Forma i typ

Książki Publikacje dydaktyczne

Odbiorca

Szkoły wyższe

Temat

Automaty Teoria automatów Teoria obliczalności Teoria obliczeń Złożoność obliczeniowa

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne Matematyka

Bibliografia na stronach 465-468. Indeks.

Praca skierowana do studentów informatyki na wszystkich wyższych uczelniach.

Automaty, obliczalność i złożoność Teoria złożoności Teoria obliczalności Teoria automatów Pojęcia matematyczne i terminologia Zbiory Ciągi i krotki Funkcje i relacje Grafy Słowa i języki Logika Boole'a14 Podsumowanie terminów matematycznych Definicje, twierdzenia i dowody Znajdowanie dowodów Typy dowodów Dowód przez konstrukcję Dowód nie wprost (przez sprowadzenie do sprzeczności) Dowód indukcyjny Dowód AUTOMATY I JĘZYKI Języki regularne Automaty skończone Formalna definicja automatu skończonego Przykłady automatów skończonych Formalna definicja obliczeń Projektowanie automatów skończonych Operacje regularne Niedeterminizm Formalna definicja niedeterministycznego automatu skończonego Równoważność NFA i DFA Zamknięcie ze względu na operacje regularne Wyrażenia regularne Formalna definicja wyrażenia regularnego Równoważność z automatami skończonymi Języki nieregularne Lemat o pompowaniu dla języków regularnych 2.Języki bezkontekstowe Gramatyki bezkontekstowe Formalna definicja gramatyki bezkontekstowej Projektowanie gramatyk bezkontekstowych Niejednoznaczność Postać normalna Chomsky'ego Automaty ze stosem Formalna definicja automatu ze stosem Przykłady automatów ze stosem Równoważność z gramatykami bezkontekstowymi Języki niebędące bezkontekstowymi Lemat o pompowaniu dla języków bezkontekstowych Deterministyczne języki bezkontekstowe Właściwości języków DCFL Deterministyczne gramatyki bezkontekstowe Zależności między DPDA a gramatykami DCFG Parsing i gramatyki LR(k) TEORIA OBLICZALNOŚCI Hipoteza Churcha-Turinga Maszyny Turinga Formalna definicja maszyny Turinga Przykłady maszyn Turinga Odmiany maszyn Turinga Wielotaśmowe maszyny Turinga Niedeterministyczne maszyny Turinga Enumeratory Równoważność z innymi modelami Definicja algorytmu Problemy Hilberta Konwencja opisywania maszyn Turinga Rozstrzygalność Języki rozstrzygalne Problemy rozstrzygalne dotyczące języków regularnych Problemy rozstrzygalne dotyczące języków bezkontekstowych Nierozstrzygalność Metoda diagonalizacji Język nierozstrzygalny Język nierozpoznawalny w sensie Turinga Redukowalność Nierozstrzygalne problemy teorii języków Redukcje przez historie obliczeń Prosty problem nierozstrzygalny Redukcja przez odwzorowanie Funkcje obliczalne Formalna definicja redukcji przez odwzorowanie Zaawansowane zagadnienia teorii obliczalności Twierdzenie o rekurencji Samoodniesienie Posługiwanie się twierdzeniem o rekurencji Zastosowania Rozstrzygalność teorii logicznych Teoria rozstrzygalna Teoria nierozstrzygalna Redukowalność w sensie Turinga Pojęcie informacji Opisy minimalnej długości Optymalność definicji Słowa niekompresowalne i losowość TEORIA ZŁOŻONOŚCI Złożoność czasowa Mierzenie złożoności Notacja wielkiego O i małego o Analiza algorytmów Zależności między złożonościami modeli Klasa P Czas wielomianowy Przykłady problemów z klasy P Klasa NP Przykłady problemów z klasy NP Zagadnienie P versus NP NP-zupełność Redukowalność w czasie wielomianowym Definicja NP-zupełności Twierdzenie Cooka-Levina Dalsze problemy NP-zupełne Problem pokrycia wierzchołkowego Problem ścieżki Hamiltona Problem sumy podzbioru Złożoność pamięciowa Twierdzenie Savitcha Klasa PSPACE PSPACE-zupełność Problem TQBF Strategie wygrywające w grach Uogólniona gra w łańcuszek Klasy L i NL NL-zupełność Przeszukiwanie grafów Klasa NL równa się klasie coNL Problemy trudne Twierdzenia o hierarchii Zupełność pamięci wykładniczej Relatywizacja Ograniczenia stosowalności metody diagonalizacji Złożoność obwodów Zaawansowane zagadnienia teorii złożoności Algorytmy aproksymacyjne Algorytmy probabilistyczne Klasa BPP Pierwszość Programy z rozgałęzieniami z jednokrotnym odczytem Alternacje Czas i pamięć w obliczeniach alternujących Wielomianowa hierarchia czasowa Systemy dowodów interaktywnych Nieizomorfizm grafów Definicja modelu IP = PSPACE Obliczenia równoległe Jednolite obwody logiczne Klasa NC P-zupełność Kryptografia Klucze tajne Systemy szyfrowania z kluczem publicznym Funkcje jednokierunkowe Funkcje z bocznym wejściem

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 148988 (1 egz.)

Brak okładki

Książka

W koszyku

Podstawy logiki i wnioskowania / Łukasz N. Węsierski. - Rzeszów : Oficyna Wydawnicza Politechniki Rzeszowskiej, 2004. - 150 s. : il. ; 24 cm.

Autor

Węsierski Łukasz Norbert.

Temat

Logika Automaty

Gatunek

Podręczniki akademickie

Bibliogr. s. [149]-150.

Sygnatura czytelni BMW: IV F 39 (nowy)

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Biblioteka Międzywydziałowa

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 109964 N (1 egz.)