Course Content

Other Courses

Tribhuvan university CSIT 2065 Syllabus Applied Logic

Applied Logic - Syllabus

Course Overview and Structure
Syllabus Notes Old Questions Unit Wise Questions Question Bank

Embark on a profound academic exploration as you delve into the Applied Logic course () within the distinguished Tribhuvan university's CSIT department. Aligned with the 2065 Syllabus, this course (CSC-306) seamlessly merges theoretical frameworks with practical sessions, ensuring a comprehensive understanding of the subject. Rigorous assessment based on a 60+20+20 marks system, coupled with a challenging passing threshold of , propels students to strive for excellence, fostering a deeper grasp of the course content.

This 3 credit-hour journey unfolds as a holistic learning experience, bridging theory and application. Beyond theoretical comprehension, students actively engage in practical sessions, acquiring valuable skills for real-world scenarios. Immerse yourself in this well-structured course, where each element, from the course description to interactive sessions, is meticulously crafted to shape a well-rounded and insightful academic experience.


Course Synopsis: This course contain the main feature of different logics.
Goal: The course objective is to provide the basic concepts and techniques of the logics used in computer science.

Units

Introduction to Logic, Nature of Argument, Truth and Validity, Symbolic Logic, Statements, Conditional Statements, Statement Forms

Key Topics

  • Android Layout Types
    DE-01

    Understanding different types of layouts in Android such as Linear, Relative, Table, Absolute, and Constraint layouts.

  • Layout Attributes
    DE-02

    Learning about various attributes that can be used to customize and configure Android layouts.

  • Android Widgets
    DE-03

    Exploring different types of Android widgets such as TextView, EditText, Checkbox, RadioButton, Spinner, and their attributes.

  • Event Handling
    DE-04

    Understanding how to handle events and respond to user interactions in Android applications.

  • Working with Strings and String Arrays
    DE-05

    Learning how to work with strings, string arrays, and colors in Android applications.

  • Working with Resources and Drawables
    DE-06

    Understanding how to work with resources and drawables in Android applications.

  • Adding Icons to the Project
    DE-07

    Learning how to add icons to an Android project and customize the user interface.

  • Box Plot
    DE-08

    A graphical representation of a dataset that displays the distribution of values and outliers.

Syntax of Propositional Logic, Semantics of Propositional Logic, Calculations, Normal Form, Applications

Predicate Logic, Order of Predicate Logic, Syntax of Predicate Logic, Semantics of Predicate Logic, Consequences, Calculations, Normal Form

Resolution, Resolution in Propositional Logic, Unification of Clauses, Resolution in Predicate Logic, Horn Clauses, Proof in Propositional Logic and Predicate Logic, Axiomatic Systems, Adequacy, Compactness, Soundness.

Issue of Correctness, Partial Correctness, Hoare Proof, Total Correctness.


Intuitionistic Logic, Lukasiewicz Logic, Probabilistic Logic, Fuzzy Logic, Default Logic, Autoepistemic Logic.