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

132 wyniki

Brak okładki

Książka

W koszyku

Och, ta matematyka / Zlatko Šporer ; przeł. [z serboch.] Joanna Prosińska-Giersz i Irena Panek ; zil. i skoment. Nedeljko Dragić. - Warszawa : "Nasza Księgarnia", 1991 - 220, [4] s. : rys. ; 29 cm.

Autor

Šporer Zlatko Prosińska-Giersz Joanna. Panek Irena. Dragić Nedeljko.

Temat

Literatura młodzieżowa serbsko-chorwacka Liczby Logika matematyczna Teoria mnogości

Symbol UKD: 510.22:511:510.6](02.053.2)

Oryg. : "Uh, ta matematika".

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. A 212880 (1 egz.)

Sandomierz - wypożyczalnia

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

Starachowice - wypożyczalnia

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

Brak okładki

Książka

W koszyku

Równość, podobieństwo, porządek / J. A. Szrejder ; z ros. przeł. Maria Semeniuk-Polkowska. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1975. - 219, [1] s. : il., tab., wykr. ; 21 cm.

Autor

Šrejder Ûlij Anatol'evič (1927-1998). Semeniuk-Polkowska Maria.

Temat

Grafy. Językoznawstwo matematyczne. Logika matematyczna.

Symbol UKD: 81'32

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. 121315, 121316 (2 egz.)

Busko Zdrój - wypożyczalnia

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

Jędrzejów - wypożyczalnia

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

Kazimierza Wielka - wypożyczalnia

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

Ostrowiec - wypożyczalnia

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

Pińczów - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

Introduction to model theory for Leśniewski's ontology / Zbigniew Stachniak. - Wrocław : Wydaw. Uniwersytetu Wrocławskiego, 1981 - 75, [1] s. ; 24 cm.

Autor

Stachniak Zbigniew

Temat

Leśniewski Stanisław Logika matematyczna

Symbol UKD: 510.6

Bibliogr. s. 73.

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. 162299 (1 egz.)

Książka

W koszyku

oceń

Ćwiczenia z logiki / Barbara Stanosz. - Wyd. 3. - Warszawa : Państ. Wydaw. Naukowe, 1975 - 148, [4] s. : il., tab. ; 20 cm.

Autor

Stanosz Barbara (1935- ).

Temat

Logika matematyczna.

Gatunek

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

Symbol UKD: 510.6(075.8)(076)

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. 115325, 115324 (2 egz.)

Busko Zdrój - wypożyczalnia

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

Jędrzejów - wypożyczalnia

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

Kazimierza Wielka - wypożyczalnia

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

Końskie - wypożyczalnia

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

Sandomierz - wypożyczalnia

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

Książka

W koszyku

oceń

Ćwiczenia z logiki / Barbara Stanosz. - Wyd. 2. - Warszawa : Państ. Wydaw. Naukowe, 1973. - 148, [4] s. : il. ; 18 cm.

Autor

Stanosz Barbara (1935- ).

Temat

Logika matematyczna.

Gatunek

Podręczniki akademickie

Symbol UKD: 16(075.8)

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. 99445, 99446 (2 egz.)

Busko Zdrój - wypożyczalnia

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

Końskie - wypożyczalnia

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

Ostrowiec - wypożyczalnia

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

Ostrowiec - czytelnia

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

Starachowice - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

Ćwiczenia z logiki / Barbara Stanosz. - Wyd. 4. - Warszawa : Państwowe Wydaw. Naukowe, 1978. - 175, [1] s. ; 20 cm.

Autor

Stanosz Barbara (1935- ).

Temat

Logika matematyczna.

Symbol UKD: 510.6(075.8)()76)

Indeks.

dostępna do wypożyczenia

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

Jędrzejów - wypożyczalnia

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

Opatów - wypożyczalnia

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

Ostrowiec - wypożyczalnia

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

Książka

W koszyku

oceń

Wprowadzenie do logiki formalnej : podręcznik dla humanistów / Barbara Stanosz. - Wyd. 6. - Warszawa : Wydaw. Naukowe PWN, 2002. - 110, [2] s. : il. ; 23 cm.

Autor

Stanosz Barbara (1935- ).

Temat

Językoznawstwo matematyczne Logika matematyczna

Symbol UKD: 510.6:81'32:164](07)

Indeks.

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/1009 (1 egz.)

Książka

W koszyku

oceń

Wprowadzenie do logiki formalnej : podręcznik dla humanistów / Barbara Stanosz. - Wydanie 8 rozszerzone - Warszawa : Wydaw. Naukowe PWN, 2005. - 159, [1] s. : rys. ; 24 cm.

Autor

Stanosz Barbara (1935- ).

Forma i typ

Książki

Temat

Językoznawstwo matematyczne Logika matematyczna

Gatunek

Podręczniki

Symbol UKD: 510.6:81'32:164](07)

dostępna do wypożyczenia

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

Kielce - Wypożyczalnia

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

Pińczów - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

Niestandardowe rozwiązania w edukacji matematycznej. Z. 3, Jak rozwijać myślenie logiczne w edukacji matematycznej / Jacek Stańdo. - Warszawa : Ośrodek Rozwoju Edukacji, 2017. - 28 stron : ilustracje ; 30 cm.

(Matematyka. Zestawy materiałów ; cz. 1, zestaw 4)

Autor

Stańdo Jacek.

Temat

Logika matematyczna Matematyka

Gatunek

Poradniki Scenariusze zajęć

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. 53142 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Rozwój myślenia komputacyjnego w szkole ponadpodstawowej. Z. 4, Problemy matematyczne ułatwiające tworzenie zaawansowanych algorytmów w szkole ponadpodstawowej / Monika Spławska-Murmyło, Jacek Stańdo. - Warszawa : Ośrodek Rozwoju Edukacji, 2017. - 26 stron : ilustracje ; 30 cm.

(Informatyka. Zestawy materiałów ; cz. 2, zestaw 8)

Autor

Stańdo Jacek. Spławska-Murmyło Monika

Temat

Nauczanie Internet Pomoce dydaktyczne Informatyka Metody aktywizujące Kombinatoryka Aproksymacja Logika matematyczna

Gatunek

Poradniki

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. 53194 (1 egz.)

Książka

W koszyku

oceń

Wstęp do filozofii / Antoni B. Stępień. - Wyd. 2 [i. e. 3] rozsz. - Lublin : TNKUL, 1989 - 342, [2] s. ; 24 cm.

(Rozprawy Wydziału Filozoficznego / Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego, ISSN 0495-9655 ; 43.)

Autor

Stępień Antoni Bazyli

Temat

Filozofia Logika matematyczna

Symbol UKD: 1(075.8)

Bibliogr. s. 303-325. - Indeks.

dostępna do wypożyczenia

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

Starachowice - wypożyczalnia

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

Brak okładki

Książka

W koszyku

Wstęp do filozofii / Antoni B. Stępień. - Wyd. 3, rozsz. - Lublin : Wydawnictwo Towarzystwa Naukowego Katolickiego Uniwersytetu Lubelskiego , 1995. - 476, [6] s. ; 24 cm .

Autor

Stępień Antoni Bazyli (1931-).

Temat

Filozofia Logika matematyczna

Symbol UKD: 1(075.8)

Bibliogr. - Indeks.

dostępna w czytelni

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

Sandomierz - czytelnia

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

Brak okładki

Książka

W koszyku

oceń

O logice matematycznej i metodzie indukcyjnej / Alfred Tarski. - Lwów : Książnica-Atlas, [1936]. - 167 s. ; 18 cm.

(Bibljoteczka Matematyczna ; 3-4-5.)

Autor

Tarski Alfred (1901-1983).

Temat

Dedukcja. Logika matematyczna.

Symbol UKD: 510.6 162

dostępna w czytelni

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

Kielce - Czytelnia

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

Brak okładki

Książka

W koszyku

oceń

Nadawać światu kształt swoimi czynami : pamięci Profesora Tadeusza Prucnala / red.nauk.Gustaw Treliński - Kielce : Instytut Matematyki WSP im.Jana Kochanowskiego, 1999 - 109,[2] s. : fot.kolor., rys. ; 24 cm

Autor

Treliński Gustaw

Temat

Prucnal Tadeusz Logika matematyczna

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. 233300, 237492 (2 egz.)

Brak okładki

Książka

W koszyku

oceń

Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej. - Wyd. 2 popr. - Kraków : Wydaw. Naukowe WSP, 1984. - 207 s. : rys. ; 24 cm.

Autor

Turnau Stefan

Temat

Logika matematyczna

Symbol UKD: 510.6(075.8)

Bibliogr. s. 207.

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. 176610, 176611 (2 egz.)

Brak okładki

Książka

W koszyku

oceń

Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej. - Kraków : [Wyższa Szkoła Pedagogiczna], 1974 - 207 s. : il. ; 25 cm.

Autor

Turnau Stefan (1931- ).

Temat

Logika matematyczna.

Symbol UKD: 510.6

Bibliogr.

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. 107363 (1 egz.)

Brak okładki

Artykuł

W koszyku

oceń

Jak powstaje nauka / Jan Waszkiewicz. W: Matematyka. - [R.] 59, nr 3 (2006), s. 50-52.

Autor

Waszkiewicz Jan.

Temat

Lakatos, Imre (1922-1974). Logika matematyczna Matematyka

Dokument nadrzędny: Matematyka.

Zawiera rec. książki: Dowody i refutacje : logika odkrycia matematycznego / Imre Lakatos. - Warszawa, 2005.

Książka

W koszyku

oceń

Metody reprezentacji i przetwarzania informacji niepewnej w ramach teorii Dempstera-Shafera / Sławomir Tadeusz Wierzchoń. - Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 1996 (Warsz. : UW). - 215 s. : rys. ; 24 cm.

Autor

Wierzchoń Sławomir Tadeusz.

Temat

Grafy. Logika matematyczna. Rachunek prawdopodobieństwa. Teoria informacji.

Symbol UKD: 621.391

Bibliogr. s. 200-212.- Indeks.

dostępna do wypożyczenia

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

Busko Zdrój - wypożyczalnia

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

Brak okładki

Książka

W koszyku

oceń

Elementy logiki i teorii mnogości : [podręcznik [...] dla I roku studiów nauczycielskich na kierunku matematycznym] / Agnieszka Wojciechowska. - Warszawa : Państ. Wydaw. Naukowe, 1979. - 200 s. : il., tab. ; 21 cm.

Autor

Wojciechowska Agnieszka (1945- ).

Temat

Logika matematyczna.

Gatunek

Podręczniki akademickie.

Symbol UKD: 510.6+510.22](075.8)

Indeksy.

dostępna do wypożyczenia

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

Kielce - Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 148578, 148579, 148577, 148576 (4 egz.)

Busko Zdrój - wypożyczalnia

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

Jędrzejów - wypożyczalnia

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

Kazimierza Wielka - wypożyczalnia

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

Końskie - wypożyczalnia

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

Opatów - wypożyczalnia

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

Ostrowiec - wypożyczalnia

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

Sandomierz - wypożyczalnia

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

Starachowice - wypożyczalnia

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

Staszów - wypożyczalnia

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

Włoszczowa - wypożyczalnia

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

Książka

W koszyku

oceń

Ontologia sytuacji : podstawy i zastosowania / Bogusław Wolniewicz. - Warszawa : Państ. Wydaw. Naukowe, 1985. - 138, [2] s. : ry., wykr. ; 20 cm.

(Logika i Zastosowania Logiki)

Autor

Wolniewicz Bogusław

Temat

Wittgenstein, Ludwig (1889-1951) Logika matematyczna Ontologia

Symbol UKD: 111:510.6

dostępna do wypożyczenia

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

Kielce - Wypożyczalnia

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

Jędrzejów - wypożyczalnia

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

Kazimierza Wielka - wypożyczalnia

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

Końskie - wypożyczalnia

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

Opatów - wypożyczalnia

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

Sandomierz - wypożyczalnia

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

Staszów - wypożyczalnia

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

Włoszczowa - wypożyczalnia

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