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