Programa de Mestrado em Ciências da Computação
This course teaches students how to apply mathematics to computer science. Students will comprehend and construct mathematical arguments, theories, relations and apply various proof techniques towards developing formal about algorithm correctness.
3 horas
CIS 510
Portuguese (Portugal) 
English 
Spanish 
Portuguese (Brazil) 
Panjabi 
Bengali 
German 
Pashto 
Tagalog 
Cebuano 
Arabic 
Chinese 
Hindi 
French 
Russian 
Urdu 
Indonesian 
Japanese 
Marathi 
Telugu 
Turkish 
Tamil 
Vietnamese