This interactive tutorial will teach you how to use the sequent calculus, a simple set of rules with which you can use to show the truth of statements in first order logic. It is geared towards anyone with some background in writing software for computers, with knowledge of basic boolean logic.
T. Mossakowski, и A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), том 8412 из Lecture Notes in Computer Science, стр. 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, A. Haxthausen, D. Sannella, и A. Tarlecki. Logics of formal specification languages, том 22 из Monographs in Theoretical Computer Science, глава 3, Springer-Verlag Heidelberg, (2008)
T. Mossakowski, P. Hoffman, S. Autexier, и D. Hutter. CASL Reference Manual, том 2960 из Lecture Notes in Computer Science, глава ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)
M. Codescu, и T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, том 6859 из Lecture Notes in Computer Science, стр. 145-160. Springer, (2011)
K. Heng. (2014)cite arxiv:1404.6248Comment: Published in American Scientist: Volume 102, Number 3, Pages 174 to 177 (http://www.americanscientist.org/issues/pub/2014/3/the-nature-of-scientific-proof-in-the-age-of-simulations).
H. Cao, и X. Zhu. (2006)cite arxiv:math/0612069Comment: This is a revised version of the article by the same authors that originally appeared in Asian J. Math., 10(2) (2006), 165--492.
E. Stark. Foundations of Software Technology and Theoretical Computer Science, том 206 из Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (1985)
J. Søgaard-Andersen, S. Garl, J. Guttag, N. Lynch, и A. Pogosyants. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, стр. 305--319. Springer Verlag, (1993)
T. Huang, и J. Lin. Proceedings of the 1994 International Conference on Parallel and Distributed Systems, стр. 759--768. Washington, DC, USA, IEEE Computer Society, (1994)
G. Delzanno. Electronic Notes in Theoretical Computer Science, 50 (4):
371--385(2001)VEPAS 2001, Verification of Parameterized Systems (Satellite Workshop of ICALP 2001).
M. Schiller, и C. Benzmüller. Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling, 200, стр. 599--601. Amsterdam, IOS Press, (2009)
J. Paakki. Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages: papers presented at the Symposium:
Portland, Oregon, January 17--21, 1994, стр. 361--374. New York, NY, USA, ACM Press, (1994)
R. Gheyi, T. Massoni, и P. Borba. ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, стр. 372--375. New York, NY, USA, ACM, (2005)
N. Matsuda, и K. VanLehn. Proceedings of The 12th International Conference on Artificial Intelligence in Education, стр. 443 -- 450. Amsterdam, IOS Press, (2005)
F. Arzarello. the 24th Conference of the International Group for the Psychology of Mathematics Education (PME), 1, стр. 23--38. Hiroshima, Japan, (2000)