蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
書誌情報サマリ
| 書名 |
計算理論と数理論理学
|
| 著者名 |
田中一之/著
|
| 出版者 |
共立出版
|
| 出版年月 |
2022.6 |
| 請求記号 |
4109/00095/ |
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
資料種別 |
配架場所 |
別置 |
帯出 |
状態 |
| 1 |
鶴舞 | 0238069496 | 一般和書 | 2階開架 | 自然・工学 | | 貸出中 |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
| 請求記号 |
4109/00095/ |
| 書名 |
計算理論と数理論理学 |
| 並列書名 |
MATHEMATICS OF LOGIC AND COMPUTATION |
| 著者名 |
田中一之/著
|
| 出版者 |
共立出版
|
| 出版年月 |
2022.6 |
| ページ数 |
8,299p |
| 大きさ |
22cm |
| ISBN |
978-4-320-11472-2 |
| 分類 |
4109
|
| 一般件名 |
計算量理論
記号論理学
|
| 書誌種別 |
一般和書 |
| 内容紹介 |
「計算理論」と「数理論理学」を同時に学ぶための学部上級から大学院初年級レベルの独習書。両分野の話題をうまく交えながら、巧みな筆致で解説する。問題、文献案内、用語・記号索引付き。 |
| 書誌・年譜・年表 |
文献:p264〜265 |
| タイトルコード |
1002210022185 |
| 要旨 |
「ね、ね、なんなんなんのためにいきてるの?」「よるだね。すんばらしいやみのよるよるのため」「よるか…」なんなんなんとなくわかるきがして、でもてくてくてくてくてくたびをつづける。きみが世界でいちばんLOVEしているのはだれですか?LOVEのなぞから物語がはじまります!アメリカを代表する作家と画家がいっしょに永遠のテーマ、WHAT IS LOVE?をほりさげて、この本が生まれた。「愛」イコールLOVEと思ったら、そんな答えではない。LOVEそのものが「なんなんなん?」なのだ。 |
| 著者情報 |
バーネット,マック アメリカのカリフォルニア州に生まれ育ち、若くして文学に目覚める。ロサンゼルスの東、サン・ガブリエル山脈に抱かれるポモナ・カレッジで学び、創作を始める。数多くの児童文学作品を手がけ、絵本『アナベルとふしぎなけいと』(あすなろ書房)でボストングローブ・ホーンブック賞とE.B.ホワイト読み語り賞をダブル受賞する。同時にコルデコット賞オナーブックにも選ばれる。『サムとデイブ、あなをほる』(あすなろ書房)はコールデコット賞に輝く。マック・バーネットの絵本は世界30か国語に翻訳され、広く読まれている(本データはこの書籍が刊行された当時に掲載されていたものです) エリス,カーソン カナダのブリティッシュコロンビア州に生まれ、アメリカのニューヨーク州に育つ。子どものころからさかんに絵を描き、イラストレーターを志す。ロッキー山脈を抱えるモンタナ州の大学で絵画を学び、卒業後、ロックバンドのポスターのイラストを手がけて注目される。児童文学作品の挿絵を多く担当。最初の創作絵本『わたしのいえ』(偕成社)が話題を呼ぶ。つづいて昆虫たちの言語を編み出した『なずず このっぺ?』(フレーベル館)はコルデコット賞オナーブックに選ばれて世界各国で翻訳され、日本の課題図書にもなった(本データはこの書籍が刊行された当時に掲載されていたものです) ビナード,アーサー アメリカのミシガン州に生まれ、五大湖で遊びながら育つ。高校のころから詩を書き出し、ニューヨーク州コルゲート大学で英米文学を学ぶ。卒業と同時に日本へわたり、日本語での詩作と翻訳を開始。第一詩集『釣り上げては』(思潮社)が中原中也賞に選ばれ、英語版“Catch and Release”も出版される。『ここが家だ ベン・シャーンの第五福竜丸』(集英社)で日本絵本賞、『さがしています』(童心社)で講談社出版文化賞絵本賞、『日本語ぽこりぽこり』(小学館)で講談社エッセイ賞を受賞(本データはこの書籍が刊行された当時に掲載されていたものです) |
内容細目表:
前のページへ