資料詳細

E.W.ダイクストラ/共著 -- サイエンス社 -- 1991.11 -- 007.64

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 状態
7書庫 /418.6/タ゛/ 8120242329 一般 館内有

資料詳細

書名 ダイクストラプログラミングの方法
タイトル関連情報 論理学を用いた正しいプログラムの作り方
シリーズ名 Information & computing
著者名 E.W.ダイクストラ /共著, W.H.J.フェイエン /共著, 玉井 浩 /訳  
出版者 サイエンス社
出版年 1991.11
ページ数 202p
大きさ 21cm
翻訳原書名注記 原タイトル:A method of programming
一般件名 プログラミング(コンピュータ)
NDC分類(9版) 007.64
内容紹介 プログラミングは、直感的に訓練する「わざ」として出発した。しかし、コンピュータの普及に連れて、これまでの直感的な入門では、学生のその後の教育に役に立たなくなってきた。数学の一部門としてのプログラミングを数理論理学を道具として説く教科書。
ISBN 4-7819-0631-1