本棚.org

形式言語と有限オートマトン入門―例題を中心とした情報の離散数学	Felio
情報の論理数学入門―ブール代数から述語論理まで	Buttaku lookwest
情報の基礎離散数学―演習を中心とした	hiros wirepuller
人工知能システムの構成―基礎からエージェントまで
はじめての離散数学	岸リトル