• December 9, 2024

MCA Fifth Semester Model Papers

Faculty: IT 2019 Sample Papers with Solutions Sr. No.  Paper Name  Question Paper Link  Solution Link 1.  Cloud Computing  Click Here  Click Here 2.  Analysis & Design of Algorithm  Click Here …

MCA Third Semester Model Papers

Faculty: IT 2019 Sample Papers with Solutions Sr. No.  Paper Name  Question Paper Link  Solution Link 1.  Java Technologies  Click Here  Click Here 2.  Web Technologies  Click Here  Click Here 3. …

MCA First Semester Model Papers

Faculty: IT 2019 Sample Papers with Solutions Sr. No.  Paper Name  Question Paper Link  Solution Link 1.  Discrete Mathematics  Click Here  Click Here 2.  Programming in C & C++  Click Here …

MSC (Biotechnology) Previous Year Model Papers

Faculty: Science 2019 Sample Papers with Solutions Sr. No.  Paper Name  Question Paper Link  Solution Link 1  Immunology, Virology and Pathogenesis  Click Here  Click Here 2.  Cell Biology  Click Here  Click …

MSC (Biotechnology) Final Year Model Papers

Faculty: Science 2019 Sample Papers with Solutions Sr. No.  Paper Name  Question Paper Link  Solution Link 1  Plant Biotechnology  Click Here  Click Here 2.  Genetic Engineering  Click Here  Click Here


Units I- PROPOSITIONS AND PREDICATES: Evaluation of constant propositions, Evaluation of proposition in a state. Precedence rules for operators, Tautologies, Propositions a sets of states and Transforming English to propositional form. Introduction to first-order predicate logic, Quantifiers and Reasoning.
Units II- LOGIC PROGRAMMING USING PROLOG: Constants, Goals and Clauses, Facts,Rules, Semantics, Rules and Conjunction, Rules and Disjunction, Search strategy, Queries.
Units III- ADVANCED LOGIC PROGRAMMING USING PROLOG: – Unification ,Recursion, Lists, Cut operator, and Sorting. Data structures, Text strings, Searching state space, Operators and their precedence, and Parsing in Prolog.
Units IV- FUNCTIONAL PROGRAMMING: Introduction to lambda calculus-Syntax and semantics, Computability and correctness, Lazy and Eager Evaluation Strategies, comparison of functional and imperative languages.
Units V- FUNCTIONAL PROGRAMMING USING HASKELL: Introduction, lists, User-defined data types, type classes, and arrays in Haskell. Input/Ouput in Haskell – type classes IO and Monad, Simple applications/programs in Haskell.

Author

Leave a Reply