Le serveur "Cours en ligne" est destiné à offrir aux doctorants qui travaillent dans les laboratoires l'accès à des cours qui peuvent leur être utiles : cours de DEA, des grandes écoles, écoles d'été ou d'hiver par exemple. La consultation est li
ProofWeb is a system for practising natural deduction on the computer based on the Coq proof assistant and runs in browser. ProofWeb one runs logic exercises on a web server. ProofWeb comes with a database of basic logic exercises that are graded according to difficulty. The ProofWeb system automatically grades the exercises of the students. user talks to the Coq system on the server without any translation. There just are a few additional tactics to make Coq's behavior follow the logic textbooks. This means that in ProofWeb the full power of Coq is available, even to beginner students. On the other hand ProofWeb tries hard to present deductions exactly the way they look in the textbooks. In particular ProofWeb exactly follows the conventions of a well-known logic textbook Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth and Mark Ryan.
F. R.. (2011)cited By (since 1996) 0; Conference of 2011 ACM Special Interest Group for Information Technology Education Conference, SIGITE'11; Conference Date: 20 October 2011 through 22 October 2011; Conference Code: 87347.
C. Ullrich. Young Researcher Track Proceedings of 12th International Conference on Artificial Intelligence in Education, page 155-160. Amsterdam, (2005)
M. Masuch, and L. Nacke. International Conference on Computer Games: Artificial Intelligence, Design and Education, page 347--351. Reading, UK, University of Wolverhampton UK, (November 2004)
R. Sharipov. (2004)cite arxiv:math/0412421Comment: The textbook, AmSTeX, 132 pages, amsppt style, prepared for double side printing on letter size paper.