29.08.2013 Views

Föreläsningsmaterial

Föreläsningsmaterial

Föreläsningsmaterial

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Olöst i 250 år<br />

Det var en gång...<br />

Oavgörbarhetsproblemet (Hilbert &<br />

Ackermann, 1928)<br />

"Skapa ett datorprogram som tar som<br />

indata en definition av ett formellt språk<br />

och ett matematiskt uttryck beskrivet i<br />

språket. Programmet ska returnera sant<br />

eller falskt beroende på om uttrycket<br />

evaluerar till sant eller falskt."

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!