Proof and Disproof in Formal Logic

Proof and Disproof in Formal Logic pdf epub mobi txt 电子书 下载 2025

出版者:Oxford University Press
作者:Richard Bornat
出品人:
页数:264
译者:
出版时间:2005-9-29
价格:USD 85.00
装帧:Paperback
isbn号码:9780198530275
丛书系列:Oxford Texts in Logic
图书标签:
  • 数理逻辑 
  • MathLogic 
  • 符号逻辑 
  • Math 
  • 计算机 
  • 软件理论 
  • 数学结构 
  • 数学 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system--a collection of rules and axioms which define a universe of logical proofs--is what gives us programming languages and modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses--natural deduction--is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations. The book is divided into four parts: * Part I "Basics" gives an introduction to formal logic with a short history of logic and explanations of some technical words. * Part II "Formal syntactic proof" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle. * Part III "Formal semantic disproof" shows you how to construct mathematical counterexamples to show that proof is impossible. Jape can check the counterexamples you build. * Part IV "Program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows. Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text includes reference to and exercises based on the computer software package Jape, an interactive teaching and research tool designed and hosted by the author that is freely available on the web.

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

评分

评分

评分

评分

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有