Ukryj filtry
Sortowanie
Źródło opisu
Katalog księgozbioru
(5)
Dostępność
dostępne
(4)
tylko na miejscu
(4)
nieokreślona
(1)
Placówka
Wypożyczalnia
(5)
Czytelnia - Magazyn
(4)
Autor
Stanosz Barbara
(2)
Ben-Ari M
(1)
Czaplicki Władysław
(1)
Krysicki Włodzimierz (1905-2001)
(1)
Leitner Roman
(1)
Pokaż więcej ...
Matuszewski Wojciech
(1)
Miłkowska Mirosława
(1)
Rojek Zdzisław
(1)
Terlikowski Władysław
(1)
Świątkowski Tadeusz (1933-1994)
(1)
Pokaż mniej ...
Rok wydania
2000 - 2009
(4)
1980 - 1989
(1)
Kraj wydania
Polska
(5)
Język
polski
(5)
5 wyników Filtruj
Brak okładki
Książka
W koszyku
Logika matematyczna w informatyce / M. Ben-Ari ; Tł. Mirosława Miłkowska. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2005. - 335 s. : rys. ; 25 cm.
(Klasyka Informatyki)
Temat
Logika
Instytut: IS
Indeks ISBN: 83-204-2972-2
1. Wprowadzenie 2. Rachunek zadań: formuły, modele, tabele semantyczne; 3. Rachunek zadań: systemy dowodzenia; 4. Rachunek zadań: rezolucja i diagramy binarnych decyzji; 5. Rachunek predyktatów: formuły, modele, tabele sematyczne; 6. Rachunek predykatów: systemy dowodzenia; 7. Rachunek predykatów: rezolucja; 8. Programowanie w logice; 9. Programy: sematyka i weryfikacja; 10. Programy: formalne specyfikacje w notacji Z; 11. Logika temporalna: formuły, modele, tabele semantyczne; 12. Logika temporalna: systemy dowodzenia i zastosowania;
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 24788 (1 egz.)
Czytelnia - Magazyn
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 24787/XXI czyt. (1 egz.)
Brak okładki
Książka
W koszyku
Ćwiczenia z logiki / Barbara Stanosz. - Warszawa : Wydawnictwo Naukowe PWN, 2003. - 179 [5] s. ; 24 cm.
Temat
Logika
Instytut: ZiM
Indeks ISBN: 83-01-12734-1 83-01-14428-9
Cz.1: Klasyczny rachunek logiczny; Rozdział 1: Rachunek zadań; Rozdział 2: Rachunek kwantyfikatorów; Cz.2: Rachunek zbiorów i relacji;
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 10104 (1 egz.)
Czytelnia - Magazyn
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 10103/V czyt. (1 egz.)
Książka
W koszyku
Ćwiczenia z logiki / Barbara Stanosz. - Wyd. 16 rozsz. - Warszawa : Wydawnictwo Naukowe PWN, 2005. - 154, [1] s. : il. ; 24 cm.
Temat
Logika
Instytut: ZiM
Indeks ISBN: 83-01-12734-1 83-01-14428-9
Cz.1: Klasyczny rachunek logiczny; Rozdział 1: Rachunek zadań; Rozdział 2: Rachunek kwantyfikatorów; Cz.2: Rachunek zbiorów i relacji;
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 20717, 20716 (2 egz.)
Czytelnia - Magazyn
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 20715/VI czyt. (1 egz.)
Brak okładki
Książka
W koszyku
Zadania z matematyki wyższej. Cz. 1 / Roman Leitner, Wojciech Matuszewski, Zdzisław Rojek. - Wyd. 6. - 271 [1] s. : rys., wykr.
Instytut: IS
Indeks ISBN: 83-204-2852-1 83-204-2851-3 całość
Rozdział 1: Logika - 13; Rozdział 2: Liczby, zbiory, odwzorowania, symbole - 22; Rozdział 3: Równania liniowe, macierze, wyznaczniki- 39; Rozdział 4: Wektory w przestrzeni geometrycznej - 50; Rozdział 5: Proste i płaszczyzny-68; Rozdział 6: Ciągi i szeregi liczbowe-80; Rozdział 7: Funkcje jednej zmiennej(granice,pochodne)-93; Rozdział 8: Funkcje jednej zmiennej(przyrosty,różniczki,ekstrema)-114; Rozdział 9: Funkcje dwóch zmiennych-127;Rozdział 10: Funkcje wielu zmiennych-139; Rozdział 11: Funkcje uwikłane. Ekstremum warunkowe-149; Rozdział 12: Krzywe na płaszczyźnie i w przestrzeni-156; Rozdział 13: Powierzchnie-172;
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 14690 (1 egz.)
Czytelnia - Magazyn
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 14689/XXI czyt. (1 egz.)
Książka
W koszyku
Tematy egzaminów wstępnych z matematyki na wyzsze uczelnie. część pierwsza / W. Krysicki, W. Czapliński, T. Świątkowski, W. Terlikowki. - Wydanie 4. - Warszawa : Państwowe Wydawnictwo Naukowe, 1986. - 299, [3] strony : bilustracje ; 24 cm.
Dziedzina i ujęcie
Matematyka
Indeks ISBN: 83-01-06499-4
Zbiór zadań i tematów z matematyki wyższej przeznaczonych dla studentów.
brak informacji o dostępności
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Brak informacji o dostępności: sygn. 59102/D (1 egz.)
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
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