Andrzej Indrzejczak – Rachunki sekwentowe w logice klasycznej
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 ...
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 ...
Zmotywowani, zaangażowani i zadowoleni pracownicy to marzenie niemal każdej firmy. Zalet takiego stanu rzeczy jest bez liku, począwszy od wymiernych...
Zbiór opowiadań znakomitego pisarza, Stefana Grabińskiego, tworzącego przed drugą wojną światową, specjalizującego się w opowieściach niesamowitych, zwanego polskim Edgarem Allanem...
Współcześnie, aby poznać odległą przestrzeń, nie musimy opuszczać domowych pieleszy. Wystarczy bowiem zerknąć na ekran telewizora lub monitor, by oddać...
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.