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.
M. Masuch, и L. Nacke. International Conference on Computer Games: Artificial Intelligence, Design and Education, стр. 347--351. Reading, UK, University of Wolverhampton UK, (ноября 2004)
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.
R. Sharipov. (2004)cite arxiv:math/0412421Comment: The textbook, AmSTeX, 132 pages, amsppt style, prepared for double side printing on letter size paper.
A. Shukla, и L. Williams. Software Engineering Education and Training. Proceedings. 15th Conference on, стр. 184--191. Los Alamitos, CA, IEEE Computer Society, (2002)
D. Traum, и U. Geneve. In Susann LuperFoy, Anton Nijhholt, and Gert Veldhuijzen van Zanten, editors, Proceedings of Twente Workshop on Language Technology, TWLT-II, стр. 1--11. (1996)
C. Ullrich. Young Researcher Track Proceedings of 12th International Conference on Artificial Intelligence in Education, стр. 155-160. Amsterdam, (2005)
M. Walker, R. Passonneau, и J. Boland. Proceedings of the 39th Annual Meeting on Association for Computational Linguistics, стр. 515--522. Stroudsburg, PA, USA, Association for Computational Linguistics, (2001)