|
Showing 1 - 3 of
3 matches in All Departments
This textbook/software package covers first-order language in a
method appropriate for a wide range of courses, from first logic
courses for undergraduates (philosophy, mathematics, and computer
science) to a first graduate logic course. The accompanying online
grading service instantly grades solutions to hundreds of computer
exercises. The second edition of "Language, Proof and Logic"
represents a major expansion and revision of the original package
and includes applications for mobile devices, additional exercises,
a dedicated website, and increased software compatibility and
support.
The Logical Reasoning with Diagrams and Sentences courseware
package teaches the principles of analytical reasoning and proof
construction using a carefully crafted combination of textbook,
desktop, and online materials. This package is sure to be an
essential resource in a range of courses incorporating logical
reasoning, including formal linguistics, philosophy, mathematics,
and computer science. Unlike traditional formal treatments of
reasoning, this package uses both graphical and sentential
representations to reflect common situations in everyday reasoning
where information is expressed in many forms, such as finding your
way to a location using a map and an address. It also teaches
students how to construct and check the logical validity of a
variety of proofs of consequence and non-consequence, consistency
and inconsistency, and independence using an intuitive proof system
which extends standard proof treatments with sentential, graphical,
and heterogeneous inference rules, allowing students to focus on
proof content rather than syntactic structure. Building upon the
widely used Tarski's World and Language, Proof and Logic courseware
packages, Logical Reasoning with Diagrams and Sentences contains
more than three hundred exercises, most of which can be assessed by
the Grade Grinder online assessment service; is supported by an
extensive website through which students and instructors can access
online video lectures by the authors; and allows instructors to
create their own exercises and assess their students' work.Logical
Reasoning with Diagrams and Sentences is an expanded revision of
the Hyperproof courseware package.
The past twenty years have witnessed extensive collaborative
research between computer scientists, logicians, linguists,
philosophers, and psychologists. These interdisciplinary studies
stem from the realization that researchers drawn from all fields
are studying the same problem. Specifically, a common concern
amongst researchers today is how logic sheds light on the nature of
information. Ancient questions concerning how humans communicate,
reason and decide, and modern questions about how computers should
communicate, reason and decide are of prime interest to researchers
in various disciplines.
"Words, Proofs and Diagrams" is a collection of papers covering
active research areas at the interface of logic, computer science,
and linguistics. Readers of the volume will find traditional
research on process logics, issues in formal semantics, and
language processing. In addition, the volume also highlights a
particularly new area where all three disciplines meet--the study
of images and graphics as information carriers and the diagrammatic
reasoning supported by them.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|