情報数理B
講義の概要
集合・論理・写像・二項関係を基礎として，同値関係・商集合・順序関係・束を学ぶ．後半ではペアノの公理から自然数の演算を定義し，自然数をもとに整数・有理数を構成して，それらの演算と順序を調べる．
キーワード
集合，論理，写像，二項関係，同値関係，同値類，分割，商集合，順序関係，束，ペアノの公理，自然数，整数，有理数
集合・論理・写像・二項関係を基礎として，同値関係・商集合・順序関係・束を学ぶ．後半ではペアノの公理から自然数の演算を定義し，自然数をもとに整数・有理数を構成して，それらの演算と順序を調べる．
集合，論理，写像，二項関係，同値関係，同値類，分割，商集合，順序関係，束，ペアノの公理，自然数，整数，有理数