Đang tải... (xem toàn văn)
Thông tin tài liệu
Từ khóa liên quan
Mục lục
Cover
Cognitive Technologies
Multiparadigm Constraint Programming Languages
ISBN 9783642173295
Foreword
Contents
Chapter 1 Introduction
Overview of the Book
Acknowledgement
Part I: Paradigms, Constraints, and Multiparadigm Programming
Chapter 2 Basic Notions
2.1 Signatures and Σ-structures
2.2 Terms, formulae, and validity
2.3 Substitutions and unifiers
Chapter 3 Programming Languages and Paradigms
3.1 Programming languages and compilation
3.2 Programming paradigms
3.2.1 Imperative and declarative languages
3.2.2 Procedural and object-oriented languages
3.2.3 Functional programming languages
3.2.4 Logic programming languages
3.2.5 Constraint-based programming languages
3.2.6 Sequential, concurrent, and parallel languages
3.2.7 Languages of further paradigms
Chapter 4 Constraints
4.1 Constraints and constraint systems
4.1.1 Linear arithmetic constraints
Tài liệu cùng người dùng
Tài liệu liên quan