This note covers the following topics: Basic Theories, Basic Data
Structures, Function Theory, Program Theory, Programming Language, Recursive
Definition, Theory Design and Implementation, Concurrency and Interaction.
This note covers the following topics:
The naive way of coding, Coding schemes for binary channels and Shannon theorem,
Shannon theorem, Exponential growth rate, Binary codes, The Hamming bound and
perfect codes, The Gilbert-Varshamov bound, Error probability estimations, Union
bound for BER, State representations and trellises of general codes,
Convolutional codes, Tanner graphs and factor graphs.
This note covers the following topics: Inductive Definitions, Transition
Systems, Defining a Language, Concrete Syntax, Abstract Syntax Trees, Abstract
Binding Trees, Functional Language, Control and Data Flow, Imperative Functional
Programming, Cost Semantics and Parallelism, Data Structures and Abstraction,
Lazy Evaluation, Dynamic Typing, Subtyping and Inheritance, Concurrency.
emphasizes the role of computer languages as vehicles for expressing knowledge
and it presents basic principles of abstraction and modularity, together with
essential techniques for designing and implementing computer languages.
This book provides a practitioner's guide for students, programmers,
engineers, and scientists who wish to design and build efficient and
cost-effective programs for parallel and distributed computer systems. It covers
the following topics: Parallel Computers and Computation, Designing Parallel
Algorithms, Quantitative Basis for Design, Putting Components Together, Tools,
Fortran M, High Performance Fortran, Message Passing Interface and Performance
This book covers the following
topics: Introduction to Programming,
General Computation Models, Declarative Programming Techniques, Declarative
Concurrency, Relational Programming, Object-Oriented Programming, Encapsulated
State, Concurrency and State, Specialized Computation Models, Semantics and