loading
Status zamówienia
61 651 44 95
Zaloguj się
Funkcja dostępna tylko dla zarejestrowanych użytkowników. Zaloguj się lub załóż konto aby otrzymać powiadomienie o dostępności.
Nie pamiętasz hasła?
Zaloguj się przy pomocy
Nie masz konta?
Zarejestruj się
29.69 Książki Wydawnictwo Uniwersytetu Łódzkiego
-26%

Metody logiki
Dedukcja

Indrzejczak Andrzej

,

Nowak Marek

Oprawa: Miękka
29,69 zł
39,90 zł
Cena regularna: 39,90 zł (-26%)
Najniższa cena z 30 dni przed wprowadzeniem obniżki: 29,69 zł (0%)
Produkt chwilowo niedostępny
Kup teraz,
Zapłać za 30 dni

Opis

Metody logiki. Dedukcja to pierwsza publikacja z planowanego cyklu poświęconego najważniejszym metodom i technikom wypracowanym na gruncie nowoczesnej logiki formalnej. W dostępnych monografiach i podręcznikach z zakresu logiki zazwyczaj więcej uwagi poświęcano prezentacji materiału teoretycznego. a zamieszczano zbyt mało wskazówek pokazujących. w jaki sposób konstruować dowody. Niniejsza książka i cały planowany cykl mają wypełnić tę lukę w polskim piśmiennictwie logicznym.Autorzy opracowania przedstawiają rozmaite sposoby konstrukcji dowodów metodą dedukcji naturalnej (założeniową) w logice klasycznej. arytmetyce liczb naturalnych i teorii mnogości. Dedukcja naturalna zaprezentowana jest najpierw w sposób formalny. na przykładach z logiki klasycznej, a następnie zastosowana w nieformalnej postaci do dowodzenia tez w teoriach matematycznych. Za pomocą bogatego materiału ilustracyjnego omówiono różne strategie i techniki dowodzenia, takie jak: wprost, nie wprost, dowody warunkowe i rozgałęzione oraz dowody z wykorzystaniem indukcji matematycznej.

Szczegóły

Tytuł
Metody logiki
Podtytuł
Dedukcja
Autor
Indrzejczak Andrzej , Nowak Marek
Rok wydania
2019
Oprawa
Miękka
Ilość stron
144
Format
16.7x23.9
Języki
polski
Rodzaj
Książka
Stan
Nowy
EAN
9788380883598

Recenzje

Brak recenzji
5
0
4
0
3
0
2
0
1
0
Twoja recenzja
Twoja ocena:
Dziękujemy za dodanie opinii!
Pojawi się po weryfikacji administaratora.
29,69 zł
39,90 zł
Cena regularna: 39,90 zł (-26%)
Najniższa cena z 30 dni przed wprowadzeniem obniżki: 29,69 zł (0%)
Produkt chwilowo niedostępny
Kup teraz,
Zapłać za 30 dni
Dodałeś produkt do koszyka
Metody logiki - Indrzejczak Andrzej, Nowak Marek
Metody logiki
Indrzejczak Andrzej, Nowak Marek
29,69 zł
39,90 zł
Przejdź do koszyka
29,69 zł
Darmowa dostawa od 199 zł Darmowa dostawa od 199 zł
Rabaty do 45% non stop Rabaty do 45% non stop
Ponad 200 tys. produktów Ponad 200 tys. produktów
Bezpieczne zakupy Bezpieczne zakupy
O firmie
Dane firmowe
Księgarnia czytam.pl
ul. Starołęcka 7
61-361 Poznań czytam@czytam.pl
Poczta polska DPD Orlen Paczka InPost
Przelewy24 BLIK VISA MASTERCARD PAYPO