| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910480264603321 |
|
|
Autore |
Todorcevic Stevo |
|
|
Titolo |
Partition problems in topology / / Stevo Todorcevic |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , [1989] |
|
©1989 |
|
|
|
|
|
|
|
|
|
ISBN |
|
0-8218-7672-4 |
0-8218-5419-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (130 p.) |
|
|
|
|
|
|
Collana |
|
Contemporary mathematics, , 0271-4132 ; ; volume 84 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Topology |
Set theory |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Bibliography: pages 103-111. |
|
|
|
|
|
|
Nota di contenuto |
|
""Contents""; ""Preface""; ""Introduction""; ""0. The role of countability in (S) and (L)""; ""1. Oscillating real numbers""; ""2. The conjecture (S) for compact spaces""; ""3. Some problems closely related to (S) and (L)""; ""4. Diagonalizations of length continuum""; ""5. (S) and (L) and the Souslin Hypothesis""; ""6. (S) and (L) and Luzin spaces""; ""7. Forcing axioms for ccc partitions""; ""8. Proper forcing axiom and partitions""; ""9. (S) and (L) are different""; ""References""; ""Index of symbols""; ""Index of terms""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I"" |
""L""""M""; ""N""; ""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Z"" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910149236003321 |
|
|
Titolo |
コンピュータ科学とプログラミング入門 : コンピュータとアルゴリズムの基礎 / / 小高知宏著 |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
東京, : 近代科学社, 2015.11 |
|
東京 : , : 近代科学社, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
紙 -- はじめに -- 目次 -- 第1章 コンピュータとは -- 1.1 コンピュータの構成 -- 1.1.1 コンピュータの歴史 -- 1.1.2 コンピュータの構成 -- 1.2 コンピュータの動作 -- 1.2.1 CPUの構 -- 1.2.2 CPUの動作 -- 1章 演習問 -- 第2章 コンピュータとプログラムの原理 1 -- 2.1 機械 命令 -- 2.1.1 仮想CPU「exmini」 -- 2.1.2 exminiの機械 命令 -- 2.2 接処理 -- 2.2.1 データの移動 -- 2.2.2 データの 定と加工処理 -- 2.3 繰 し処理 -- 2.3.1 ジャンプ命令 -- 2.3.2 条件判定とループ処理 -- 2章 演習問 -- 第3章 コンピュータとプログラムの原理 2 -- 3.1 演算処理 -- 3.1.1 二つの数値の加算 -- 3.1.2 プログラムのデバッグ -- 3.2 実 の機械 プログラム -- 3.2.1 実 にPCやスマートフォンで用いられているCPUの例 -- 3.2.2 実 の機械 プログラム -- 3章 演習問 -- コラム1 機械 プログラムは しい -- 第4章 アセンブラ コンパイラ インタプリタ -- 4.1 アセンブリ とプログラミング -- 4.1.1 アセンブリ -- 4.1.2 プログラミング -- 4.2 コンパイラとインタプリタ -- 4.2.1 コンパイラ -- 4.2.2 インタプリタ -- 4章 演習問 -- 第5章 手続き的処理 1 接処理 -- 5.1 プログラミング を用いたプログラム 発の方法 -- 5.1.1 エディタとコンパイラを用いたプログラム 発 -- 5.1.2 統合 発環境 -- 5.2 出力 -- 5.2.1 文字の出力 -- 5.2.2 算式の 算結果の出力 -- 5.3 入力と代入 -- 5.3.1 変数の概念と代入 -- 5.3.2 入力 -- 5章 演習問 -- 第6章 手続き的処理 2 条件判定と繰 し処理 -- 6.1 条件分岐 -- 6.1.1 条件判定の方法 -- 6.1.2 条件判定を用いたプログラム -- 6.2 決められた回数の繰 し -- 6.2.1 決められた回数の繰 し処理 -- 6.2.2 繰 し処理の例 -- 6章 演習問 -- 第7章 手続き的処理 3 さまざまな繰 し処理 -- 7.1 繰 しの回数を指定しない繰 し処理 -- 7.1.1 条件判定と繰 し処理 -- 7.1.2 条件に基づく繰 し -- 7.2 多 の繰 し -- 7.2.1 繰 しの多 化 -- 7.2.2 多 の繰 し処理によるプログラム -- 7章 演習問 -- コラム2 繰 し処理と並列化 -- 第8章 例 演習その1 数値 算 -- 8.1 数 の出力 -- 8.1.1 数 の 算 -- 8.1.2 数 算プログラム -- 8.2 数列の和による 算 -- 8.2.1 然対数の底 -- 8.2.2 然 |
|
|
|
|
|
|
|
|
|
|
|
対数の底を 算するプログラム -- 8章 演習問 -- 第9章 モジュール化 -- 9.1 モジュール化の概念 -- 9.1.1 モジュールによるプログラムの分割 -- 9.1.2 大 模プログラムの 発方法 -- 9.2 モジュールの利用 -- 9.2.1 数によるモジュール作成 -- 9.2.2 数を利用したプログラミング -- 9章 演習問 -- 第10章 列 -- 10.1 列とは -- 10.1.1 列とは -- 10.1.2 列の利用 -- 10.2 列と繰 し処理 -- 10.2.1 繰 し処理による 列の操作 -- 10.2.2 列と繰 し処理の例 プログラム -- 10章 演習問 -- 第11章 例 演習その2 統 処理・ 立一次方程式 -- 11.1 基本的な統 処理 -- 11.1.1 平均 偏差 分散 -- 11.1.2 統 処理プログラム -- 11.2 立一次方程式の 法 -- 11.2.1 ガウスの消去法のアルゴリズム -- 11.2.2 ガウスの消去法プログラム -- 11章 演習問 -- 第12章 ライブラリの利用 -- 12.1 数学 数 -- 12.1.1 対数と平方根 -- 12.1.2 三 数 -- 12.2 乱数 -- 12.2.1 擬似乱数列とは. |
12.2.2 擬似乱数列を利用したプログラム -- 12章 演習問 -- コラム3 rand 数の 界 -- 第13章 さまざまなプログラミング 1 -- 13.1 C, C++ -- 13.1.1 C -- 13.1.2 C++ -- 13.2 Java, Javascript -- 13.2.1 Java -- 13.2.2 Javascript -- 13.3 Fortran, Lisp, Cobol -- 13.3.1 Fortran -- 13.3.2 Lisp -- 13.3.3 Cobol -- 13章 演習問 -- 第14章 さまざまなプログラミング 2 -- 14.1 Perl, Python, Ruby -- 14.1.1 Perl -- 14.1.2 Python -- 14.1.3 Ruby -- 14.2 bc, awk -- 14.2.1 bc -- 14.2.2 awk -- 14.3 MATLAB,GNU Octave, Mathematica, Maxima -- 14.3.1 MATLAB, GNU Octave -- 14.3.2 Mathematica, Maxima -- 14章 演習問 -- コラム4 プログラムという概念の発明 -- 第15章 具としてのコンピュータ -- 15.1 コンピュータ利用の方 -- 15.1.1 プログラムを準備する方法 -- 15.1.2 プログラミングは最終手段 -- 15.2 プログラム 発の方法 -- 15.2.1 ソフトウェア 品のライフサイクル -- 15.2.2 ソフトウェア 発モデル -- 15章 演習問 -- コラム5 タイヤの再発明 -- 演習問 略 -- 参 文献 -- 付 -- 索引 -- 略歴・奥付 -- お断り. |
|
|
|
|
|
|
Sommario/riassunto |
|
プログラムの本質は、手順の積み重ねである！本書は簡便な仮想CPUを題材として、機械語プログラムの本質が手順の積み重ねであることを分かりやすく説明する。次にC++で基本的な手続き処理を学ぶ事によってプログラムの本質が理解できるよう工夫されている。コンピュータとプログラミングの本質を理解することができるので、プログラミング教育の導入用教科書として最適の書である。. |
|
|
|
|
|
|
|
| |