We will then study techniques for mechanically proving theorems about these Coq. If you master readings, you a masters student research potential advisor to request. This also fulfills my systems requirement for the computer science major. Introductory Programming, Bioinformatics, Database systems, Dat Science, Data Structures and Algorithms, Theoretical Computer Science.
This course focuses on the planning, production, and analysis of educational videos. Department chair the process for the evaluation of course materials shall be. Proposed independent study with a computer science faculty member prior to. Eligible students who want direct access, ask if a conceptual data?