Nettsider med emneord «Logikk»

Bildet kan inneholde: .
Publisert 12. sep. 2019 18:04

Denne oppgaven kombinerer verktøy for logikk og formelle bevis med teori for programmeringsspråk som semantikk, type systemer, og statisk analyse. Oppgaven passer for deg som er interessert i både logikk og programmeringsspråk.

Bildet kan inneholde: tegnefilm, optisk instrument.
Publisert 12. sep. 2019 16:19

CRAM (Cognitive Robot Abstract Machine) er et programmeringssystem for autonome roboter. Oppgaven består i å utvikle en formell semantikk for CRAM, som gjør det mulig å resonnere om oppførselen til autonome roboter.

Publisert 13. aug. 2019 14:11
Publisert 6. des. 2016 14:02
Publisert 16. okt. 2013 12:06
Publisert 3. sep. 2013 16:36
Publisert 30. juni 2011 10:13
Publisert 12. mars 2011 09:50
Publisert 13. nov. 2010 14:51
Publisert 13. nov. 2010 14:19
Publisert 13. nov. 2010 11:52
Publisert 4. nov. 2010 14:18
Publisert 4. nov. 2010 14:12
Publisert 4. nov. 2010 14:00
Publisert 4. nov. 2010 13:59
Publisert 4. nov. 2010 13:45