RUC-lektor i datalogi sætter logikken på ny formel

Press/Media: Press / Media

Description

En ny bog om datalogi og hybridlogik af Torben Braüner sætter den almindelige læsers forståelse af tid og logik på en vanskelig prøve. ”Tiden er noget mærkeligt noget.” Sådan synger Kaj og Andrea i ’2-minutter sangen’. Det er da nok også de færreste, der ved, hvad logik, filosofiske begreber om tid og så computere har med hinanden at gøre. Men i en ny bog med titlen ’Hybrid Logic and its Proof-Theory’ forsøger lektor i datalogi ved RUC Torben Braüner at gøre os klogere på nye logiske måder at ræsonnere om tid på; måder der bl.a. kan give bedre løsninger på datalogiske problemer, fx i forbindelse med kunstig intelligens i robotter og andre ’intelligente’ computere.
Period31 Jan 2011

Media coverage

1

Media coverage

  • TitleRUC-lektor i datalogi sætter logikken på ny formel
    Media name/outletRUCnyt nr. 8
    Date31/01/2011
    PersonsTorben Braüner