Matematinė logika
Matematinė logika nagrinėja teiginių, argumentų ir struktūrų pagrindus analitinėje mąstytojo veikloje, todėl ji itin svarbi studijuojantiems matematiką ir filosofiją. Ši kategorija siūlo tiek klasikinius, tiek šiuolaikinius leidinius, praturtinančius supratimą apie loginius proveržius ir analitinius mąstymo principus, kurie padeda formuoti tvirtą bazę bet kokiam mokslo ir technikos disciplinų studijoms.
Why Machines Learn: The Elegant Maths Behind Modern AI
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Unequal: The Maths of When Things Do and Don't Add Up
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
How to Prove It: A Structured Approach: A Structured Approach
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Is Maths Real?: How Simple Questions Lead Us to Mathematics' Deepest Truths
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Why Machines Learn: The Elegant Maths Behind Modern AI
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Logic: A Very Short Introduction
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Computational Complexity: A Modern Approach
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Mathematical Intelligence: What We Have that Machines Dont
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Joy of Abstraction: An Exploration of Math, Category Theory, and Life
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Sets, Logic and Categories
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Model Theory : An Introduction
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Mathematical Olympiad Challenges
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Finite Automata, Formal Logic, and Circuit Complexity
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Computability and Logic
Richard C. Jeffrey, George Boolos, John P. Burgess
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Handbook of Model Checking
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Art of Proof: Basic Training for Deeper Mathematics
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
So you think youve got problems?: Surprising and Rewarding Puzzles to Sharpen Your Mind.
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Thinking Better: The Art of the Shortcut
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
A Lambda Calculus Satellite
Giulio Manzonetto, Henk Barendregt
-25% su kodu BOOKS
Nėra sandėlyje
The Joy of Abstraction: An Exploration of Math, Category Theory, and Life
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Principia Mathematica
Bertrand Russell, Alfred North Whitehead
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Principia Mathematica
Bertrand Russell, Alfred North Whitehead
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Language of Mathematics: The Stories behind the Symbols
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Introduction to Homotopy Type Theory
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Logic of Sound and Silence
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Foundations of Mathematics
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Mathematics and Plausible Reasoning [Two Volumes in One]
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Sets, Models and Proofs
Ieke Moerdijk, Jaap van Oosten
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Kategorija "Matematinė logika"
Matematinė logika yra mokslo šaka, nagrinėjanti loginio mąstymo ir argumentavimo struktūras bei principus. Ši sritis yra ypatingai svarbi norint suprasti, kaip veikia matematinės teorijos ir sistemų pamatiniai principai. Tai puiki kategorija tiek studentams, kurie studijuoja matematiką, tiek mokslininkams, siekiantiems gilesnio loginių sistemų supratimo.
Matematinė logika turi ilgą ir turtingą istoriją, pradedant nuo Aristotelio iki šiuolaikinių logikos teoretikų. Šiandien, kaip niekada anksčiau, logika yra būtina analizuojant duomenis, kurti algoritmus ir netgi dirbtinį intelektą. Knygos šioje kategorijoje padeda skaitytojams išmokti esminius mąstymo įgūdžius, kurie yra taikomi įvairiose hideologijose ir praktikose.
Pasineriant į šią knygų kategoriją, skaitytojai gali atrasti įvairius leidinius, kurie supažindina su matematinės logikos principais, tokiomis kaip teoremų įrodymas, dedukcija ir indukcija. Dėmesys skiriamas ne tik klasikinėms teorijoms, bet ir šiuolaikinėms taikymo sritims, tokioms kaip kompiuterinė logika ir filosofinė logika, kurios padeda suprasti šiuolaikinių informacinių technologijų pagrindus.
Knygos šioje kategorijoje yra parašytos žinomų autorių ir leidyklų, kurios specializuojasi matematikos ir logikos srityse, todėl skaitytojai gali būti tikri, kad gaus aukštos kokybės, gerai struktūruotą ir išsamiai paaiškinančią medžiagą. Pasinerti į matematinę logiką yra ne tik įdomu, bet ir itin naudinga visiems, siekiantiems plėtoti savo analitinio mąstymo gebėjimus ir suprasti sudėtingesnes matematikos koncepcijas.