Ditemukan 4 dokumen yang sesuai dengan query
Sundstrom, Ted
New Jersey: Pearson-Prentice Hall, 2007
511.36 SUN m
Buku Teks Universitas Indonesia Library
Joshi, Mark
"
This innovative textbook introduces a new pattern-based approach to learning proof methods in the mathematical sciences. Readers will discover techniques that will enable them to learn new proofs across different areas of pure mathematics with ease. The patterns in proofs from diverse fields such as algebra, analysis, topology and number theory are explored. Specific topics examined include game theory, combinatorics, and Euclidean geometry, enabling a broad familiarity.
The author, an experienced lecturer and researcher renowned for ...
"
Switzerland: Springer International Publishing, 2015
e20528436
eBooks Universitas Indonesia Library
Rademaker, Alexandre, editor
"
A proof theory for description logics introduces sequent calculi and natural deduction for some DLs (ALC, ALCQ). Cut-elimination and normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes ...
"
London: Springer, 2012
e20406298
eBooks Universitas Indonesia Library
Gila Hanna
"
This book, resulting from the 19th ICMI Study, brings together a variety of viewpoints on issues such as : (1) the potential role of reasoning and proof in deepening mathematical understanding in the classroom as it does in mathematical practice, (2) the developmental nature of mathematical reasoning and proof in teaching and learning from the earliest grades, and (3) the development of suitable curriculum materials and teacher education programs to support the teaching of proof ...
"
Dordrecht, Netherlands: Springer, 2012
e20400684
eBooks Universitas Indonesia Library
