MENU
Książki po angielsku
  1. Strona główna
  2. Podręczniki szkolne
  3. Metody logiki

Metody logiki

(Miękka)

Dedukcja

0.00  [ 0 ocen ]
 Dodaj recenzję
Rozwiń szczegóły »
Dostępne formaty i edycje
Rok wydania
Cena
eBook (PDF)
2016
19,95 zł 17,16 zł
Produkt niedostępny
Dodaj do schowka
Zarezerwuj i odbierz w księgarni stacjonarnej PWN

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. Podręczniki szkolne
  • Język wydania: polski
  • EAN: 9788380883598
  • Liczba stron: 144
  • Wymiary: 16.7x23.9
  • Waga: 0.25kg
  • Sposób dostarczenia produktu fizycznego
    Sposoby i terminy dostawy:
    • Odbiór osobisty w księgarni PWN - dostawa 2-3 dni robocze
    • Odbiór w InPost Paczkomaty 24/7 - dostawa 1 dzień roboczy
    • Kurier pocztowy (dostawa do domu lub pracy) - dostawa 2 dni robocze
    • Odbiór w Punktach Poczta, Żabka - dostawa 2 dni robocze
    • Punkty partnerskie ORLEN Paczka - dostawa 1-2 dni
    • Kurier (DPD) - dostawa 1 dzień roboczy
    Ważne informacje:
    Czas oczekiwania na zamówiony towar = czas wysyłki produktu + dostawa przez przewoźnika
    • Całkowity czas oczekiwania na realizację zamówienia jest sumą czasu wysyłki podanej na stronie każdego produktu oraz czasu potrzebnego przewoźnikowi na dostarczenie paczki. Podane terminy dotyczą zawsze dni roboczych (od poniedziałku do piątku, z wyłączeniem dni wolnych od pracy).
    • Wysyłkę zamówień prowadzimy jedynie na terenie Polski.
    • Dostawa do Księgarni PWN, punktów ORLEN Paczka, stacji Orlen, sklepów Żabka oraz Paczkomatów InPost nie jest realizowana dla zamówień z płatnością przy odbiorze.
    • Cena towaru na fakturze VAT jest podwyższona o ewentualny koszt transportu.
    • W przypadku zamówienia kilku towarów koszt przesyłki wybranej przez Klienta zostanie podzielony i przyporządkowany proporcjonalnie do cen kupionych produktów.
    • Produkty dostępne w PRZEDSPRZEDAŻY wysyłane są po dacie premiery wydawniczej.
NAZWA I FORMAT
OPIS
ROZMIAR

Przeczytaj fragment

Inni Klienci oglądali również

- 28 %
37,94 zł
52,50 zł
do koszyka

Nowoczesne metody badań zestyków elektrycznych
SPIS TREŚCI1. Wstęp2. Charakterystyka metod badań zestyków elektrycznych2.1. Ogólny opis zjawisk łączeniowych w łączniku zestykowym2.2. Cel i wymagania stawiane metodom badawczym2.3. Charakt...
- 17 %
45,84 zł
54,90 zł
do koszyka

Logika, metafilozofia, filozofia religii
Książka Ryszarda Kleszcza jest zbiorem artykułów, z których większość była już wcześniej publikowana. Artykuły te nie stanowią jednak swoistego filozoficznego jarmarku różności, lecz składają się na spójną całość, w kt&oacut...
- 15 %
58,33 zł
69,00 zł
do koszyka

Wprowadzenie do logiki dla prawników
Wprowadzenie do logiki dla prawników to nowoczesny podręcznik akademicki zawierający podstawowy wykład logiki. Obejmuje on najważniejsze zagadnienia z zakresu semiotyki logicznej, klasycznej logiki formalnej oraz ogólnej metodologii nauk,...
- 35 %
16,28 zł
24,99 zł
do koszyka

Elementarz. Nauka czytania metodą sylabową.
Elementarz. Nauka czytania metodą sylabową to książka przygotowana do nauki liter i czytania przy użyciu metody sylabowej rekomendowanej przez MEN. Dziecko uczy się rozpoznawać poszczególne litery, łączy je w sylaby i odczytuje słowa z nich pows...
- 39 %
21,28 zł
34,90 zł
do koszyka

Elementarz Czytamy metodą sylabową
Mój pierwszy elementarz - czytamy metodą sylabową to książka dla najmłodszych dzieci, które chcą nauczyć się czytać. Metoda sylabowa jest uznawana za najskuteczniejszą i najszybszą, pozwala na bezproblemową naukę. Umożliwia uniknięcie dłu...
- 41 %
11,68 zł
19,90 zł
do koszyka

Elementarz Nauka czytania Metoda sylabowa
Płynne czytanie jest bardzo ważną umiejętnością we współczesnym świecie. Nauka czytania jest więc niezwykle istotna, a jedną z najprostszych i najskuteczniejszych metod tej nauki jest metoda sylabowa. Stosowanie jej w krótkim czasie znacz...
- 39 %
17,05 zł
27,95 zł
do koszyka

Czytanki metodą sylabową
Czytanki metodą sylabową to książka idealna dla każdego dziecka, które zna już literki, umie samodzielnie czytać, ale ma jeszcze z tą umiejętnością problemy i potrzebuje odpowiedniej książki, która zapewni możliwość jej rozwijania - cieka...
- 28 %
30,35 zł
42,00 zł
do koszyka

Metody przetwarzania sygnałów akustycznych w komputerowej analizie mowy
SPIS TREŚCIWykaz ważniejszych skrótów i oznaczeń1. Wstęp2. Matematyczny opis sygnałów mowy3. Filtracja w procesie analizy i przetwarzania sygnałów mowy4. Analiza traktu głosowego5. S...
- 16 %
37,94 zł
45,00 zł
do koszyka

Metoda projektu w doradztwie zawodowym
Książka powstała z myślą o tych wszystkich, którzy chcą pomóc uczniom „oderwać się od krzeseł” i wyruszyć w świat, by szukać w nim miejsca dla siebie.Poradnik zawiera przegląd scenariuszy warsztatów edukacyj...

Recenzje

Nikt nie dodał jeszcze recenzji. Bądź pierwszy!