View
530
Download
4
Embed Size (px)
Citation preview
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/