Ditemukan 4 dokumen yang sesuai dengan query
Sundstrom, Ted, author
New Jersey: Pearson-Prentice Hall, 2007
511.36 SUN m
Buku Teks Universitas Indonesia Library
Joshi, Mark, author
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...
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...
Dordrecht, Netherlands: Springer, 2012
e20400684
eBooks Universitas Indonesia Library
