Difference between revisions of "List of BSc Technical Electives"

From IU
Jump to navigation Jump to search
Line 9: Line 9:
   
 
== Maths ==
 
== Maths ==
* [https://eduwiki.innopolis.university/index.php/BSTE:NumericalModelling CSE208 - Numerical Modelling]
+
* [https://eduwiki.innopolis.university/index.php/BSTE:NumericalModelling CSE208 - Numerical Modelling] (in progress)
   
* [CSE211 - Lambda-Calculus, Algebra, Machinery and Logic for Formal Program Semantics]
+
* [CSE211 - Lambda-Calculus, Algebra, Machinery and Logic for Formal Program Semantics] (in progress)
   
 
== AI ==
 
== AI ==

Revision as of 10:38, 5 December 2022

Computer Science, Programming

Maths

  • [CSE211 - Lambda-Calculus, Algebra, Machinery and Logic for Formal Program Semantics] (in progress)

AI

Hardware and Robotics

Security and Networks

Business and analytics

Research

Software Engineering