情報数学講座

• Material Type: 図書
• Title: 情報数学講座
• Title Transcription: ジョウホウ スウガク コウザ
• Author Heading: 広瀬, 健 ヒロセ, ケン; https://ci.nii.ac.jp/author/DA00250391; 野崎, 昭弘 ノザキ, アキヒロ; https://ci.nii.ac.jp/author/DA00028305; 鈴木, 則久 スズキ, ノリヒサ; https://ci.nii.ac.jp/author/DA00071756; 小林, 孝次郎 コバヤシ, コウジロウ; https://ci.nii.ac.jp/author/DA00625100
• Publication, Distribution, etc.: 共立出版
• Publication Date: 1993.5-
• Publication Date (W3CDTF): 1993
• Place of Publication (Country Code): ja
• Target Audience: 一般
• Note (General): 編集委員: 廣瀬健, 野崎昭弘, 鈴木則久, 小林孝次郎
• Related Material: 応用論理; https://cir.nii.ac.jp/crid/1130000795312118912; プログラム意味論; https://cir.nii.ac.jp/crid/1130000795694320768; 性能評価の基礎と応用; https://cir.nii.ac.jp/crid/1130000796107831424; 離散構造; https://cir.nii.ac.jp/crid/1130000796343016192; 計算幾何学; https://cir.nii.ac.jp/crid/1130000797418253824; 言語と構文解析; https://cir.nii.ac.jp/crid/1130000797914712704; 符号と暗号の数理; https://cir.nii.ac.jp/crid/1130282268861539840; 知識と推論; https://cir.nii.ac.jp/crid/1130282269577035648; 最適化の手法; https://cir.nii.ac.jp/crid/1130282269614787072; グラフィックスの数理; https://cir.nii.ac.jp/crid/1130282270268106368; プログラム検証論; https://cir.nii.ac.jp/crid/1130282272342761984; 情報代数; https://cir.nii.ac.jp/crid/1130282272425414784; プログラミング言語の基礎理論; https://cir.nii.ac.jp/crid/1130282272535415168; 計算の理論; https://cir.nii.ac.jp/crid/1130282273256775296
• Related Material (URI): https://ci.nii.ac.jp/ncid/BN09103438#entity
• Data Provider (Database): 国立情報学研究所 : CiNii Research
• Original Data Provider (Database): CiNii Books; https://ci.nii.ac.jp/books
• NCID: https://ci.nii.ac.jp/ncid/BN09103438 : BN09103438

Table of Contents

応用論理

プログラム意味論

性能評価の基礎と応用

離散構造

計算幾何学