Logika matematyczna - Jerzy Słupiecki - książka wyd. 1976
45,67 zł 59,00 zł
tezeusz.pl Zobacz w sklepie Opis
„Logika matematyczna” to dziedzina nauki zajmująca się formalnym badaniem poprawności rozumowań przy użyciu metod matematycznych. Obejmuje analizę rachunku zdań, rachunku predykatów, teorii zbiorów oraz zagadnień związanych z dowodzeniem twierdzeń. Stanowi podstawę współczesnej filozofii analitycznej, informatyki teoretycznej i matematyki, umożliwiając precyzyjne formułowanie twierdzeń oraz badanie ich prawdziwości. To obszar wiedzy kluczowy dla zrozumienia struktury języka formalnego i zasad wnioskowania.