1. Trang chủ
  2. Cao đẳng - Đại học

logistic computer i secince

440 27 0
logistic computer i secince

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

Ngày đăng: 16/01/2021, 10:05

Xem thêm:

Mục lục

    Foreword to the first edition

    Preface to the second edition

    Our motivation for (re)writing this book

    What’s new and what’s gone

    The interdependence of chapters and prerequisites

    Added for second edition

    1.2.1 Rules for natural deduction

    1.2.3 Natural deduction in summary

    1.2.5 An aside: proof by contradiction

    1.3 Propositional logic as a formal language

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan