1. Trang chủ
  2. Giáo Dục - Đào Tạo

multiparadigm constraint programming languages

193 298 0
multiparadigm constraint programming languages

Đ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: 31/05/2014, 00:59

Xem thêm: multiparadigm constraint programming languages, 2 Terms, formulae, and validity

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