-
型システム入門 : プログラミング言語と型の理論 电子书下载
型システムを理解するうえでの定番書を翻訳! 型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“ ...
06-27 [ None ]
-
-
マンガでわかる相対性理論-漫画相对论 电子书下载
時間が伸び、長さが縮む相対性理論は取っ付きにくいもの。本書は、その不思議さを楽しむことを目指して、その中で比較的数式の扱いが容易な特殊相対性理論を中心に原理をマンガと平易な文章を使って理解させる。すべてにわたって目に見える現象を身近なできごとのマンガで展開し ...
09-27 [ None ]
-
進出「結構—行動」的困境:與當代西方社會學理論論述對話 电子书下载
任何知識的背後都有一套特定的信念支撐著,即使所謂的科學知識(尤其是社會科學的知識)也不例外。在這本書裡,作者即意圖對現代西方社會學理論(特別是從結構功能論的傳統)從事知識社會學式的剖析,以指陳其論述背後之一些基本哲學人類學上的預設、基本思考模式和塑造的歷史條 ...
05-25 [ None ]
-
制御工学〈下〉―現代制御理論の基礎 (理工学講座) 电子书下载
本書は、筆者らの制御工学上巻の続編であり、制御工学を専門としない学部上級生乃至は大学院修士課程の学生のための現代制御理論の入門教科書として、演習を交えた1週1回の講義で、1学期間で習得できることを念頭にまとめたものである。今日におけるコンピュータの発達とあい ...
09-13 [ None ]
-
-
-
-
-
-
-
-
科學理論版本的結構與發展 电子书下载
「科學理論版本的結構與發展」是一本探討「科學理論的結構與發展」的專題論著。 針對「結構」,作者使用「分疇、分類與模型」的 觀念來分析;針對「發展」,作者提出「理論版本」和「理論版本家族」這一對觀念,用來說明科學理論及其發展的諸般現象,包括繼承、 ...
08-22 [ None ]
-
-
傳達科學本質之理論與教學實例 电子书下载
教育部於民國八十九年九月七日公佈中小學「自然與生活科技課程綱要」,揭櫫科學教育的目標在提昇國民的科學素養,科學素養涵蓋過程技能、科學與技術認知、科學本質、科技發明、科學態度、思考智能、科學應用、設計與製作等八大項目。其中最令現職科學教師困惑的莫過於「科學本質 ...
07-03 [ None ]
-
-
-