| Academic Year |
2025Year |
School/Graduate School |
Graduate School of Advanced Science and Engineering (Master's Course) Division of Advanced Science and Engineering Mathematics Program |
| Lecture Code |
WSA22000 |
Subject Classification |
Specialized Education |
| Subject Name |
代数数理基礎講義Ｂ |
Subject Name
（Katakana） |
ダイスウスウリキソコウギビー |
Subject Name in
English |
Algebra B |
| Instructor |
SHIMADA ICHIROU |
Instructor
(Katakana) |
シマダ イチロウ |
| Campus |
Higashi-Hiroshima |
Semester/Term |
1st-Year, Second Semester, 3Term |
| Days, Periods, and Classrooms |
(3T) Mon3-4,Thur3-4：SCI E211 |
| Lesson Style |
Lecture |
Lesson Style
(More Details) |
Face-to-face |
| Blackboard |
| Credits |
2.0 |
Class Hours/Week |
4 |
Language of Instruction |
B
:
Japanese／English |
| Course Level |
7
:
Graduate Special Studies
|
| Course Area（Area） |
25
:
Science and Technology |
| Course Area（Discipline） |
01
:
Mathematics/Statistics |
| Eligible Students |
|
| Keywords |
Mathematical logic, completeness theorem |
| Special Subject for Teacher Education |
|
Special Subject |
|
Class Status
within Educational
Program
(Applicable only to targeted subjects for undergraduate students) | |
|---|
Criterion referenced
Evaluation
(Applicable only to targeted subjects for undergraduate students) | |
|---|
Class Objectives
/Class Outline |
Introductory lectures on the completeness theorem in mathematical logic. |
| Class Schedule |
Introduction
Syntax and Semantics
Completeness Theorem and Compactness Theorem
Syntax and Semantics of Propositional Logic
Syntax and Semantics of First-Order Predicate Logic
Introduction to Model Theory
The schedule may change. |
Text/Reference
Books,etc. |
References will be given during the courses.
|
PC or AV used in
Class,etc. |
Handouts |
| (More Details) |
blackboard and handouts |
| Learning techniques to be incorporated |
|
Suggestions on
Preparation and
Review |
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture.
Examine the examples given in the lecture. |
| Requirements |
|
| Grading Method |
By reports |
| Practical Experience |
|
| Summary of Practical Experience and Class Contents based on it |
|
| Message |
|
| Other |
|
Please fill in the class improvement questionnaire which is carried out on all classes.
Instructors will reflect on your feedback and utilize the information for improving their teaching. |