Metody logiki. Dedukcja Andrzej Indrzejczak, Marek Nowak
- 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 -
Autor wprowadza Czytelnika w tajniki matematyki stosowanej oraz bada jej związki z matematyką czystą, nauką i inżynierią. Wyjaśnia naturę matematyki stosowanej, omawia jej wczesne osiągnięcia w fizyce i inżynierii oraz jej rozwój jako odrębnej dziedziny po II wojnie światowej. Korzystając z przykładów historycznych, bieżących zastosowań i wyzwań, p- PDF + ePub + Mobi 23 pkt
(22,08 zł najniższa cena z 30 dni)
23.72 zł
27.90 zł (-15%) -
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 44 pkt
(44,50 zł najniższa cena z 30 dni)
44.50 zł
89.00 zł (-50%) -
Zubrin mobilizuje nas do wyjścia myślami poza nasze obecne ograniczenia i wyobrazili sobie przyszłość, w której Czerwona Planeta staje się świadectwem zbiorowej odwagi i hartu. To błyskotliwe dodanie otuchy i wezwanie do działania! James R. Hansen autor bestsellerowej biografii Neila Armstronga Pierwszy człowiek Kolonizacja Marsa przestaje być mrzo- ePub + Mobi 36 pkt
(36,96 zł najniższa cena z 30 dni)
36.00 zł
48.00 zł (-25%) -
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.- PDF + ePub + Mobi
- Druk 29 pkt
(29,49 zł najniższa cena z 30 dni)
29.49 zł
59.00 zł (-50%) -
Niniejszy zbiór zadań z matematyki stanowi uzupełnienie podręcznika M. Dedys, S. Dorosiewicza, M. Ekes i J. Kłopotowskiego Matematyka, zawierającego materiał z zakresu matematyki obowiązujący studentów pierwszego roku studiów licencjackich w Szkole Głównej Handlowej w Warszawie. Program zajęć obejmuje podstawowe zagadnienia, które należą do minimum(21,17 zł najniższa cena z 30 dni)
21.28 zł
26.60 zł (-20%) -
Odkryj potencjał sztucznej inteligencji w swojej edukacji akademickiej dzięki naszemu najnowszemu poradnikowi. Ta książka to niezbędne narzędzie dla każdego studenta, który chce wykorzystać moc AI do zwiększenia efektywności nauki i pisania prac. Nasz kompleksowy przewodnik wprowadza czytelnika w świat możliwości, jakie oferuje sztuczna inteligencj- PDF + ePub + Mobi 34 pkt
-
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.- PDF + ePub + Mobi
- Druk 44 pkt
(44,50 zł najniższa cena z 30 dni)
44.50 zł
89.00 zł (-50%) -
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 19 pkt
(19,50 zł najniższa cena z 30 dni)
19.50 zł
39.00 zł (-50%) -
Niewielkie krzemowe płytki, napędzające niestrudzony postęp technologiczny całego świata zaawansowane układy scalone są dziś niezbędne do działania praktycznie każdego urządzenia, od sprzętu gospodarstwa domowego i linii produkcyjnych w fabrykach po smartfony i najnowsze zdobycze przemysłu zbrojeniowego.- ePub + Mobi 59 pkt
(59,88 zł najniższa cena z 30 dni)
59.93 zł
79.89 zł (-25%) -
Nowa biografia autora bestsellerów Steve Jobs, Leonardo da Vinci, Innowatorzy i Kod życia. Elon Musk to zdumiewająco intymna historia najbardziej fascynującego i kontrowersyjnego innowatora naszych czasów łamiącego zasady wizjonera, który wprowadził świat w erę pojazdów elektrycznych, prywatnej eksploracji kosmosu i sztucznej inteligencji. A, no
- Audiobook MP3 46 pkt
(46,69 zł najniższa cena z 30 dni)
46.59 zł
59.99 zł (-22%)
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@ebookpoint.pl.
- Numer z katalogu:
- 58618
- Rozmiar pliku Pdf:
- 1.5MB
- Pobierz przykładowy rozdział PDF »
Wydawnictwo Uniwersytetu Łódzkiego - inne książki
-
Jestem maniaczką szczegółów. Dotykają samej istoty reportażu jako gatunku. W przeciwieństwie do publicystyki, która zajmuje się tematami ogólnymi, reportaż kieruje się w stronę jednostki i jej intymności, jest tekstem o indywidualnym przeżyciu. A to najlepiej opowiedzieć szczegółem, bo on zaświadcza. Małgorzata Szejnert Szczegół. Okaże się stałym p- PDF + ePub + Mobi 14 pkt
(27,73 zł najniższa cena z 30 dni)
14.36 zł
35.90 zł (-60%) -
KRÓTKIE WPROWADZENIE - książki, które zmieniają sposób myślenia To książka poszerzająca rozumienie przedsiębiorczości, przedstawiająca jej różnorodność, bogactwo form i wieloaspektowość, ale też znaczenie gospodarcze i społeczne. Odkrywa przed Czytelnikiem, że przedsiębiorczość to nie tylko zakładanie firm, lecz także towarzyszą jej dużo głębsze pr- PDF + ePub + Mobi 29 pkt
(13,95 zł najniższa cena z 30 dni)
29.67 zł
34.90 zł (-15%) -
KRÓTKIE WPROWADZENIE - książki, które zmieniają sposób myślenia! Publikacja stanowi zwięzłe kompendium aktualnej wiedzy o procesach ewolucyjnych. Autor, zapraszając Czytelnika w fascynującą podróż po mapie procesów, które doprowadziły do ukształtowania się różnorodności życia, wychodzi z założenia, że jedynym prawdziwym mechanizmem napędowym ewol- PDF + ePub + Mobi 23 pkt
(9,90 zł najniższa cena z 30 dni)
23.72 zł
27.90 zł (-15%) -
Seria W POSZUKIWANIU IDEI XXI WIEKU prezentuje najnowsze publikacje z dziedziny filozofii, nauk społecznych, etyki i neurobiologii, które nie są znane polskiemu czytelnikowi. Stanowią one odbicie najaktualniejszych tendencji intelektualnych we współczesnej humanistyce, naukach przyrodniczych oraz studiach interdyscyplinarnych. W ramach serii dotych- PDF + ePub + Mobi 42 pkt
(38,30 zł najniższa cena z 30 dni)
42.42 zł
49.90 zł (-15%) -
Historia miast przeżywa obecnie rozkwit, o czym świadczą liczne tomy przedstawiające dzieje światowych aglomeracji i mniejszych ośrodków miejskich. Rozmaite aspekty życia miejskiego przybliżane są w naukowych monografiach, esejach, a także w historiach literackich, kryminalnych czy kulinarnych. Poszukiwanie lokalnych tożsamości stanowi przeciwwagę- PDF + ePub + Mobi 109 pkt
(51,60 zł najniższa cena z 30 dni)
109.65 zł
129.00 zł (-15%) -
Czy szczurek Wiechetek dopuścił się kradzieży z włamaniem? Czy krasnoludek Podziomek prał brudne pieniądze? Czy zjedzenie Popiela przez myszy stanowiło zbrodnię zamachu stanu? Czy Koszałek-Opałek popełnił przestępstwo paserstwa lub urzędnicze? Dlaczego król Krak dopuścił się handlu ludźmi, a szewczykowi Dratewce nie można przypisać zabicia Smoka Wa- PDF + ePub + Mobi 30 pkt
Koszałki-opałki, czyli prawo karne w bajkach. Repetytorium dla studiujących, sądowników i podsądnych
(27,84 zł najniższa cena z 30 dni)
30.52 zł
35.90 zł (-15%) -
Przyszło nam żyć w czasach postępującej cyfryzacji i - co za tym idzie - natłoku informacji. Byung-Chul Han wychodzi z przeświadczenia, że nie zamieszkujemy już ziemi, ale Google Earth i Cloud. Informacje wyparły rzeczy - i jest to zmiana fundamentalna. Niegdyś rzeczy ze względu na swoją stałość dawały człowiekowi oparcie, miały swoją historię i bu- PDF + ePub + Mobi 30 pkt
(27,70 zł najniższa cena z 30 dni)
30.52 zł
35.90 zł (-15%) -
Autor zaprasza czytelnika w podróż po historii - od Augusta do Kommodusa - i spuściźnie cesarstwa rzymskiego. Ukazuje je przede wszystkim jako imperium siły stosujące mieszankę przemocy, ucisku, porządku i taktycznego użycia władzy, by zapewnić trwanie jednolitej kultury. Czytelnik dowie się nie tylko, jak powstało imperium, jak nim zarządzano, jak- PDF + ePub + Mobi 23 pkt
(25,22 zł najniższa cena z 30 dni)
23.92 zł
31.90 zł (-25%) -
Autor wychodzi od stosunkowo dobrze rozpoznanego w literaturze zjawiska (m.in. F.A. von Hayek, H. Berman, J. Wróblewski, B. Tamanaha, J. Habermas, L. Wintgens) stopniowego utożsamiania prawodawstwa z legislacyjną kreacją. Ten dominujący sposób myślenia, określany przez Autora mianem "prawnego kreacjonizmu" powoduje zwiększanie się zakresu i ilości(29,95 zł najniższa cena z 30 dni)
25.46 zł
29.95 zł (-15%) -
Hans-JUrgen BOmelburg prezentuje nowatorskie, całościowe i bogato udokumentowane ujęcie historii Łodzi, snując pasjonującą opowieść o tym drugim co do wielkości przez cały wiek XX polskim mieście z perspektywy wielokulturowości i wielojęzyczności. Rozkwit tej miejscowości był zasługą niemieckich, żydowskich i polskich fabrykantów tekstylnych, kupcó- PDF + ePub + Mobi 29 pkt
(27,80 zł najniższa cena z 30 dni)
29.70 zł
34.95 zł (-15%)
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@ebookpoint.pl
Proszę wybrać ocenę!
Proszę wpisać opinię!
Książka drukowana
Oceny i opinie klientów: Metody logiki. Dedukcja Andrzej Indrzejczak, Marek Nowak (0)
Weryfikacja opinii następuje na podstawie historii zamowień na koncie Użytkownika umiejszczającego opinię.