Jest to produkt cyfrowy do pobrania - e-book

 

TYTUŁ: Metody logiki Dedukcja  - e-book EAN: 9788380883604 Rodzaj: e-book Format pliku: pdf Autor: Andrzej Indrzejczak, Marek Nowak Język publikacji: polski Rok wydania: 2016

 

Opis wydawnictwa:

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.

 

 

----

Ważne informacje o produkcie:

Produkt w wersji cyfrowej do pobrania. Po zakupie zamówienie zostanie wysłane w formie linku do pobrania w wiadomości email.

Realizacja zamówienia trwa do 30 minut od jego opłacenia. Zamówione pliki zostaną do Ciebie przesłane w formie linku do pobrania w oddzielnej wiadomości e-mail. Pobrane pliki cyfrowe w zależności od formatów przeczytasz na: czytniku (Kindle, PocketBook, Onyx, Kobo i inne), smartfonie, tablecie lub komputerze.

UWAGA!!

W przypadku formatów epub oraz mobi przed pobraniem należy posiadać dodatkowe oprogramowanie umożliwiające otworzenie takiego pliku

 

• mobi - format dedykowany na czytnik Amazon Kindle. Aby otworzyć ten rodzaj pliku, należy przesłać pobraną publikację na swój czytnik Amazon Kindle, lub posiadać na komputerze czy urządzeniu mobilnym dedykowaną aplikację Amazon Kindle, w której będziemy mogli otworzyć plik
• epub - najpopularniejszy format dla publikacji elektronicznych. Ten typ pliku otworzymy na komputerze, urządzeniu mobilnym lub czytniku po wcześniejszym zainstalowaniu aplikacji, która odczyta ten typ pliku.

Takimi aplikacjami mogą być:

• Książki Google Play - bezpłatny program do pobrania z Google. Umożliwia otwarcie dowolnego pliku epub
• Freda epub reader - bezpłatny program na komputery z systemem Windows (do pobrania ze sklepu Microsoft Store)
• Książki - bezpłatna aplikacja na komputery i telefony z systemem macOS lub iOS (urządzenia marki Apple) umożliwia otworzenie pliku epub

 

Informacja o dostępnym formacie e-booka, dostępna jest w opisie aukcji produktu.

 

Twój plik cyfrowy zostanie zabezpieczony za pomocą znaku wodnego i nie posiada DRM. Znak wodny zawiera dane kupującego podane w Arena.