Metody logiki. Dedukcja
- Wydawnictwo:
- Wydawnictwo Uniwersytetu Łódzkiego
- Ocena:
- Stron:
- 144
- Dostępny format:
-
PDF
Opis
książki
:
Metody logiki. Dedukcja
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.
Wybrane bestsellery
-
Monografia zawiera najważniejsze elementy aksjomatycznej teorii mnogości Zermelo-Fraenkla z aksjomatem wyboru: aksjomatykę, definicje podstawowych pojęć, teorie relacji binarnych, częściowo porządkujących, równoważnościowych, funkcji, liczb porządkowych oraz liczb kardynalnych. Powstała na podstawie wieloletnich wykładów prowadzonych przez autora d -
Ta książka stanowi twardy dowód, że matematyka jest elastyczna, kreatywna i radosna. Potraktuj ją jako fascynującą podróż przez świat matematyki abstrakcyjnej do teorii kategorii. Przekonaj się, że bez formalnej wiedzy w tej dziedzinie możesz rozwinąć umiejętność matematycznego myślenia. Abstrakcyjne idee matematyczne pomogą Ci inaczej spojrzeć na aktualne wydarzenia, kwestie sprawiedliwości społecznej i przywilejów społecznych czy nawet na COVID-19.- Druk
- PDF + ePub + Mobi pkt
(38,35 zł najniższa cena z 30 dni)
35.40 zł
59.00 zł (-40%) -
Marzycie czasem, że potraficie latać niczym ptak? Szybowanie bez trudu ponad wierzchołkami drzew, wznoszenie się i opadanie, zabawa i uniki w trzecim wymiarze. Kiedy w Anglii wystukuję na klawiaturze niniejsze wyrazy, te „lecą” do chmury, gotowe „wylądować” w amerykańskim komputerze. Mogę „polecieć” wirtualnie z Oksfordu do Australii, patrząc po drodze na usytuowane „w dole” Alpy i Himalaje. Nie wiem, czy maszyny antygrawitacyjne rodem z fantastyki naukowej staną się kiedykolwiek rzeczywistością. Wątpię i nie chcę nawet snuć dalszych rozważań na ten temat. Książka, trzymając się naukowych faktów, przedstawia sposoby na pokonanie grawitacji, choć dosłownie uciec przed nią się nie da. Jak nam, ludziom, udało się z naszą technologią, i zwierzętom, z ich uwarunkowaniami biologicznymi, poradzić sobie z problemem oderwania się od stabilnego podłoża: z ucieczką, nawet jeśli tylko na jakiś czas lub częściowo, przed tyranią grawitacji? Jakie benefity w świecie natury niesie latanie?- Druk
- PDF + ePub + Mobi
- Audiobook MP3 pkt
(44,85 zł najniższa cena z 30 dni)
41.40 zł
69.00 zł (-40%) -
Termin „ekopsychiatria” został oficjalnie wprowadzony w latach 70. XX wieku przez Amerykańskie Stowarzyszenie Psychiatrów. Kryje się za nim szerokie, ekologiczne podejście do pacjenta ― uwzględniające nie tylko to, w jakich relacjach społecznych on funkcjonuje, ale także otoczenie i środowisko przyrodnicze, w którym żyje. Okazuje się bowiem, że na kondycję psychiczną człowieka wpływa na przykład zanieczyszczenie powietrza, ruch, przeludnienie czy gęsta zabudowa. Złe warunki życia mogą się przyczyniać do występowania chorób cywilizacyjnych, alergii, infekcji, zwiększonej śmiertelności, jak również sprzyjać takim negatywnym zjawiskom jak bieda, bezdomność, przestępczość i bezrobocie.- Druk
- PDF + ePub + Mobi pkt
(38,94 zł najniższa cena z 30 dni)
35.94 zł
59.90 zł (-40%) -
Ta książka wyjaśni Ci rolę matematyki w tworzeniu, renderowaniu i zmienianiu wirtualnych środowisk 3D, a ponadto pozwoli odkryć tajemnice najpopularniejszych dzisiaj silników gier. Za sprawą licznych praktycznych ćwiczeń zorientujesz się, co się kryje za rysowaniem linii i kształtów graficznych, stosowaniem wektorów i wierzchołków, budowaniem i renderowaniem siatek, jak również przekształcaniem wierzchołków. Nauczysz się używać kodu Pythona, a także bibliotek Pygame i PyOpenGL do budowy własnych silników. Dowiesz się też, jak tworzyć przydatne API i korzystać z nich podczas pisania własnych aplikacji.- Druk
- PDF + ePub + Mobi pkt
(44,50 zł najniższa cena z 30 dni)
53.40 zł
89.00 zł (-40%) -
Na matematykę w szkole kładzie się bardzo duży nacisk. Uczymy się jej przez wiele lat, rozwiązujemy tysiące zadań, często zmagamy się z nią na egzaminach wstępnych i końcowych. Wydawałoby się, że jako ludzie dorośli powinniśmy ją mieć w małym palcu. A jednak mniejsze i większe matematyczne wyzwania towarzyszą nam przez całe życie. Najpowszechniejsze są oczywiście te z procentami - choćby kwestie związane z inflacją, rosnącymi ratami kredytu czy obliczeniami podatkowymi. Często wyzwaniem bywa choćby obliczenie powierzchni ściany, jaką można pomalować jedną puszką farby. Albo zmagania z domowym budżetem... Anegdotom na ten temat nie ma końca.- Druk
(25,35 zł najniższa cena z 30 dni)
23.40 zł
39.00 zł (-40%) -
Czy wiesz, co kryje się w centrum naszej Galaktyki? Czy zastanawiasz się czasem, jak powstają czarne dziury i co one oznaczają dla naszego zrozumienia wszechrzeczy? Czy chcesz poznać tajemnice tych niesamowitych obiektów, które wykraczają poza granice wyobraźni? Jeśli tak, to bestseller Czarne dziury. Klucz do zrozumienia wszechświata jest właśnie dla Ciebie. Znany naukowiec i popularyzator nauki Brian Cox wraz z fizykiem Jeffem Forshawem zabiorą Cię w fascynującą podróż do świata czarnych dziur. Dowiesz się, jak się narodziła koncepcja czarnych dziur, jak Einstein zapoczątkował teorię ogólnej względności, która przewidziała ich istnienie, jak Hawking odkrył, że one promieniują, i jak współczesna fizyka kwantowa próbuje połączyć grawitację z informacją. Ta książka to nie tylko pasjonująca opowieść naukowa, ale także inspirująca wizja kosmosu, w której przestrzeń i czas wyłaniają się z sieci bitów kwantowych, a czarne dziury mogą być kluczem do zrozumienia natury rzeczywistości. Przygotuj się na niesamowitą przygodę, która zmieni Twój sposób patrzenia na wszechświat.- Druk
- PDF + ePub + Mobi pkt
(38,35 zł najniższa cena z 30 dni)
35.40 zł
59.00 zł (-40%) -
Jeśli słowo „szyfr” budzi w Tobie przyjemny dreszczyk emocji, mamy dla Ciebie prawdziwą gratkę. Już za chwilę poznasz największe tajemnice ludzkości. Prezentowane w tej książce tajemnicze kody służyły dyplomatom, armiom pierwszej i drugiej wojny światowej, wreszcie zimnowojennym szpiegom. Były kamyczkami, które wywołały lawinę rewolucji informatycznej. Bez żadnej przesady - oto szyfry, które decydowały o losach świata. I wciąż o nich decydują.- Druk
- PDF + ePub + Mobi pkt
(25,35 zł najniższa cena z 30 dni)
23.40 zł
39.00 zł (-40%) -
Książka "Algorytmika dla studenta i technika programisty" to podręcznik, dzięki któremu czytelnik, bez względu na stopień zaawansowania, zrozumie podstawowy myślenia algorytmicznego. Książka wprowadza w tajniki programowania poprzez zrozumienie zasad projektowania metod rozwiązywania prostych jak i skomplikowanych problemów za pomocą komputera. Dla(30,90 zł najniższa cena z 30 dni)
49.81 zł
74.00 zł (-33%) -
Rozwój intelektu u dziecka nie jest procesem ani ciągłym, ani jednolitym. Każdy rodzic wie, że kolejne umiejętności, zdolność do analizy i syntezy, a także do wyciągania właściwych wniosków w różnych sytuacjach życiowych przychodzą nagle, prawie jak olśnienie. Nie można jednak liczyć na żaden skok w tej dziedzinie, jeśli młody mózg pozbawiony jest pożywki intelektualnej, wielorakiej stymulacji i wyzwań. Dlatego właśnie szczególnie dzieci — choć oczywiście nie tylko one — powinny mieć stały dostęp do zagadek, łamigłówek, ćwiczeń i zadań pobudzających neurony i łączących proces myślenia z koordynacją ruchową, a do tego wciągających i ciekawych. Takie zadania można znaleźć w książce Trening intelektu dla dzieci! Jej autorki, Paulina Mechło i Roksana Kosmala-Kwiatkowska, wiedzą, jak pobudzić różne obszary mózgu dziecka, zapewnić mu świetną zabawę i odpowiednią dawkę wysiłku umysłowego. Ćwicz z dzieckiem myślenie!- Druk
(22,68 zł najniższa cena z 30 dni)
20.94 zł
34.90 zł (-40%) -
Chris Miller przedstawia wciągającą i solidnie udokumentowaną historię chipów, które rządzą światem. Jego książka to pasjonująca opowieść o trwającej bitwie pomiędzy Chinami i USA. Bitwie o kontrolę nad najważniejszym zasobem — technologią mikrochipów, która jest niezbędnym elementem geostrategicznej rywalizacji w XXI wieku.- ePub + Mobi pkt
(46,44 zł najniższa cena z 30 dni)
59.92 zł
74.90 zł (-20%)
Szczegóły książki
- ISBN Ebooka:
- 978-83-808-8360-4, 9788380883604
- Data wydania ebooka :
-
2017-01-23
Data wydania ebooka często jest dniem wprowadzenia tytułu do sprzedaży i może nie być równoznaczna
z datą wydania książki papierowej. Dodatkowe informacje możesz znaleźć w darmowym fragmencie.
Jeśli masz wątpliwości skontaktuj się z nami sklep@helion.pl.
- Numer z katalogu:
- 58618
- Rozmiar pliku Pdf:
- 1.5MB
- Pobierz przykładowy rozdział PDF
Wydawnictwo Uniwersytetu Łódzkiego - inne książki
-
Czy sztuczna inteligencja pozbawia nas pracy? Algorytmy przejmują władzę nad światem? Czy big data sprawia, że jesteśmy bezustannie inwigilowani, a ogromna ilość danych zastępuje ekspertów i naukowców? Cokolwiek sądzimy na te tematy, jedno jest pewne - istnieje heterogeniczne środowisko ludzi zajmujących się tzw. "sztuczną inteligencją" czy tzw. "b -
This volume (the fourth in the series) is dedicated to two mathematicians: Wojciech Kucharz, who celebrates 70th anniversary in 2022 and Tadeusz Winiarski who celebrated the 80th anniversary in 2020. These people were closely associated with our conferences Analytic and Algebraic Geometry. The first one is an active participant of the conferences s -
-
Książka poświęcona jest inteligentnym systemom informatycznym w organizacji, wykorzystującym rozproszone źródła informacji niestrukturalnej dostępne w sieci Internet. W przeciwieństwie do strukturalnych źródeł danych (w formie plikowej lub baz danych) wykorzystywanych przez tradycyjne systemy informatyczne zarządzania, źródła internetowe mają chara -
Big data pokazuje, jak postęp technologiczny spowodowany rozwojem Internetu i cyfrowego wszechświata wpłynął na radykalną transformację nauki o danych. Czym są duże zbiory danych i jak zmieniają świat? Jaki mają wpływ na nasze codzienne życie, a jaki na świat biznesu? W tej książce czytelnik znajdzie odpowiedzi na te pytania.- PDF + ePub + Mobi pkt
(9,90 zł najniższa cena z 30 dni)
23.72 zł
27.90 zł (-15%) -
Książka stanowi wprowadzeni e do analizy statystycznej. Pozwala na zdobycie wiedzy z zakresu statystyki opisowej i wnioskowania statystycznego, kładąc przy tym nacisk nie na matematyczne podstawy omawianych metod, ale na warunki ich stosowania oraz ich ograniczenia. Zawiera także propozycje rozwiązań, gdy optymalna w danej sytuacji metoda nie możeNiedostępna 0.00 zł
-
Since the pioneering work of Dixmier and Segal in the early 50's, the theory of noncommutative LP-spaces has grown into a very refined and important theory with wide applications. Despite this fact there is as yet no self-contained peer-reviewed introduction to the most general version of this theory in print. The present work aims to fill this -
-
W monografii przedstawiono autorskie metody obliczeń, które pozwalają na wyznaczenie gęstości mas w zadanym obszarze na podstawie pomiarów przyspieszenia siły ciężkości, wykonanych na zewnątrz tego obszaru. Szczegółowo rozpatrzono obszary o kształcie prostopadłościennym i kulistym z różnymi wariantami ich podziału na elementy skończone. Podano teżNiedostępna 0.00 zł
-
KRÓTKIE WPROWADZENIE - książki, które zmieniają sposób myślenia! Tomik w zwięzły i przystępny sposób prezentuje historię rozwoju sztucznej inteligencji, jej możliwości i ograniczenia. W jaki sposób działa? W jakich dziedzinach życia może być wykorzystana? Jakie zagrożenia stwarza? Jak zmienia nasze myślenie o człowieczeństwie? * Interdyscypli- PDF + ePub + Mobi pkt
(9,90 zł najniższa cena z 30 dni)
23.72 zł
27.90 zł (-15%) -
Treść tej niedużej książki pokrywa się w zasadzie z treścią wykładów, które od kilku lat prowadzę dla doktorantów Wydziału Matematyki Uniwersytetu Łódzkiego, wybierających w swoim przewodzie doktorskim jako dodatkowy, egzamin z filozofii. Nie są to wykłady z filozofii matematyki w pełnym tego słowa znaczeniu. Zgodnie z tytułem, stanowią one właśnie -
W czasach, kiedy przeciętny użytkownik telefonu sprawdza go ponad sto razy dziennie, umiejętność sprawnego poruszania się w świecie mediów cyfrowych jest kluczowa. Ciągła ich ewolucja wymaga, by wciąż aktualizować swoją wiedzę. W tym celu warto sięgnąć po prezentowaną książkę, w której Andrew McStay z pasją analizuje działania reklamowe największyc- PDF + ePub + Mobi pkt
Niedostępna
Dzięki opcji "Druk na żądanie" do sprzedaży wracają tytuły Grupy Helion, które cieszyły sie dużym zainteresowaniem, a których nakład został wyprzedany.
Dla naszych Czytelników wydrukowaliśmy dodatkową pulę egzemplarzy w technice druku cyfrowego.
Co powinieneś wiedzieć o usłudze "Druk na żądanie":
- usługa obejmuje tylko widoczną poniżej listę tytułów, którą na bieżąco aktualizujemy;
- cena książki może być wyższa od początkowej ceny detalicznej, co jest spowodowane kosztami druku cyfrowego (wyższymi niż koszty tradycyjnego druku offsetowego). Obowiązująca cena jest zawsze podawana na stronie WWW książki;
- zawartość książki wraz z dodatkami (płyta CD, DVD) odpowiada jej pierwotnemu wydaniu i jest w pełni komplementarna;
- usługa nie obejmuje książek w kolorze.
Masz pytanie o konkretny tytuł? Napisz do nas: sklep@helion.pl
Książka drukowana
Oceny i opinie klientów: Metody logiki. Dedukcja Andrzej Indrzejczak, Marek Nowak (0)
Weryfikacja opinii następuję na podstawie historii zamówień na koncie Użytkownika umieszczającego opinię. Użytkownik mógł otrzymać punkty za opublikowanie opinii uprawniające do uzyskania rabatu w ramach Programu Punktowego.