Dostawa: od 6,99 zł (darmowa dostawa z abonamentem Legimi dla zakupu od 50,00 zł)
Czas wysyłki: 1-2 dni robocze + czas dostawy
Dostawa: od 6,99 zł (darmowa dostawa z abonamentem Legimi dla zakupu od 50,00 zł)
Czas wysyłki: 1-2 dni robocze + czas dostawy
Dowiedz się więcej.
- Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
- Kategoria: Literatura popularnonaukowa
- Język: polski
Prezentowana praca jest pomyślana jako wprowadzenie do niezwykle bogatej i złożonej problematyki związanej z teorią i zastosowaniami rachunków sekwentowych. Chcąc zachować rozsądne rozmiary książki siłą rzeczy dokonano w niej wyboru zagadnień, które w przekonaniu autora są najważniejsze czy po postu interesujące. Nacisk został położony na metodologiczne aspekty RS, toteż nie jest to praca z zakresu teorii dowodu, w której RS jest narzędziem do prezentacji wyników tej teorii.
Liczba stron: 300
Rok wydania: 2013
Format (wymiary): 17.0x24.0cm
ISBN: 9788375258127
