Envío gratis siempre a todo México.
Haz clic para hacer zoom
Not Available
Jean H.
Logic for Computer Science
Cargando comentarios…
Comparte
$640
$525
Envío gratis siempre
Comentarios
Cargando el resumen…
Cargando comentarios…
product
2799524Logic for Computer Sciencehttps://www.gandhi.com.mx/logic-for-computer-science-9780486805085/phttps://gandhi.vtexassets.com/arquivos/ids/3058587/8b72aebe-5a10-4fea-9d3a-18cfff056ab0.jpg?v=638384823510500000525640MXNDover PublicationsInStock/Ebooks/<p>This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving.<br />Topics include propositional logic and its resolution, first-order logic, Gentzens cut elimination theorem and applications, and Gentzens sharpened Hauptsatz and Herbrands theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.</p>...2735990Logic for Computer Science525640https://www.gandhi.com.mx/logic-for-computer-science-9780486805085/phttps://gandhi.vtexassets.com/arquivos/ids/3058587/8b72aebe-5a10-4fea-9d3a-18cfff056ab0.jpg?v=638384823510500000InStockMXN99999DIEbook20159780486805085_W3siaWQiOiJkZjMxMTYyNy1lMDE0LTQwYzQtYjkxZC0zMjA4NjAxYzhhYTIiLCJsaXN0UHJpY2UiOjY0MCwiZGlzY291bnQiOjExNSwic2VsbGluZ1ByaWNlIjo1MjUsImluY2x1ZGVzVGF4Ijp0cnVlLCJwcmljZVR5cGUiOiJXaG9sZXNhbGUiLCJjdXJyZW5jeSI6Ik1YTiIsImZyb20iOiIyMDI1LTA2LTE1VDE4OjAwOjAwWiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6ZmFsc2V9XQ==9780486805085_<p>This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving.<br />Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.</p>(*_*)9780486805085_<p>This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving.<br />Topics include propositional logic and its resolution, first-order logic, Gentzens cut elimination theorem and applications, and Gentzens sharpened Hauptsatz and Herbrands theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.</p>...9780486805085_Dover Publicationslibro_electonico_d6cfb35b-8767-3df7-9044-2c2be44200ef_9780486805085;9780486805085_9780486805085Jean H.InglésMéxico2015-04-20T00:00:00+00:00https://getbook.kobo.com/koboid-prod-public/ingrooves-epub-0ff2e7f3-0e47-491a-b858-133c8024377d.epubDover Publications