論理学(計算論)

更新日:2019-01-05

時間割コード

0500153

区分

専門基礎科目

単位数

選択2単位

開講形態

講義及び実習

対象学年

2年

学期 曜日 時間 集中講義の有無

集中講義

講義室


開講系


担当教員 所属


所属


メールアドレス




オフィスアワー



授業概要

情報学部科目(論理学1,論理学2aまたは論理学2b)と同時開講のため,情報学部シラバス該当科目参照。

◆講義目的

情報学部科目(論理学1,論理学2aまたは論理学2b)と同時開講のため,情報学部シラバス該当科目参照。

◆授業内容

情報学部科目(論理学1,論理学2aまたは論理学2b)と同時開講のため,情報学部シラバス該当科目参照。

◆教科書・参考文献・履修条件等

情報学部科目(論理学1,論理学2aまたは論理学2b)と同時開講のため,情報学部シラバス該当科目参照。

◆授業期間中の課題・宿題等

情報学部科目(論理学1,論理学2aまたは論理学2b)と同時開講のため,情報学部シラバス該当科目参照。

成績評価方法・基準

情報学部科目(論理学1,論理学2aまたは論理学2b)と同時開講のため,情報学部シラバス該当科目参照。

Course Title

Logic (Semantics)

Class Timetable Code

0500153

Course Category

Basic Specialized Courses

Credits

Elective2

Class Format

Lecture, Discussion, Programming

Grade

2

Semester, Day and Period

Autumn semester 9- Intensive Course

Instructor(s)


Affiliation


Mailaddress




Course Topics


Course Purpose


Course Contents


Textbooks, Reference Materials and Requirements


Assignment


Grading Criteria