SOWA OPAC : Pedagogiczna Biblioteka Wojewódzka im. Gustawa Herlinga-Grudzińskiego w Kielcach

132 wyniki

Brak okładki

Książka

W koszyku

oceń

Niektóre własności zbiorów podfunkcji funkcji boolowskich / Paweł Kerntopf ; Polska Akademia Nauk. Centrum Obliczeniowe. - Warszawa : Państ. Wydaw. Naukowe, 1974. - 77, [2] s. ; 25 cm.

Autor

Kerntopf Paweł.

Temat

Komputery Logika matematyczna.

Symbol UKD: 510.6:004.4

Bibliogr.

Streszcz. ang., ros.

dostępna do wypożyczenia

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

Kielce - Wypożyczalnia

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

Książka

W koszyku

oceń

Sztuczna inteligencja i logika : podsumowanie przedsięwzięcia naukowego / Andrzej Kisielewicz. - Wydanie 2 zmienione, 1 dodruk. - Warszawa : Wydawnictwo WNT : Wydawnictwo Naukowe PWN, 2017. - 379 stron : ilustracje ; 24 cm.

Autor

Kisielewicz Andrzej.

Forma i typ

Książki Publikacje popularnonaukowe

Przynależność kulturowa

Literatura polska

Temat

Sztuczna inteligencja Logika matematyczna

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne Matematyka

Symbol UKD: 004.8 510.6 (075.8)

Bibliografia strony 365-371. Indeks.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Busko zdrój - czytelnia

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

Kazimierza Wielka - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

Analiza konstrukcji tekstu dowodu jako środka przekazu w matematyce / Jan Konior. - Katowice : Wydaw. Uniwersytetu Śląskiego, 1983. - 111, [1] s. : rys., wykr. ; 24 cm.

(Prace Naukowe Uniwersytetu Śląskiego w Katowicach, ISSN 0208-6336 ; nr 611)

Autor

Konior Jan.

Forma i typ

Książki

Temat

Dowód Logika matematyczna

Symbol UKD: 510.6

Bibliogr. s. 106-111.

dostępna do wypożyczenia

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

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 171150, 170788 (2 egz.)

Brak okładki

Artykuł

W koszyku

oceń

Turing i jego maszyna / Antoni Kościelski. W: Matematyka. - [R.] 59, nr 6 (2006), s. 42-51.

Autor

Kościelski Antoni.

Temat

Turing, Alan (1912-1954) Informatyka Logika matematyczna Matematycy

Dokument nadrzędny: Matematyka.

Książka

W koszyku

oceń

Elementy teorii poznania, logiki formalnej i metodologii nauk / Kotarbiński Tadeusz. - Wyd. 2 przejrz. - Wrocław ; Warszawa ; Kraków : Zakład Narodowy im. Ossolińskich, 1961. - 648 s. ; 24 cm.

Autor

Kotarbiński Tadeusz (1886-1981).

Temat

Logika matematyczna Metodologia Teoria poznania

Symbol UKD: 164

Indeks.

dostępna do wypożyczenia

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

Jędrzejów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 7715, 3447 (2 egz.)

Brak okładki

Książka

W koszyku

Elementy logiki, teorii mnogości i algebry / Jan Krempa, Barbara Mażbic-Kulma. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1977. - 170, [2] s. : il., tab. ; 21 cm.

Autor

Krempa Jan. Mażbic-Kulma Barbara.

Temat

Algebra. Logika matematyczna. Teoria mnogości.

Symbol UKD: 517+519+512

Bibliogr. Indeks.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 6 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 135618, 135617 (2 egz.)

Opatów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 13605, 12110 (2 egz.)

Pińczów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 13069, 13070, 23735 (3 egz.)

Sandomierz - wypożyczalnia

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

Starachowice - wypożyczalnia

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

Włoszczowa - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 15498, 15497 (2 egz.)

Książka

W koszyku

oceń

Wstęp do logicznej teorii pytań / Tadeusz Kubiński. - Warszawa : Państ. Wydaw. Naukowe, 1971. - 116 s. : err. ; 23 cm.

Autor

Kubiński Tadeusz (1923-1991).

Temat

Logika matematyczna.

Symbol UKD: 510.6

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 5 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 82260, 82261 (2 egz.)

Busko Zdrój - wypożyczalnia

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

Kazimierza Wielka - wypożyczalnia

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

Końskie - wypożyczalnia

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

Starachowice - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

Indukcja zupełna w zdaniach / Nadzieja Kuźmiuk-Borowikowa, Eugeniusz Niczyporowicz. - Warszawa : Wydawnictwa Szkolne i Pedagogiczne, 1993. - 70, [2] s. : wykr. ; 21 cm.

Autor

Kuźmiuk-Borowikowa Nadzieja Niczyporowicz Eugeniusz.

Temat

Dowód Logika matematyczna

Symbol UKD: 510.6(075.3.053.7)

Bibliogr. s. [72].

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 5 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

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

Kielce - Czytelnia

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

Ostrowiec - wypożyczalnia

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

Starachowice - wypożyczalnia

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

Włoszczowa - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

O logice matematycznej / Roger C. Lyndon ; [tł. Wiktor Marek]. - Warszawa : Państwowe Wydawnictwo Naukowe, 1968. - 111, [1] s. ; 18 cm.

(Małe Monografie PWN. Matematyka.)

Autor

Lyndon Roger C. (1917- ). Marek Wiktor.

Temat

Logika matematyczna.

Symbol UKD: 517

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 5 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 55138, 55137, 55139, 59380, 55136 (5 egz.)

Kazimierza Wielka - wypożyczalnia

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

Końskie - wypożyczalnia

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

Pińczów - wypożyczalnia

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

Sandomierz - wypożyczalnia

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

Brak okładki

Książka

W koszyku

O logice matematycznej / Roger C. Lyndon ; [tł. z ang. Wiktor Marek]. - Wyd. 2. - Warszawa : Państwowe Wydaw. Naukowe, 1978. - 111, [1] s. ; 17 cm.

(Małe Monografie PWN. Matematyka.)

Autor

Lyndon Roger C. (1917- ) Marek Wiktor.

Temat

Logika matematyczna.

Symbol UKD: 510.6

Tyt. oryg. : "Notes on logic".

Bibliogr. Indeksy.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 6 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

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

Jędrzejów - wypożyczalnia

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

Kazimierza Wielka - wypożyczalnia

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

Ostrowiec - wypożyczalnia

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

Staszów - wypożyczalnia

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

Włoszczowa - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej / Jan Łukasiewicz ; przeł. [z ang.] i przypisami opatrzył Adam Chmielewski ; fragmenty grec., łac. i niem. przeł. Aleksandra Krajczyk i A. Chmielewski ; wstępem poprzedził i red. nauk. dokonał Jan Woleński. - Warszawa : Państ. Wydaw. Naukowe, 1988 - 340, [1] s. : err. ; 20 cm.

Autor

Łukasiewicz Jan Chmielewski Adam (1959- ). Krajczyk Aleksandra. Woleński Jan (1940- ).

Temat

Aristoteles (384-322 a.C.) Logika matematyczna Sylogistyka

Symbol UKD: 164:1A/Z](38)"-03"

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 4 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

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

Końskie - wypożyczalnia

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

Sandomierz - czytelnia

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

Włoszczowa - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

Elementy logiki matematycznej / Jan Łukasiewicz ; [opracowanie Jerzy Słupecki] ; Polska Akademia Nauk. Instytut Filozofii i Socjologii. Zakład Logiki. - Wydanie 2. - Warszawa : Państwowe Wydawnictwo Naukowe, 1958. - 98, [1] strona : ilustracje ; 24 cm.

Autor

Łukasiewicz Jan (1878-1956). Słupecki Jerzy (1904-1987).

Forma i typ

Książki Publikacje dydaktyczne Publikacje naukowe

Odbiorca

Szkoły wyższe

Temat

Logika matematyczna

Gatunek

Podręcznik

Dziedzina i ujęcie

Matematyka

Symbol UKD: 510.6 (075.8)

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 9 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 22603, 22602, 22604, 22498 (4 egz.)

Busko Zdrój - wypożyczalnia

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

Kazimierza Wielka - wypożyczalnia

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

Opatów - wypożyczalnia

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

Ostrowiec - wypożyczalnia

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

Pińczów - wypożyczalnia

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

Sandomierz - wypożyczalnia

Egzemplarze są obecnie niedostępne

Starachowice - wypożyczalnia

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

Staszów - wypożyczalnia

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

Książka

W koszyku

oceń

Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod red. Witolda Marciszewskiego. - Warszawa : Państ. Wydaw. Naukowe, 1987 - 472 s. : rys., err. ; 25 cm.

Autor

Marciszewski Witold.

Forma i typ

Książki

Temat

Logika matematyczna

Symbol UKD: 164

Bibliogr. s. 436-459.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 10 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 192444, 192443 (2 egz.)

Jędrzejów - wypożyczalnia

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

Kazimierza Wielka - wypożyczalnia

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

Kazimierza Wielka - czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. KP-16, 25841 (1 egz.)

Końskie - czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 39145[03] (1 egz.)

Ostrowiec - wypożyczalnia

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

Ostrowiec - czytelnia

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

Sandomierz - czytelnia

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

Starachowice - czytelnia

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

Staszów - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

Elementy logiki formalnej : skrypt dla studentów filozofii / Iwona Marek. - Katowice : Wydaw. UŚ, 2002. - 155, [1] s. : il., err. ; 24 cm.

(Podręczniki i Skrypty Uniwersytetu Śląskiego w Katowicach ISSN 1644-0552 nr 13.)

Autor

Marek Iwona.

Temat

Logika matematyczna

Symbol UKD: 510.6(075.8)

Bibliogr.

dostępna w czytelni

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

Busko zdrój - czytelnia

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

Brak okładki

Książka

W koszyku

oceń

Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek i Janusz Onyszkiewicz. - Wyd. 3. - Warszawa : Państ. Wydaw. Naukowe, 1977. - 273, [2] s. : il., wykr. ; 21 cm.

Autor

Marek Wiktor. Onyszkiewicz Janusz (1937- )

Temat

Logika matematyczna. Teoria mnogości.

Gatunek

Ćwiczenia i zadania dla szkół wyższych.

Symbol UKD: 517+519](075.8)(076)

Bibliogr. Indeks.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

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

Ostrowiec - wypożyczalnia

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

Pińczów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 12313, 23737 (2 egz.)

Brak okładki

Książka

W koszyku

oceń

Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - Wyd. 2 popr. - Warszawa : Państ. Wydaw. Naukowe, 1974 - 273, [2] s. : il. ; 25 cm.

Autor

Marek Wiktor. Onyszkiewicz Janusz (1937- )

Temat

Logika matematyczna. Teoria mnogości.

Gatunek

Ćwiczenia i zadania dla szkół wyższych.

Symbol UKD: 510.22+510.6](075.8)(076)

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 7 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 120172, 120173 (2 egz.)

Jędrzejów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 15075, 15259, 15311, 15312, 15074, 16058 (6 egz.)

Kazimierza Wielka - wypożyczalnia

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

Opatów - wypożyczalnia

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

Ostrowiec - wypożyczalnia

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

Sandomierz - wypożyczalnia

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

Starachowice - wypożyczalnia

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

Książka

W koszyku

oceń

Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek i Janusz Onyszkiewicz. - Warszawa : Państ. Wydaw. Naukowe, 1972. - 278, [1] s. : il., err. ; 21 cm.

Autor

Marek Wiktor. Onyszkiewicz Janusz (1937- ).

Temat

Logika matematyczna. Teoria mnogości.

Gatunek

Ćwiczenia i zadania dla szkół wyższych.

Symbol UKD: 510.6 510.22 (075.8+076)

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 91518, 91516, 91520, 91519, 91517 (5 egz.)

Pińczów - wypożyczalnia

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

Włoszczowa - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 8741, 9296, 8742, 9297 (4 egz.)

Brak okładki

Książka

W koszyku

oceń

Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek i Janusz Onyszkiewicz. - Wyd. 4. - Warszawa : Państwowe Wydaw. Naukowe, 1978. - 273, [2] s. : il. ; 21 cm.

Autor

Marek Wiktor. Onyszkiewicz Janusz (1937- )

Temat

Logika matematyczna Teoria mnogości

Symbol UKD: 510.6+510.22](075.8)(076)

Bibliogr. s. 264. - Indeks.

dostępna do wypożyczenia

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

Ostrowiec - wypożyczalnia

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

Książka

W koszyku

oceń

Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - Wyd. 8. - Warszawa : Wydaw. Naukowe PWN, 1999. - [2], 273, [1] s. : rys., wykr. ; 21 cm.

Autor

Marek Wiktor. Onyszkiewicz Janusz (1937- )

Temat

Logika matematyczna. Teoria mnogości. Ćwiczenia i zadania dla szkół wyższych.

Symbol UKD: 510.6+510.22](075.8)(076)

Bibliogr. s. 264.

dostępna do wypożyczenia

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

Sandomierz - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz. - Wyd. 2 popr. - Warszawa : Państ. Wydaw. Naukowe, 1975. - 258 s. : il. ; 21 cm.

Autor

Marek Wiktor. Onyszkiewicz Janusz (1937- )

Temat

Logika matematyczna Teoria mnogości

Symbol UKD: 517+519

Bibliogr.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 4 placówek. Rozwiń listę, by zobaczyć szczegóły.

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 112955, 112956, 112957 (3 egz.)

Busko Zdrój - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 17418, 17415 (2 egz.)

Pińczów - wypożyczalnia

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

Staszów - wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 7817, 7818 (2 egz.)