Books tagged with "logika matematyczna"
Elementy teorii mnogości, logiki i teorii zbiorów przybliżonych
Podręcznik przeznaczony jest dla studentów studiów technicznych, zwłaszcza dla studentów kierunku informatyka. Mogą z niego korzystać również uczniowie szkół średnich o profilach matematycznych i informatycznych. Materiał zawarty w podręczniku obejmuje wybrane zagadnienia matematyki dyskretnej (teoria zbiorów i relacji), logiki matematycznej oraz teorii zbiorów przybliżonych ? jako ilustrację praktycznego użycia wybranych pojęć teorii zbiorów i logiki matematycznej.
View DetailsPisma semantyczne
Wybór najważniejszych prac niemieckiego filozofa Gottloba Fregego, które położyły fundamenty pod współczesną logikę i filozofię matematyki. Frege odrzucił XIX-wieczny psychologizm i w swoim opracowaniu podstaw logiki formalnej przedstawił pierwszy w historii sformalizowany system aksjomatyczny.
View DetailsPodstawy matematyki
Książka "Podstawy matematyki" pozwoli zajrzeć w świat myślenia matematycznego, w którym definicje formalne i dowody prowadzą ku zdumiewającym, nowym sposobom definiowania, dowodzenia, obrazowania i zapisu symbolicznego matematyki, dalece wykraczającym poza nasze oczekiwania.
View DetailsPodstawy logiki i teorii mnogości
Książka zawiera wykład podstawowych zagadnień logiki matematycznej i teorii mnogości. Przeznaczony jest 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.
View DetailsMetody 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 przykładów, w jaki sposób konstruować dowody.
View DetailsO twierdzeniach i hipotezach. Matematyka według Delty
Zbiór 44 artykułów, pochodzących z czasopisma Delta, adresowanych do szerokiego grona czytelników, którzy chcieliby poznać najciekawsze osiągnięcia królowej nauk. W sposób wolny od suchego formalizmu i naukowego żargonu, a jednocześnie ścisły i precyzyjny kilkudziesięciu autorów ? profesjonalistów w swojej dziedzinie ? opisuje te twierdzenia i hipotezy, które zdeterminowały współczesny obraz matematyki.
View DetailsWstęp do matematyki współczesnej
Kolejne wznowienie podręcznika znanego wielu pokoleniom studentów matematyki. Zawiera elementy logiki matematycznej, teorii mnogości i algebry abstrakcyjnej w zakresie zapewniającym czytelnikowi odpowiednie przygotowanie do studiowania matematyki. Publikacja jest przeznaczona przede wszystkim dla studentów pierwszego roku matematyki na uniwersytetach, których zgodnie z programem studiów, obowiązuje wykład Wstęp do matematyki.
View Details