Hvað er tölvunarstærðfræði?
5
Hvað er tölvunarstærðfræði? Henning Úlfarsson, tölvunarfræðideild HR
-
Upload
3f-felag-um-upplysingataekni-og-menntun -
Category
Education
-
view
529 -
download
4
Transcript of Hvað er tölvunarstærðfræði?
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/