数字逻辑设计第6章 Combinational logic Design Practices2.ppt

数字逻辑设计第7章 Sequential Logic Design Principles.ppt

数字逻辑设计第8章 Sequential Logic Design Practices.ppt

Library of Congress Cataloging-in-Publication Data Barwise, Jon. Language, proof and logic / Jon Barwise and John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. p. cm. ISBN 1-889119-08-3 (pbk. : alk. paper)

本书以适用于逻辑第一和第二课程的方法覆盖了一阶语言，对哲学，计算机科学，数学和语言学的本科生特别有用。

High-Logic+FontCreator能用的，附注册码，fc软件，字体编辑软件。

Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy) By 作者: Harrie de Swart ISBN-10 书号: 3030032531 ISBN-13 书号: 9783030032531 Edition 版本: 1st ed. 2018 Release Finelybook 出版日期: 2018-11-28 pages 页数: (539 ) $49.99 This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel’s Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege’s Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since “if …, then …” can be considered to be the heart of logic, throughout this book much attention is paid to conditionals: material, strict and relevant implication, entailment, counterfactuals and conversational implicature are treated and many references for further reading are given. Each chapter is concluded with answers to the exercises.

saleae_logic逻辑分析仪1.2.18_(64位) Saleae 逻辑分析仪,界面操作简单,易学,易用,是电子开发人员调试、分析的好工具 Saleaelogic逻辑分析仪是将采样出来的实时数据送入电脑内存中,应用压缩算法，深度最高可达10G

智能控制技术专业英语教学课件Unit11-Part1-Programmable-Logic-Cont.pptx

symbolic logic