Form of Work
Książki
(5)
Publikacje dydaktyczne
(1)
Status
available
(4)
only on-site
(4)
unknown
(1)
Branch
Wypożyczalnia
(5)
Czytelnia - Magazyn
(4)
Author
Stanosz Barbara
(2)
Ben-Ari M
(1)
Czaplicki Władysław
(1)
Krysicki Włodzimierz (1905-2001)
(1)
Leitner Roman
(1)
Matuszewski Wojciech
(1)
Miłkowska Mirosława
(1)
Rojek Zdzisław
(1)
Terlikowski Władysław
(1)
Świątkowski Tadeusz (1933-1994)
(1)
Year
2000 - 2009
(4)
1980 - 1989
(1)
Time Period of Creation
1901-2000
(1)
1945-1989
(1)
Country
Poland
(5)
Language
Polish
(5)
Subject
Logika
(4)
Algebra
(1)
Analiza matematyczna
(1)
Geometria
(1)
Geometria analityczna
(1)
Logika matematyczna
(1)
Matematyka
(1)
Rachunek prawdopodobieństwa
(1)
Trygonometria
(1)
Genre/Form
Ćwiczenia i zadania dla szkół wyższych
(1)
Domain
Matematyka
(1)
5 results Filter
No cover
Book
In basket
(Klasyka Informatyki)
Instytut: IS
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;
This item is available in 2 branches. Expand the list to see details.
Wypożyczalnia
There are copies available to loan: sygn. 24788 (1 egz.)
Czytelnia - Magazyn
Copies are only available in the library: sygn. 24787/XXI czyt. (1 egz.)
No cover
Book
In basket
Ćwiczenia z logiki / Barbara Stanosz. - Warszawa : Wydawnictwo Naukowe PWN, 2003. - 179 [5] s. ; 24 cm.
Instytut: ZiM
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;
This item is available in 2 branches. Expand the list to see details.
Wypożyczalnia
There are copies available to loan: sygn. 10104 (1 egz.)
Czytelnia - Magazyn
Copies are only available in the library: sygn. 10103/V czyt. (1 egz.)
Book
In basket
Ćwiczenia z logiki / Barbara Stanosz. - Wyd. 16 rozsz. - Warszawa : Wydawnictwo Naukowe PWN, 2005. - 154, [1] s. : il. ; 24 cm.
Instytut: ZiM
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;
This item is available in 2 branches. Expand the list to see details.
Wypożyczalnia
There are copies available to loan: sygn. 20717, 20716 (2 egz.)
Czytelnia - Magazyn
Copies are only available in the library: sygn. 20715/VI czyt. (1 egz.)
No cover
Book
In basket
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;
This item is available in 2 branches. Expand the list to see details.
Wypożyczalnia
There are copies available to loan: sygn. 14690 (1 egz.)
Czytelnia - Magazyn
Copies are only available in the library: sygn. 14689/XXI czyt. (1 egz.)
Book
In basket
This item is available in one branch. Expand information to see details.
Wypożyczalnia
Brak informacji o dostępności: sygn. 59102/D
The item has been added to the basket. If you don't know what the basket is for, click here for details.
Do not show it again