 |
Course
Logics and Mathematics
本講義では、数学と論理学の基本的な概念の理解を目標とする。
Aim of the course is the acquisition of basic understanding of fundamental mathematical and logical concepts.
2014, 1-1
|
|||
| Navigation | Top | Logic | Software Development | Mountain | Photography | Blog | ||
|
講義 Course |
論理学と数学 Logics and Mathematics |
||
| 達成目標 | 数学的な考え方は現代の科学技術の奥深くまで浸透している。そして高度な抽象性を持つ数学の概念が思いもかけない形で応用されることもある。数学と論理学の発展を振り返りこれらのことを明らかにするとともに、現代の数学の流れについてもふれてみたい。 本講義では、数学と論理学の基本的な概念の理解を目標とする。 |
||
| Goals | Ideas and concepts of mathematics are infiltrated deeply into our science and technology. Highly abstract notions of mathematics can sometimes find unexpected applications. This lecture will explain them by looking back the development of logic and mathematics, and will discuss also the current of modern mathematics. Aim of the course is the acquisition of basic understanding of fundamental mathematical and logical concepts. |
||
| 概要 | （1）数学の基本概念の形成、（2）数学的真理をどのように考えるか、（3）数理論理学の誕生、（4）現代数学の流れとその課題、などについて概説する。 | ||
| Content | The course will provide (1) evolution of basic concepts in mathematics, (2) mathematical language, truth, and proofs, (3) development of mathematical logic, and (4) the current of modern mathematics. | ||
| 日本語 | 2015, 1-1 2014, 1-1 |
||
| English | 2015, 2-1 | 2014, 2-1 | |
| Copyright | 2014-2015 Norbert Preining | ||