Ditemukan 3 dokumen yang sesuai dengan query
Sundstrom, Ted, author
New Jersey: Pearson-Prentice Hall, 2007
511.36 SUN m
Buku Teks 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
