topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 3
 |
language, proof, and logic: second edition
ISBN: 9781575866321 / Angielski / Miękka / 2011 / 650 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.) Language Proof and Logic is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu. The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to undergraduates in philosophy, computer science,...Language Proof and Logic is available as a physical book with the software included on CD and as a downloadable package of software plus ... |
cena:
388,63 |
 |
The Concept of Logical Consequence
ISBN: 9781575861944 / Angielski / Miękka / 1999 / 176 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.) The intuitive concept of consequence, the notion that one sentence follows logically from another, has driven the study of logic for more than two thousand years. But logic has moved forward dramatically in the past century - largely as a result of bringing mathematics to bear on the field. The infusion of mathematically precise definitions and techniques has turned a field dominated by homely admonitions into one characterized by illuminating theorems. The aim of this book is to correct a common misunderstanding of one of the most widely used techniques of mathematical logic. Central to the...
The intuitive concept of consequence, the notion that one sentence follows logically from another, has driven the study of logic for more than two tho...
|
cena:
97,16 |
 |
Logical Reasoning with Diagrams and Sentences: Using Hyperproof
ISBN: 9781575869513 / Angielski / Miękka / 2017 / 227 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.) 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...
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction usin...
|
cena:
224,99 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
