Muutke küpsiste eelistusi

E-raamat: Temporal Logic: From Ancient Ideas to Artificial Intelligence

4.33/5 (3 hinnangut Goodreads-ist)
,
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 159,93 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Temporal Logic: From Ancient Ideas to Artificial IntelligenceSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.

Muu info

Springer Book Archives
Introduction: Logic and the study of time.- Introduction: Logic and the
study of time.- Time and Logic From Synthesis to Dissociation.- The
sea-fight tomorrow.- The master argument of Diodorus Cronus.- The study of
tenses in the middle ages.- Temporal ampliation.- The duration of the
present.- The logic of beginning and ending.- Time and consequentia.-
Temporalis the logic of While.- Human freedom and divine foreknowledge.-
The downfall of medieval tense-logic.- Logic as a timeless science.- Time and
Logic Reunited.- The 19th century and Boolean logic.- C.S. Peirce on time and
modality.- ?ukasiewiczs contribution to temporal logic.- A three-point
structure of tenses.- A.N. Priors tense-logic.- The idea of branching time.-
Tense logic and special relativity.- Some basic systems of temporal logic.-
Four grades of tense-logical involvement.- Metric tense logic.- Modern issues
in temporal logic.- Two paradigms of temporal logic.- Indeterministic tense
logic.- Leibnizian tense logic.- Tense logic and counterfactual reasoning.-
Logic of durations.- Graphs for time and modality.- Temporal logic and
computer science.- Conclusion.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97805853746352e.html
Märksõnad: