Metody logiki. Dedukcja Andrzej Indrzejczak, Marek Nowak
(ebook)
(audiobook)
(audiobook)
- Autorzy:
- Andrzej Indrzejczak, Marek Nowak
- Wydawnictwo:
- Wydawnictwo Uniwersytetu Łódzkiego
- Ocena:
- Stron:
- 144
- Dostępny format:
-
PDF
Czytaj fragment
Opis
książki
:
Metody logiki. Dedukcja
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.
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 -
Koncepcje te zostały przystępnie wyjaśnione właśnie w tej książce. W szczególności zapoznasz się z praktycznymi aspektami probabilistyki, statystyki, algebry liniowej i rachunku różniczkowego. Prezentacji tych zagadnień towarzyszą fragmenty kodu w Pythonie i praktyczne przykłady zastosowań w uczeniu głębokim. Rozpoczniesz od zapoznania się z podstawami, takimi jak twierdzenie Bayesa, a następnie przejdziesz do bardziej zaawansowanych zagadnień, w tym uczenia sieci neuronowych przy użyciu wektorów, macierzy i pochodnych. Dwa ostatnie rozdziały dadzą Ci szansę użycia nowej wiedzy do zaimplementowania propagacji wstecznej i metody gradientu prostego — dwóch podstawowych algorytmów napędzających rozwój sztucznej inteligencji.- Druk
(53,40 zł najniższa cena z 30 dni)
53.40 zł
89.00 zł (-40%) -
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
(35,40 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
(41,40 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
(35,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
(53,40 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
(23,40 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
(35,40 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
(23,40 zł najniższa cena z 30 dni)
23.40 zł
39.00 zł (-40%) -
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
(20,94 zł najniższa cena z 30 dni)
20.94 zł
34.90 zł (-40%) -
Książka stanowi kompendium wiedzy na temat tej niesłychanie szybko rozwijającej się i dynamicznie wkraczającej w nasze życie dziedziny. Została napisana tak, aby była przystępna dla osób posiadających podstawowe umiejętności matematyczne. Może stanowić podręcznik dla studentów takich kierunków jak informatyka, mechatronika, a także automatyka i robotyka.- Druk
- PDF + ePub + Mobi pkt
(29,40 zł najniższa cena z 30 dni)
29.40 zł
49.00 zł (-40%)
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
(22,21 zł najniższa cena z 30 dni)
23.72 zł
27.90 zł (-15%) -
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 -
-
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
(22,28 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
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
Proszę wybrać ocenę!
Proszę wpisać opinię!
Książka drukowana
Proszę czekać...
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.