Programming Language Theory
Information and Coding Theory
Both  related aspects of the problem of how to transmit information efficiently and accurately. Information theory is related to the quantification of information, firstly used to find fundamental limits on signal processing operations such as compressing data and on reliably storing and communicating data. Coding theory is the study of the properties of codes. Codes are used for data compression, cryptography, error detection and correction, and more recently also for network coding. Codes are studied for the purpose of designing efficient and reliable data transmission methods. Formal MethodsFormal methods are a particular kind of mathematically based technique for the specs., development and verification of software/ hardware systems. Theory of ComputationThe study of computation aims at providing an insight into the characteristics of computations. Such an insight can be used for predicting the complexity of desired computations, for choosing the approaches they should take, and for developing tools that facilitate their design ^{[2]}. Algorithms and Data Structures ⇧An algorithm (pronounced ALgorithum) is a procedure or formula for solving a problem. The word derives from the name of the mathematician, Mohammed ibnMusa AlXorazmiy, born in Khiva (now in Uzbekistan) who was a scholar in the House of Wisdom in Baghdad, lived from about 780 to 850. AlKhwarizmi's work is the likely source for the word algebra as well. A computer program can be viewed as an elaborate algorithm. In mathematics and computer science, an algorithm usually means a small procedure that solves a recurrent problem. In programming, the term data structure refers to a scheme for organizing related pieces of information. ^{[3]} A nice lecture by Brad Miller and David Ranum, Luther College Problem Solving with Algorithms and Data Struvtures. Also simple explanation about Data Structure  Sorting Techniques, Big O Complexities, Data Structure  Sorting Techniques Practical examples: Algorithms, geeksforgeeks, Videos • Quiz • algoritmy.net, • java2s.com • Transport Problem • Heuristic Search • Heaps • Alg 4th Edt.
References
