Seminar on Computational Mathmatics and Computer Science 1 Seminar on Computational Mathmatics and Computer Science 2 Seminar on Computational Mathmatics and Computer Science 3 Seminar on Computational Mathmatics and Computer Science 4 Practical Class on Computational Mathmatics and Computer Science 1 Practical Class on Computational Mathmatics and Computer Science 2 Practical Class on Computational Mathmatics and Computer Science 3 Practical Class on Computational Mathmatics and Computer Science 4
Computer science is the science of computation. To handle computation from a logical perspective, one needs to provide a model for it. In this seminar we explore different models of computation and their relation to logic.
This course has the following goals * Understand the basics of computation theory * Understand the concept of compilation between languages * Master the use of structural induction in proofs of programming languages and logic
希望提出前に担当教員と連絡をとること. The students should communicate with the instructor before application. 使用言語は応相談. Language will be decided after a discussion with the students.
関連する科目 Related Courses
数理解析・計算機数学概論II(春学期,数理科学科では数理解析・計算機数学II). Introduction to Computational Mathematics and Computer Science II (Spring semester)
成績評価の方法と基準 Course Evaluation Method and Criteria
到達目標に対して評価を行う.基本概念が説明できることを重視する. Evaluation is according to the goals. Being able to explain the basic concepts is particulary important.
教科書・テキスト Textbook
後日相談の上決める.とりあえず,以下のものから考えている. Will be decided after a discussion with the students. Here are some possibilities. {Jones] Neil D. Jones, Computability and complexity from a programming perspective, MIT Press, 1995. [Huet] Gérard Huet, Deduction and computation, in Advanced Course: Fundamentals of Artificial Intelligence, Springer LNCS 232, 1986.
参考書 Reference Book
セミナー中に紹介する. Will be introduced in the seminar.
課外学習等 (授業時間外学習の指示) Study Load(Self-directed Learning Outside Course Hours)
発表メモを作りながら,しっかり準備する必要がある It is necessary to prepare each presentation thoroughly
注意事項 Notice for Students
質問への対応方法 How to Ask Questions
メールで連絡を取ること.必要に応じてオンラインか対面で相談する. Contact the professor by mail. If necessary a meeting will be organised.
他学科聴講の可否 Propriety of Other department student’s attendance
可
他学科聴講の条件 Conditions for Other department student’s attendance
要相談
レベル Level
2
キーワード Keyword
計算論・論理学・λ計算
履修の際のアドバイス Advice
授業開講形態等 Lecture format, etc.
遠隔授業(オンデマンド型)で行う場合の追加措置 Additional measures for remote class (on-demand class)