4th Semester

* Family names are in capitals.
Course Mathematical Logic
Semester 4th Credit 2--1--0
Lecturer YONEZAKI Naoki, ARAI Noriko, MURATA Takeshi
Outline Every sentence in any language including programming language has its semantics.
Logic is a universal language which can describe those semantics. Processing the semantics with
computer, we need a deductive procedure for reasoning. Mathematical logic is one of the most important formal tools in computational linguistics, especially - but not only - for semantics. In this course we will be largely concerned with metalogical results such as soundness and completeness of logical calculi. We will consider natural deduction system for propositional and first order predicate logic and prove that these systems are semantically sound and complete.
Also - if time permits - we will have a brief look at intuitionistic logic, its logical calculi and their relations.

 

 

Course Automata and Formal Language
Semester 4th Credit 2--1--0
Lecturer

SHINODA Koichi, MATSUMOTO Ryutaroh
Outline

I. Fundamentals of program language processing and
natural language processing


II. Language processing, Phase structure grammar, Regular expression,
Finite automata, Pushdown automata, Formal language and its
recognition algorithm

 

 

Course Computer Logic Design
Semester 4th Credit 2--0--0
Lecturer

KUNIEDA Hiroaki, MORI Kinji
Outline

I. The lecture explains the components and their operations of processor in the computer system. Emphasis is on the Register Transfer Logic (RTL), which is used to describe the internal operations of computer. Design with RTL for simple computer is performed.


II. Basic Digital Logic, Register Transfer Logic, Logic Design of Processor, Design of Controller Logic, Design of Computers

 

 

Course Programming II
Semester 4th Credit 2--0--0
Lecturer

TOKUNAGA Takenobu
Outline

This class provides an introduction to two types of programming languages: Scheme (a functional programming language) and Prolog (a logic programming language).
This class is synchronized with Experiments on Computer Science II.

 

 

Course Communication Theory
Semester 4th Credit 2--0--0
Lecturer

YAMADA Isao, SAKANIWA Kohichi
Outline

Based on the basic concepts learning in "Foundations of Computer Science,"
students in this course will learn advanced concepts and the base of the
theory that relates to computer engineering.

 

 

Course Numerical analysis
Semester 4th Credit 2--0--0
Lecturer

FUKAWA Kazuhiko, SATO Makoto, KOIKE Yasuharu
Outline

An introduction to the formulation, methodology, and techniques for numerical solution of engineering problems. Fundamental principles of digital computing and the implications
for algorithm accuracy and stability. The solution of systems of linear equations, including direct and iterative techniques. Numerical interpolation, differentiation, integration, and handling of large matrices. The solution of eigenvalue problems. Fundamentals of finite-difference solutions to ordinary differential equations.

 

 

Course Foundations of Electrical Circuit
Semester 4th Credit 2--0--0
Lecturer

KOSUGI Yukio
Outline

Fundamental characteristics of linear LCR circuits and the methods for analyzing their stationary response will be provided. Lecture topics: linear circuits, circuit elements, phasor representation of sinusoidal ac current, impedance, admittance, resonant circuits, transformers, circuit equations, characteristics of linear circuits, 2-port circuit parameters.

 

 

Course Experiments on Computer Science II
Semester 4th Credit 0--0--1
Lecturer

TOKUNAGA Takenobu
Outline

This class aims to practice programming with functional programming language Scheme. This class is synchronized with Programming II. The students are required to solve exercises and submit the report each time.

 



Back to index