鈴木登志雄

Individuals/organizations Page

Books

ろんりの相談室 大学 1 年生の真理値表と体系

鈴木登志雄

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784535789401
ISBN 10 : 4535789401
Format
：
Books
Publisher
：
日本評論社
Release Date
：
July/2021
Release Country
：
Japan
Co-Writer, Translator, Featured Individuals/organizations
:
鈴木登志雄 ,  

Content Description

真理値表は自動で計算。できた余裕で体系を学ぶ。くだけた表現も忘れずに。

目次 : 第１部　疑問解決編（「否定命題を作れ」の解法を教えてください/ 表計算の論理関数とは/ 表計算と算数でドモルガンの法則を確かめたい/ 集合の例を表計算で見たい/ イフの道案内お願いします）/ 第２部　体系編（証明の定石/ ユーザーのための自然演繹/ 自然演繹における証明）/ 第３部　読解力向上編（くだけた書き方に対する免疫/ 集合の考え方/ 集合と写像のボキャブラリ　前編/ 集合と写像のボキャブラリ　後編/ 専門書つまみ食い鑑賞教室）/ 付録　束縛変数と自由変数

【著者紹介】
鈴木登志雄 : 京都大学理学部卒業、筑波大学大学院数学研究科博士（理学）。現在、東京都立大学大学院理学研究科数理科学専攻准教授。専門は計算理論・数理論理学（本データはこの書籍が刊行された当時に掲載されていたものです）

（「BOOK」データベースより）

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
Write you own review

Recommend Items

Sell This Item