Podstawy logiki i teorii mnogości - Roman Murawski, Kazimierz Świrydowicz
- Dodał: administrator
- Data: 06:25 14-11-2018
- Kategoria: Informatyka i matematyka
Książka zawiera wykład podstawowych zagadnień logiki matematycznej i teorii mnogości przeznaczony dla zaocznych studentów informatyki. Część pierwsza poświęcona jest rachunkowi zdań i rachunkowi predykatów oraz funkcjom logicznym i aksjomatycznemu ujęciu logiki klasycznej. Część druga to wykład elementów tzw. naiwnej (tzn. nieaksjomatycznej) teorii mnogości (algebra zbiorów, relacje, funkcje, teoria mocy). Do książki dołączono dodatek zawierający uwagi historyczne o rozwoju logiki i teorii mnogości. Pełną wersję książki można bezpłatnie pobrać z oficjalnego i legalnego źródła pod poniższym odnośnikiem: http://press.amu.edu.pl/otwarty/item/download/3436.html źródło opisu: http://press.amu.edu.pl/pl/otwarty/item/3760-podst...(?) źródło okładki: http://press.amu.edu.pl/media/k2/items/cache/a2e1c...»
| słowa kluczowe | logika matematyczna, logika formalna, teoria mnogości, logika, podstawy logiki i teorii mnogości, matematyka | ||
| data wydania | 2016 (data przybliżona) | ||
| liczba stron | 162 | ||
| ISBN | 9788323230557 | ||
| język | polski | ||
| kategoria | informatyka i matematyka |
Rejestracja jest za darmo i jest bardzo szybka! Kliknij tutaj aby założyć konto. Trwa to tylko 15 sekund!.
Podobne wpisy do Podstawy logiki i teorii mnogości - Roman Murawski, Kazimierz Świrydowicz
Zrozumieć programowanie - Gynvael Coldwind
Książka jest techniczno-popularyzacyjną pozycją traktującą o programowaniu oraz tematach pokrewnych, i jest napisana z myślą o początkujących oraz średniozaawansowanych programistach, a także osobach, które dopiero chcą rozpocząć przygodę z programow...
Wielkie umysły programowania. Jak myślą i pracują twórcy najważniejszych języków - Shane Warden
Droga od pomysłu do gotowej aplikacji jest długa i kręta. Najprawdopodobniej jednym z najdłuższych jej odcinków jest ten poświęcony na programowanie. Sztab ludzi, wiele języków programowania, technologii i narzędzi. Dzięki świetnej znajomości tych na...
Skuteczny nowoczesny C++. 42 sposoby lepszego posługiwania się językami C++11 I C++14 - Meyers Scott
Do opanowania języków C++11 i C++14 nie wystarcza zapoznanie się z wprowadzonymi w nich funkcjonalnościami (np. deklaracjami typu auto, semantyką operacji move, wyrażeniami lambda i obsługą współbieżności). Sztuką jest nauczenie się korzystania z tyc...
UNIX Programowanie usług sieciowych, Tom 1, API: gniazda i XTI - Richard W. Stevens
Dzieło W. Richarda Stevensa pt. "Programowanie zastosowań sieciowych w systemie UNIX" (WNT 1995) rozrosło się do dziś do dwóch tomów. Jest to bez wątpienia najlepszy i najnowocześniejszy podręcznik programowania sieciowego w systemach uniksowych. Wyd...
Złożoność obliczeniowa - Christos H. Papadimitriou
Nowe wydanie klasycznego podręcznika!Złożoność obliczeniowa jest działem informatyki poświęconym badaniu przyczyn, które sprawiają, że komputery nie do końca radzą sobie z rozwiązywaniem pewnych problemów. Teraz masz przed sobą najlepszy podręcznik z...
Wprowadzenie do HTML5. Autorytety Informatyki - Bruce Lawson, Remy Sharp
HTML5 - początkowo po cichu, ostatnio coraz głośniej - zaczyna gościć w naszych przeglądarkach internetowych. Wbudowane mechanizmy obsługi multimediów, lepsze wykorzystanie formularzy, nowe struktury i semantyka, dzięki którym Twój serwis stanie się...