0 POZYCJI
KOSZYK PUSTY

darmowa dostawa

Metody logiki (eBook)

Dedukcja

0.00  (0 ocen)
 Sprawdź recenzje
  • Wydanie: 1, 2016

  • Autor: Andrzej Indrzejczak, Marek Nowak

  • Wydawca: Wydawnictwo Uniwersytetu Łódzkiego

  • Formaty:
    PDF (Watermark)
    Watermark
    Znak wodny czyli Watermark to zaszyfrowana informacja o użytkowniku, który zakupił produkt. Dzięki temu łatwo jest zidentyfikować użytkownika, który rozpowszechnił produkt w sposób niezgodny z prawem. Ten rodzaj zabezpieczenia jest zdecydowanie najbardziej przyjazny dla użytkownika, ponieważ aby otworzyć książkę zabezpieczoną Watermarkiem nie jest potrzebne konto Adobe ID oraz autoryzacja urządzenia.

19,95 zł
16,96 zł
Cena zawiera podatek VAT.
Oszczędzasz 2,99 zł
Wysyłka:
online
Dodaj do schowka

Metody logiki

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.

  • Kategorie:
    1. Ebooki i Audiobooki »
    2. Nauki matematyczno-przyrodnicze »
    3. Matematyka
  • Język wydania: polski
  • ISBN: 978-83-8088-360-4
  • ISBN druku: 978-83-8088-359-8
  • Liczba stron: 144
  • Sposób dostarczenia produktu elektronicznego
    Produkty elektroniczne takie jak Ebooki czy Audiobooki są udostępniane online po uprzednim opłaceniu (PayU, BLIK) na stronie Twoje konto > Biblioteka.
    Pliki można pobrać zazwyczaj w ciągu kilku-kilkunastu minut po uzyskaniu poprawnej autoryzacji płatności, choć w przypadku niektórych publikacji elektronicznych czas oczekiwania może być nieco dłuższy.
    Sprzedaż terytorialna towarów elektronicznych jest regulowana wyłącznie ograniczeniami terytorialnymi licencji konkretnych produktów.
  • Ważne informacje techniczne
  • Minimalne wymagania sprzętowe:
    • procesor: architektura x86 1GHz lub odpowiedniki w pozostałych architekturach
    • Pamięć operacyjna: 512MB
    • Monitor i karta graficzna: zgodny ze standardem XGA, minimalna rozdzielczość 1024x768 16bit
    • Dysk twardy: dowolny obsługujący system operacyjny z minimalnie 100MB wolnego miejsca
    • Mysz lub inny manipulator + klawiatura
    • Karta sieciowa/modem: umożliwiająca dostęp do sieci Internet z prędkością 512kb/s
  • Minimalne wymagania oprogramowania:
    • System Operacyjny: System MS Windows 95 i wyżej, Linux z X.ORG, MacOS 9 lub wyżej, najnowsze systemy mobilne: Android, iPhone, SymbianOS, Windows Mobile
    • Przeglądarka internetowa: Internet Explorer 7 lub wyżej, Opera 9 i wyżej, FireFox 2 i wyżej, Chrome 1.0 i wyżej, Safari 5
    • Przeglądarka z obsługą ciasteczek i włączoną obsługą JavaScript
    • Zalecany plugin Flash Player w wersji 10.0 lub wyżej.
  • Informacja o formatach plików:
    • PDF - format polecany do czytania na laptopach oraz komputerach stacjonarnych.
    • EPUB - format pliku, który umożliwia czytanie książek elektronicznych na urządzeniach z mniejszymi ekranami (np. e-czytnik lub smartfon), dając możliwość dopasowania tekstu do wielkości urządzenia i preferencji użytkownika.
    • MOBI - format zapisu firmy Mobipocket, który można pobrać na dowolne urządzenie elektroniczne (np.e-czytnik Kindle) z zainstalowanym programem (np. MobiPocket Reader) pozwalającym czytać pliki MOBI.
    • Audiobooki w formacie MP3 - format pliku, przeznaczony do odsłuchu nagrań audio.
  • Rodzaje zabezpieczeń plików:
    • Watermark - (znak wodny) to zaszyfrowana informacja o użytkowniku, który zakupił produkt. Dzięki temu łatwo jest zidentyfikować użytkownika, który rozpowszechnił produkt w sposób niezgodny z prawem.
    • Brak zabezpieczenia - część oferowanych w naszym sklepie plików nie posiada zabezpieczeń. Zazwyczaj tego typu pliki można pobierać ograniczoną ilość razy, określaną przez dostawcę publikacji elektronicznych. W przypadku zbyt dużej ilości pobrań plików na stronie WWW pojawia się stosowny komunikat.
    Więcej informacji o publikacjach elektronicznych
Wstęp	9
1	Dowodzenie w logice klasycznej	13
1.1	Klasyczny rachunek zdań	13
1.1.1	Język KRZ	13
1.1.2	Aksjomatyzacja KRZ	16
1.1.3	Dowód	17
1.2	Dedukcja naturalna	20
1.2.1	Pierwotne reguły inferencji	20
1.2.2	Proste dedukcje	21
1.2.3	Dowody założeniowe wprost	23
1.2.4	Dowodzenie nie wprost	24
1.2.5	Dowody a dedukcje	26
1.2.6	Równoważności	28
1.3	Zaawansowana dedukcja	29
1.3.1	Stosowanie założeń dodatkowych	29
1.3.2	Poddowody warunkowe	30
1.3.3	Poddowody nie wprost	32
1.3.4	Poddowody wielokrotne i zagnieżdżone	33
1.4	Dodatkowe środki dowodowe	36
1.4.1	Reguły wtórne	36
1.4.2	Reguły obustronne	38
1.4.3	Dodatkowe reguły konstrukcji dowodu	42
1.4.4	Dodatkowe sposoby dowodzenia równoważności	45
1.5	Klasyczny rachunek kwantyfikatorów	47
1.5.1	Języki pierwszego rzędu	48
1.5.2	Zmienne wolne i związane	51
1.5.3	Podstawianie i zastępowanie	52
1.6	Dowodzenie w rachunku kwantyfikatorów	54
1.6.1	Reguły inferencji dla ∀ i ∃	54
1.6.2	Reguły konstrukcji dowodu dla kwantyfikatorów	58
1.6.3	Reguły wtórne	62
1.6.4	Reguły dla identyczności	64
1.7	Uwagi końcowe	68
1.7.1	Strategie dowodzenia	68
1.7.2	Dowody nieformalne	72
2	Dowodzenie w arytmetyce liczb naturalnych i teorii zbiorów	75
2.1	Arytmetyka elementarna	75
2.1.1	Aksjomaty	75
2.1.2	Dowody indukcyjne	76
2.2	Arytmetyka liczb naturalnych z dodawaniem	77
2.2.1	Aksjomaty i podstawowe własności dodawania	77
2.2.2	Relacja porządku	81
2.3	Arytmetyka z dodawaniem i mnożeniem	84
2.3.1	Aksjomaty i podstawowe własności mnożenia	84
2.4	Teoria mnogości	86
2.4.1	Naiwna teoria zbiorów	86
2.4.2	Paradoks Russella	88
2.5	Teoria zbiorów Zermelo-Fraenkla	89
2.5.1	Aksjomaty teorii mnogości ZF  (bez aksjomatów ufundowania i wyboru)	89
2.5.2	Inkluzja zbiorów	93
2.5.3	Zbiór pusty	95
2.5.4	Zbiór potęgowy zbioru	97
2.5.5	Suma zbioru	98
2.5.6	Para zbiorów, zbiór jednoelementowy	99
2.5.7	Operacje boolowskie na zbiorach, zbiór n-elementowy 	100
2.5.8	Przekrój zbioru niepustego	105
2.6	Algebra Boole’a zbiorów	107
2.6.1	Ciało zbiorów	107
2.6.2	Algebra Boole’a	110
2.7	Relacje i funkcje	112
2.7.1	Para uporządkowana. Produkt kartezjański dwóch zbiorów	112
2.7.2	Relacje binarne	115
2.7.3	Funkcje	119
2.8	Zbiory ufundowane	126
2.8.1	Teoria ZF − z aksjomatem Ω	127
2.8.2	Aksjomat regularności (ufundowania)	136
2.9	Interpretacja arytmetyki elementarnej w teorii ZF	137
2.9.1	Operacja następnika	137
2.9.2	Indukcja	139
Bibliografia	143

Inne wydawcy

Inne z kategorii

Inni Klienci oglądali również

0,01 zł
Produkt niedostępny

Praktyczne metody osiągania sukcesów

Książka będąca światowym bestsellerem składa się z czterech części: w Zdobywaniu fortuny autor radzi, jak gromadzić pieniądze, osiągać majątek, nie posługując się żadnymi kuglarskimi sztuczkami ani formułowaniem złudnych obietnic. Część ta zawiera...
15,74 zł 15,90 zł
Do koszyka

Praktyczne metody osiągania sukcesu. Część 2. Urzeczywistnianie marzeń

Każdy człowiek rodzi się z instynktem sukcesu. O tym czy Ty osiągniesz w życiu to czego zapragniesz zadecydujesz sam. Książka ta i prezentowane w niej metody mają ułatwić Ci osiąganie pożądanego celu. „Urzeczywistnianie marzeń” nie jest uza...
29,70 zł 30,00 zł
Do koszyka

Rola Uczelni oraz metod i technik e-edukacji w uczeniu się przez całe życie

Monografia składa się z ośmiu rozdziałów. Potrzeby edukacyjne współczesnego społeczeństwa i powody, dla których uczenie się przez całe życie jest ważnym zagadnieniem osobistym i społecznym, są tematem rozdziału pierwszego. Rozdział...
41,65 zł 49,00 zł
Do koszyka

Modelowanie zmienności i ryzyka. Metody ekonometrii finansowej

Ekonometria finansowa, włączana zarówno do finansów, jak i ekonometrii, zajmuje się głównie modelowaniem rynków finansowych. Jej gwałtowny rozwój związany jest z rosnącym zapotrzebowaniem na nowe metody prognozowania ...
19,80 zł 20,00 zł
Do koszyka

Metoda projektów w nauczaniu języków obcych

Bardzo istotne jest zwrócenie przez autorkę uwagi na to, że przestrzeń uczenia się powinna być tak ukształtowana, aby mogła odpowiadać rzeczywistości. Funkcja komunikatywna języka […] jawi się szczególnie wyraźnie, gdy staramy się ...
13,93 zł 19,90 zł
Do koszyka

Metoda: Pamiętając o Wczoraj, Opiekując się Dzisiaj – sprawdź, jak ją wykorzystać w usprawnianiu seniorów

Terapię seniorów można oprzeć na filozofii Dekalogu Zdrowego Trybu Życia i metodzie: Pamiętając o Wczoraj, Opiekując się Dzisiaj. Z e-booka dowiesz się, jaki jest gotowy scenariusz terapii zajęciowej i jaki może odnieść skutek.
33,92 zł 39,90 zł
Do koszyka

Metoda Lean Startup. Wykorzystaj innowacyjne narzędzia i stwórz firmę, która zdobędzie rynek

Bestseller na liście „New York Timesa” Rewolucyjna metoda autorstwa Erica Riesa pomoże Ci zamienić Twój nowy pomysł biznesowy na zamierzony efekt końcowy, który będzie jednocześnie udany oraz trwały. Znajdziesz tu innowacyjne ...
35,25 zł 47,00 zł
Do koszyka

SCRUM i nie tylko.Teoria i praktyka w metodach Agile

Od momentu ukazania się pierwszego wydania książki Scrum i nie tylko… na polskim rynku, nastąpił wyraźny postęp w temacie korzystania z metod zwinnych. Coraz rzadziej spotykamy osoby czy organizacje, które nie wiedzą co oznacza hasło Agil...
62,30 zł 89,00 zł
Do koszyka

Dylematy Endodontyczne. Czyli jak skutecznie leczyć metodą klasyczną.

"Dylematy endodontyczne" to niezbędna pozycja w bibliotece każdego endodonty. Dlaczego warto zainteresować się książką? - Uzyskasz odpowiedzi na kluczowe pytania - m. in. jak poradzić sobie z problemami pojawiającymi się podczas leczenia endo...

Recenzje

DODAJ RECENZJĘ
Nikt nie dodał jeszcze recenzji. Bądź pierwszy!
 
Uwaga: Nasze strony wykorzystują pliki cookies.
Używamy informacji zapisanych za pomocą cookies i podobnych technologii m.in. w celu dostosowania serwisu do indywidualnych potrzeb użytkowników oraz w celach statystycznych i reklamowych. Mogą też stosować je współpracujące z nami firmy badawcze. W programie służącym do obsługi Internetu można zmienić ustawienia dotyczące cookies. Korzystanie z naszych serwisów internetowych bez zmiany ustawień dotyczących cookies oznacza, że będą one zapisane w pamięci urządzenia. Więcej informacji można znaleźć w naszej Polityce Prywatności.