2010, ISBN: 6133142553, Lieferbar binnen 4-6 Wochen Gastos de envío:Versandkostenfrei innerhalb der BRD

Internationaler Buchtitel. In englischer Sprache. Verlag: VDM Verlag Dr. Mller AG & Co. Kg, 120 Seiten, L=152mm, B=229mm, H=7mm, Gew.=186gr, [GR: 26310 - TB/Informatik/EDV/Allgemeines/Lex… Más…

Internationaler Buchtitel. In englischer Sprache. Verlag: VDM Verlag Dr. Mller AG & Co. Kg, 120 Seiten, L=152mm, B=229mm, H=7mm, Gew.=186gr, [GR: 26310 - TB/Informatik/EDV/Allgemeines/Lexika], [SW: - Computers - General Information], Kartoniert/Broschiert, Klappentext: High Quality Content by WIKIPEDIA articles! Agda is a proof assistant, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin-Lof's Type Theory. It can also be seen as a functional programming language with dependent types and was developed by Ulf Norell, a post-doc at Chalmers University of Technology. Agda is based on the idea of direct manipulation of proof-term and not on tactics. The proof is a term, not a script. The language has ordinary programming constructs such as data-types and case-expressions, signatures and records, let-expressions and modules. The system has an Emacs interface and a graphical interface, Alfa. High Quality Content by WIKIPEDIA articles! Agda is a proof assistant, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin-Lof's Type Theory. It can also be seen as a functional programming language with dependent types and was developed by Ulf Norell, a post-doc at Chalmers University of Technology. Agda is based on the idea of direct manipulation of proof-term and not on tactics. The proof is a term, not a script. The language has ordinary programming constructs such as data-types and case-expressions, signatures and records, let-expressions and modules. The system has an Emacs interface and a graphical interface, Alfa.<

ISBN: 9786133142558

Lambert M. Surhone (Editor), Mariam T. Tennoe (Editor), Susan F. Henssonow (Editor),Paperback, English-language edition, Pub by Betascript Publishing Books Computers~~General Agda~~Lamber… Más…

Lambert M. Surhone (Editor), Mariam T. Tennoe (Editor), Susan F. Henssonow (Editor),Paperback, English-language edition, Pub by Betascript Publishing Books Computers~~General Agda~~Lambert-M-Surhone Betascript Publishing High Quality Content by WIKIPEDIA articles! Agda is a proof assistant, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin-Lof's Type Theory. It can also be seen as a functional programming language with dependent types and was developed by Ulf Norell, a post-doc at Chalmers University of Technology. Agda is based on the idea of direct manipulation of proof-term and not on tactics. The proof is a term, not a script. The language has ordinary programming constructs such as data-types and case-expressions, signatures and records, let-expressions and modules. The system has an Emacs interface and a graphical interface, Alfa.<