hvað er tölvunarstærðfræði?
TRANSCRIPT
![Page 1: Hvað er tölvunarstærðfræði?](https://reader034.vdocuments.site/reader034/viewer/2022042522/55d5605dbb61eb2d038b463e/html5/thumbnails/1.jpg)
Hvað er tölvunarstærðfræði?Henning Úlfarsson, tölvunarfræðideild HR
![Page 2: Hvað er tölvunarstærðfræði?](https://reader034.vdocuments.site/reader034/viewer/2022042522/55d5605dbb61eb2d038b463e/html5/thumbnails/2.jpg)
Tölvur geta allt í dag!• Spila skák• Mannlaus farartæki• Vandamál í stærðfræði• Sífellt öflugri, smærri ...
![Page 3: Hvað er tölvunarstærðfræði?](https://reader034.vdocuments.site/reader034/viewer/2022042522/55d5605dbb61eb2d038b463e/html5/thumbnails/3.jpg)
Tölvur í stærðfræði• 4-litanleg net• Formlegar sannanir• Uppgötvun eiginleika• Tilgátuprófanir
![Page 4: Hvað er tölvunarstærðfræði?](https://reader034.vdocuments.site/reader034/viewer/2022042522/55d5605dbb61eb2d038b463e/html5/thumbnails/4.jpg)
Stærðfræði í tölvum• Rökfræði• “Sönnuð forrit”• Flókin líkön• Reiknirit
![Page 5: Hvað er tölvunarstærðfræði?](https://reader034.vdocuments.site/reader034/viewer/2022042522/55d5605dbb61eb2d038b463e/html5/thumbnails/5.jpg)
Spurningar?http://www.ru.is/td/grunnnam/