Search records | 東京工業大学附属図書館蔵書検索

目次情報: 続きを見る

A Preponderance of Prioritized Precalculus Prerequisites / Part 1：

Reviewing Numbers and Arithmetic / 1：

Equations and Inequalities / 2：

Practicing with Polynomials / 3：

Factoring Polynomials / 4：

Rational Expressions and Weird Inequalities / 5：

Functions / 6：

Nonlinear Equations and Functions / Part 2：

High-Powered Functions and Equations / 7：

Logarithmic Functions / 8：

Exponential Functions / 9：

Trigonometry / Part 3：

Tangling with Angles / 10：

Graphing Trigonometric Functions / 11：

Trigonometric Identities / 12：

Solving Trigonometric Equations / 13：

Oblique Triangle Theorems / 14：

Conic Sections / Part 4：

Parabolas and Circles / 15：

Ellipses and Hyperbolas / 16：

Matrices and a Mathematical Montage / Part 5：

Matrix Operations and Calculations / 17：

The Jagged Little Red Pill of Matrix Applications / 18：

Final Exam / 19：

Appendixes

Solutions to "You've Got Problems" Sidebars / A：

Glossary / B：

Index

A Preponderance of Prioritized Precalculus Prerequisites / Part 1：

Reviewing Numbers and Arithmetic / 1：

Equations and Inequalities / 2：

目次情報: 続きを見る

Preface

Precise Type Analyses / I：

Substructural Type Systems / David Walker1：

Dependent Types / David Aspinall ; Martin Hofmann2：

Types for Low-Level Languages / II：

Typed Assembly Language / Greg Morrisett4：

Proof-Carrying Code / George Necula5：

Types and Reasoning about Programs / III：

Logical Relations and a Case Study in Equivalence Checking / Karl Crary6：

Typed Operational Reasoning / Andrew Pitts7：

Types for Programming in the Large / IV：

Design Considerations for ML-Style Module Systems / Robert Harper ; Benjamin C. Pierce8：

Type Definitions / Christopher Stone9：

Type Inference / V：

The Essence of ML Type Inference / Francois Pottier ; Didier Remy10：

A Solutions to Selected Exercises

References

Index

Preface

Precise Type Analyses / I：

Substructural Type Systems / David Walker1：

絞り込み条件: