Johdatus modaalilogiikkaan tutkii modaalikäsitteiden filosofisia ja matemaattis-loogisia ongelmia. Sen käsitteellisenä lähtökohtana on mahdollisten maailmojen semantiikka. Teoksessa tarkastellaan modaalilogiikan perusteita filosofisesta, historiallisesta ja osittain formaalista näkökulmasta. Lisäksi siinä keskitytään modaalilogiikan matemaattiseen ja formaaliin puoleen ja esitetään useiden keskeisten tulosten täsmälliset todistukset. Formaalit tarkastelut ovat havainnollisia, ja jotkut käsitteet esitellään nimenomaan esimerkkien avulla. Teosta voidaan käyttää oppikirjana logiikan erikoiskursseilla filosofiassa, matematiikassa, tietojenkäsittelytieteessä ja muissa oppiaineissa, joissa modaalikäsitteitä tarvitaan. Se soveltuu myös itseopiskeluun, sillä se sisältää runsaasti esimerkkejä ja harjoituksia, jotka havainnollistavat ja täydentävät esiteltyjä teorioita.
Johdatus modaalilogiikkaan
Aloita tämä kirja jo tänään, hintaan 0 €
- Kokeilujakson aikana käytössäsi on kaikki sovelluksen kirjat
- Ei sitoumusta, voit perua milloin vain
Kirjailijaa:
Kieli:
suomi
Muoto:
Of Living Valour : The Story of the Soldiers of Waterloo
Black Death
Soviet Tragedy: A History of Socialism in Russia
Fluke : The Math and Myth of Coincidence
Bitter Ocean : The Battle of the Atlantic, 1939-1945
Anatomy 101 : From Muscles and Bones to Organs and Systems, Your Guide to How the Human Body Works
How the End Begins : The Road to a Nuclear World War III
The Ultimate Battle : Okinawa 1945--The Last Epic Struggle of World War II
Applied Computational Thinking with Python : Algorithm design for complex real-world problems
Tinnitus Retraining Therapy : A Beginner's Quick Start Overview and Guide to Managing Tinnitus Through TRT and Other Methods
Masters of the Air: America's Bomber Boys Who Fought the Air War Against Nazi Germany
Operation Cobra and the Great Offensive : Sixty Days That Changed the Course of World War II
