A matematika gyakorlati alapjai

Olvasói vélemények

A könyv kísérletet tesz arra, hogy széles körű áttekintést nyújtson a kortárs matematikai alapokról és azok alkalmazhatóságáról a matematikában és az informatikában. Míg sok recenzens szerint a könyv érthető és élvezetes a kifejtése, mások kritizálják a zavaros bemutatását, a részletesség hiányát és az ígért témáktól való eltérést.

A könyv motiválja és összekapcsolja a fogalmakat a tudományágak között, élvezetes és lényeglátó kifejtést nyújt. A matematika, a filozófia, a logika és az elméleti informatika alapvető témáit tárgyalja, így a témákban jártasak számára is alkalmas.

Az expozíció zavaros, sok tételt bizonyítás nélkül mutat be, és néhány bizonyítást tévesnek tart. Az írást egyes recenzensek zavarónak tartják, hiányzik belőle a megfelelő alapozás és a világos szervezés, ami miatt érintőleges gondolatokba téved.

(4 olvasói vélemény alapján)

Eredeti címe:

Practical Foundations of Mathematics

Könyv tartalma:

A matematika gyakorlati alapjai a matematikai gondolkodás alapjait ismerteti mind a tiszta matematikában (különösen az algebrában és a topológiában), mind az informatikában. A kötet a formális logika mellett a számítógépes nyelvek és a "közérthető" matematikai bizonyítások kapcsolatát is vizsgálja.

A könyv megismerteti az olvasót a diszkrét matematikával, az érveléssel és a kategorikus logikával. Új megközelítést kínál a terminusalgebrák, az indukció és a rekurzió témakörében, és részletesen bizonyítja a típusok és kategóriák ekvivalenciáját.

Minden egyes gondolatot széleskörű példákkal illusztrál, és kritikusan követi végig a természetes útját, túllépve a diszciplináris határokon az univerzális algebra, a típuselmélet, a kategóriaelmélet, a halmazelmélet, a nyesedékelmélet, a topológia és a programozás területén. A számítástechnika, a matematika és a filozófia hallgatói és tanárai egyaránt olvasmányosnak és tartósan értékes referenciamunkának fogják találni ezt a könyvet.