Ressurser

Her er en liten samling av nyttige ressurser.

• Logikk og beregnbarhet av Herman Ruge Jervell; oppgaver fra læreboken til en forløper for dette kurset.
• Her er noe lenker til sider som fjorårets kurs brukte, og som noen kanskje vil ha nytte av. Foreløpig har vi ingen planer om å bruke disse sidene i undervisningen.
• Truth Table Constructor
• Interactive Circuit Tutorial
• Venn Diagrams Tutorial
• Sets and Counting
• Gateway to Logic
• JFLAP Denne vil bli brukt i beregnbarhetsdelen av kurset.
• Man kan finne en del gode artikler om logikk på Wikipedia, Mathworld og Stanford Encyclopedia of Philosophy. Her er bare noen.
• http://en.wikipedia.org/wiki/Logic
• http://en.wikipedia.org/wiki/Propositional_calculus
• http://en.wikipedia.org/wiki/First-order_logic
• http://mathworld.wolfram.com/Logic.html
• http://mathworld.wolfram.com/PropositionalCalculus.html
• http://mathworld.wolfram.com/First-OrderLogic.html
• http://plato.stanford.edu/entries/reasoning-automated/
• http://plato.stanford.edu/entries/logic-classical/
• Dette kurset har gått før i mange former. Her er de gamle kurssidene.
• INF1800 - Høst 2007 (Logikk og beregnbarhet)
• HUMIT1750MN - Høst 2006 (Logikk og beregninger)
• HUMIT1750 - Høst 2005 (Logikk og beregninger)
• HUMIT1750 - Høst 2004 (Logikk og beregninger)
• HUMIT1750 - Høst 2003 (Logikk og beregninger)
• Her er hjemmesidene til kurs som delvis overlapper med dette kurset, og som deler av forelesningsnotatene bygger på.
• MAT1030 - Vår 2008 (Diskret matematikk)
• INF4170 - Vår 2008 (Logikk)
• INF3170 - Vår 2007 (Logikk)
• INF3170 - Vår 2006 (Logikk)
• INF3170 - Spring 2005 (Logic)
• INF3170 - Vår 2004 (Logikk og analysemetoder)
• Tidligere eksamensoppgaver.
• INF1800 - Høst 2007 (Logikk og beregnbarhet): Eksamen (kun logikkdelen)
• HUMIT1750MN - Høst 2006 (Logikk og beregninger): Eksamen Løsningsforslag
• HUMIT1750 - Høst 2005 (Logikk og beregninger): Eksamen
• HUMIT1750 - Høst 2003 (Logikk og beregninger): Eksamen Løsningsforslag
• SLI110 - Høst 2002 (Logikk og beregnbarhet): Eksamen
• SLI110 - Høst 2001 (Logikk og beregnbarhet): Eksamen