Metody logiki. Dedukcja

OSZCZĘDZASZ 4,00 ZŁ

okładka

Metody logiki. Dedukcja

10% taniej

Inpost Paczkomaty 24/79,99 zł
Kurier Inpost9,99 zł
Kurier FedEx11,99 zł
Kurier Pocztex 48h9,99 zł
Paczka w Ruchu6,99 zł
Odbiór osobisty0 zł

Przy płatności za pobraniem do ceny wysyłki należy doliczyć 5,00 zł

Wysyłka zagraniczna

Dostępność: 1-2 dni robocze

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.

DODATKOWE INFORMACJE

  • Format:167x239 mm
  • Liczba stron:144
  • Oprawa:miękka
  • ISBN-13:9788380883598
  • Data wydania:18 styczeń 2017
  • Numer katalogowy:325560

Lista recenzji jest pusta

DOSTAWA

DARMOWA dostawa powyżej 299 zł!

Realizacja dostaw poprzez:

  • ups
  • paczkomaty
  • ruch
  • poczta

OPINIE

Nasza strona używa plików cookies, w celu ułatwienia Ci zakupów. Więcej informacji znajdziesz w polityce prywatności

© 2006-2021 Gildia Internet Services Sp. z o.o. and 2017-2021 Prószyński Media Sp z o.o.