Newsletter

Metody logiki Dedukcja

Andrzej Indrzejczak , Marek Nowak
Nicht am Lager
Ostatnio widziany
05.09.2021
49,39 zł
Dostawa Deutche Post tylko 1.40€.
Szybki kurier do 30kg tylko - 4€!
(Sprawdź!)

lub
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.

Informacja dotycząca wprowadzenia produktu do obrotu:
Ten produkt został wprowadzony na rynek przed 13 grudnia 2024 r. zgodnie z obowiązującymi wówczas przepisami (Dyrektywą o ogólnym bezpieczeństwie produktów). W związku z tym może on być nadal sprzedawany bez konieczności dostosowania do nowych wymogów wynikających z Rozporządzenia o Ogólnym Bezpieczeństwie Produktów (GPSR). Produkt zachowuje pełną legalność w obrocie, a jego jakość i bezpieczeństwo pozostają zgodne z obowiązującymi wcześniej standardami.


Information regarding product placement on the market:
This product was placed on the market before December 13, 2024, in accordance with the applicable regulations at the time (the General Product Safety Directive). As a result, it can continue to be sold without needing to meet the new requirements introduced by the General Product Safety Regulation (GPSR). The product remains fully compliant with all previously valid legal standards, ensuring its continued quality and safety.


Książka Metody logiki wysyłka Niemiecy od 1.40€. Wysyłka do Austrii i innych krajów - sprawdź na stronie "dostawa"

Dane bibliograficzne / Bibliographische info
Rodzaj (nośnik) / Produkt-Typ Buch auf Polnish
Dział / Departement Książki i czasopisma / Bücher und Zeitschriften
Autor / Author Andrzej Indrzejczak , Marek Nowak
Tytuł / Titel Metody logiki
Podtytuł / Untertitel Dedukcja
Język / Sprache polski / polnisch
Wydawca / Herausgeber Wydawnictwo Uniwersytetu Łódzkiego
Rok wydania / Erscheinungsjahr 2019
Rodzaj oprawy / Deckelform Miękka
Wymiary / Größe 16.7x23.0
Liczba stron / Seiten 144
Ciężar / Gewicht 0,25 kg
   
Wydano / Veröffentlicht am 18.01.2017
EAN/UPC 9788380883598
Stan produktu / Zustand Neue Bücher - wir verkaufen nur neue, polnische Bücher.


Zapraszamy do zakupu tego produktu.