Hvað er tölvunarstærðfræði?Henning Úlfarsson, tölvunarfræðideild HR

Tölvur geta allt í dag!• Spila skák• Mannlaus farartæki• Vandamál í stærðfræði• Sífellt öflugri, smærri ...

Tölvur í stærðfræði• 4-litanleg net• Formlegar sannanir• Uppgötvun eiginleika• Tilgátuprófanir

Stærðfræði í tölvum• Rökfræði• “Sönnuð forrit”• Flókin líkön• Reiknirit

Spurningar?http://www.ru.is/td/grunnnam/