- 著者
-
小林 俊一
- 出版者
- 学校法人松商学園松本大学
- 雑誌
- 松本大学研究紀要 (ISSN:13480618)
- 巻号頁・発行日
- vol.10, pp.95-104, 2012-01
二値関数と集合の分割に関する述語論理について成り立つ定理を提案し、その定理の厳格な証明を行った。ここでの述語論理とは「すべての~について」や「ある~について」に関する一階述語論理を指す。本研究の目的の一つは、二値関数に集合の分割の考え方を導入することで、コンピュータの内部で行われる論理動作を、数学的にモデル化することである。デジタルの世界での論理動作を、数学的にモデル化している。