This book has been written as
lecture notes for students who need a grasp of the basic principles of linear
codes. Topics covered includes: Shannon theory and coding, Coding theory,
Decoding of linear codes and MacWilliams identity, Coding theory - Constructing
New Codes, Coding theory - Bounds on Codes, Reed-Muller codes, Fast decoding of
RM codes and higher order RM codes.
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.
This note explains
the following topics: Object-oriented programming, Data encapsulation with
classes, Subclasses and inheritance, Abstract classes, Exception handling,
Reflection, Concurrent programming, Functional programming, Logic programming,
This book explains the following topics: Linear Codes, Probability
as Fancy Counting and the q-ary Entropy Function, Combinatorics, The Greatest
Code of Them All: Reed-Solomon Codes, What Happens When the Noise is Stochastic:
Shannon's Theorem, Bridging the Gap Between Shannon and Hamming: List Decoding,
Code Constructions, Code Concatenation, Algorithms, Decoding Concatenated Codes,
Efficiently Achieving the Capacity of the BSCp, Efficient Decoding of
Reed-Solomon Codes, Efficiently Achieving List Decoding Capacity, Applications.
Author(s): Venkatesan Guruswami, Atri Rudra and Madhu
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 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