Metody logiki Dedukcja

,

Książka
Wysyłka: Niedostępna
Sugerowana cena detaliczna 39,90 PLN
Nasza cena: 29,69 PLN
Oszczędzasz 25%
Dodaj do Schowka
Zaloguj się
Przypomnij hasło
×
×
Paypo
Oferujemy szeroki asortyment - ponad 120 tys. produktów
Dysponujemy solidną wiedzą - działamy już 11 lat
Dbamy o wybór najcenniejszych tytułów

Opis: Metody logiki - Indrzejczak Andrzej, Nowak Marek

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: Metody logiki - Indrzejczak Andrzej, Nowak Marek

Tytuł: Metody logiki
Podtytuł: Dedukcja
Autor: Indrzejczak Andrzej, Nowak Marek
Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
Kod paskowy: 9788380883598
Języki: polski
Rok wydania: 2019
Ilość stron: 144
Format: 16.7x23.9
Oprawa: Miękka
Waga: 0.25 kg


Recenzje: Metody logiki - Indrzejczak Andrzej, Nowak Marek

Zaloguj się
Przypomnij hasło
×
×

Klienci, którzy kupili oglądany produkt kupili także:

Książka

Metody logiki
Dedukcja

,

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.

Powiadom o dostępności
Podaj swój e-mail a zostaniesz poinformowany jak tylko pozycja będzie dostępna.
×

Zapowiedź 2017-01-18

Cena 39,90 PLN
Nasza cena 29,69 PLN
Oszczędzasz 25%
Wysyłka: Niedostępna
Dodaj do Schowka
Zaloguj się
Przypomnij hasło
×
×

Paypo

Szczegóły: Metody logiki - Indrzejczak Andrzej, Nowak Marek

Tytuł: Metody logiki
Podtytuł: Dedukcja
Autor: Indrzejczak Andrzej, Nowak Marek
Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
Kod paskowy: 9788380883598
Języki: polski
Rok wydania: 2019
Ilość stron: 144
Format: 16.7x23.9
Oprawa: Miękka
Waga: 0.25 kg


Recenzje: Metody logiki - Indrzejczak Andrzej, Nowak Marek

Zaloguj się
Przypomnij hasło
×
×

Klienci, którzy kupili oglądany produkt kupili także:


Zaloguj się
Przypomnij hasło
×
×
Dodane do koszyka
×