Weekly outline

• Heartiest Welcome to the world of Logic Development.
  

  Heartiest Welcome to the world of Logic Development.

  
  

  
  

  Course Rationale

  This course emphasizes mathematical definitions and proofs and applicable methods to solve and analyse problems that arise in computer science. It trains students in developing the ability to think quantitatively and analyze problems critically.
  

  
  

  Course objective:

  Mathematical Reasoning: To construct mathematical arguments and formulae from mathematical reasoning and logic

  Combinatorial Analysis: To Develop problem-solving skills using the ability to count or enumerate objects

  Algorithmic Thinking: To use mathematical methods for developing algorithms
  

  Applications and Modeling: To apply mathematical models to applications in Computer Science. 

  
  

  Course Outcome:

  CO1	Able to solve computational problem using mathematical models
  CO2	Able to implement basic mathematical reasoning techniques and logical operations for engineering problems
  CO3	Able to apply graph theory and other mathematical methods to both data structures and analysis of algorithms, and some other analytical problems in computer science

  
  Grading Scheme:
  Attendance: 7%
  Class Tests/Quizes:  15%
  Assignment: 5%
  Presentation (using video/ppt): 8%
  Midterm Exam: 25%
  Final Exam: 40% 
  
  

  • Instructor's Information

    Name: ABU KHALID MUBASHSHIR MAHMUD
    

    Designation: LECTURER
    email: khalid.cse@diu.edu.bd
    Office Address: Room no. 111, DT-5
    Contact number: 01878653709

    
    

    Mark as done
  • Announcements Forum
  • Text Book URL
  • Course Outline (OBE) URL

    Mark as done

    Outcome based Teaching and Learning Action Plan

  • Telegram Group Invitation Link Forum

    B: Telegram Invitation Link
    C: Telegram Invitation Link 
    
    
    
  • Resource URL

    Mark as done
• Notice Board
  

  Notice Board

  • Follow this notice board for any urgent notices.
    

    Mark as done
  • Quiz-1 & 2 ( For B section) Assignment

    Restricted Not available unless: You belong to B

    The question and Google Form for submission can be found here.
    Google Form

    Also, give your attendance in BLC

    
    

  • Quiz-1 & 2 ( For C section) Assignment

    Restricted Not available unless: You belong to C

    The question and Google Form for submission can be found here.
    Google Form

    Also, give your attendance in BLC

    
    

  • Presentation Instructions

    The instructions for the presentations are as follows.

    1. Submit the slide that you are presenting.

    2. Submit the google meet recording like the google meet sessions.

    3. Turn on the camera while you are presenting.

    4. If you have any questions ask them in the telegram group.

    5. This is a single person presentation

    6. You can choose to present any topic

    7. At least present 10 slides(without the introductory or conclusion slides)

    8. The last date of submission is 10.04.20(11:59 pm)

    9. This deadline will be strictly maintained, please submit as early as possible.

    Mark as done
  • Presentation Submission Assignment

    Mark as done

    Follow the presentation instructions and submit the materials here.

• Week 1
  

  Week 1

  • Lesson 1.1: Introduction URL

    Mark as done

    Course introduction, Objective and outcome of course, Assessment policies, Application etc.

  • Lesson 1.2: Logic and Propositional Logic URL

    Mark as done

    Concept of Logic and logical sense, the foundations of math with logic
    

  • Lesson 1.3: Logic Puzzle URL

    Some Logic Puzzles

  • Tutorials

    
    

    
    

    Mark as done
  • Class records for B

    1. Here is the link

    2. Here is the link

    3. Knight and Knave Problem

    
    

    Restricted Not available unless: You belong to B
  • Class Records for Section C

    1. Class Record Link

    2. Class Record Link

    Restricted Not available unless: You belong to C
  • Logic Puzzles Samples

    Mark as done
• Week 2
  

  Week 2

  • Lesson 2.1: Mathematical Proofs URL

    Mark as done

    Introduction to mathematical proofs using axioms and propositions, Propositional logic, propositional equivalence, Logic Puzzle, Laws of Logic
    

  • Lesson 2.2.1: Predicate Logic I URL

    Mark as done

    Predicates, Quantifiers I, Quantifiers II
    

  • Lesson 2.2.2: Predicate Logic II URL

    Mark as done

    Predicates, Quantifiers I, Quantifiers II
    

  • Tutorials

    
    

    
    

    https://youtu.be/uQqD3YHFJ1k
    

    
    

    Mark as done
  • Class Record for Section B

    Here is the link

    Restricted Not available unless: You belong to B
  • Class Record for Section C

    Here is the link

    Restricted Not available unless: You belong to C
• Week 3
  

  Week 3

  • Lesson 3.1: Sets URL

    Mark as done

    Sets: Concept, type, Finite and Infinite sets, Power set etc.
    

  • Lesson 3.2: Set Operations URL

    Mark as done

    Set Operations: Union, Intersection etc. and rules of set operations
    

  • Tutorials

    
    

    Mark as done
• Week 4
  

  Week 4

  • Lesson 4.1: Function I URL

    Mark as done

    Functions I: Function – “Machines” Definition, Representation of function, Function Vs. non Function, Properties of functions

    
    

  • Lesson 4.2: Function II URL

    Mark as done

    Functions II: Composition of Functions, An Application of Functions: The Pigeonhole Principle
    

  • Class Test: 1

    Mark as done
  • Tutorials

    
    

    
    

    Mark as done
  • Class Record

    Here is the link

    Restricted Not available unless: You belong to C
• Week 5
  

  Week 5

  • Lesson 5.1.1: Basics of Counting URL

    Mark as done

    Basic counting techniques

  • Lesson 5.1.2: Pigeonhole Principle URL

    Mark as done

    The Pigeonhole Principle

  • Lesson 5.1.3: Permutations-Combinations URL

    Mark as done

    Permutations and Combinations

  • Lesson 5.2: Mathematical Induction URL

    Mark as done

    Induction: An introduction to proof techniques, covering proof by contradiction and induction
    

  • Tutorials

    
    

    
    

      

    
    

     
    

    
    

    
    

     

    Mark as done
  • Class Record

    Here is the link

    Restricted Not available unless: You belong to B
  • Class Record

    Here is the link

    Restricted Not available unless: You belong to C
• Week 6
  

  Week 6

  • Lesson 6.1: Inference URL

    Mark as done

    Rules of Inference (What, Why, How) 
    

  • Class Record

    Here is the link

    Restricted Not available unless: You belong to C
  • Tutorials

    
    

    
    

    
    

    
    

    Mark as done
  • Class Records

    Here is the link

    Restricted Not available unless: You belong to B
  • Mid-Assignment

    Mark as done

    Submit your answers in BLC
• Week 7
  

  Week 7

  Mid-term Week

  • Response Template File 34.5KB Word document

    Mark as done

    Here is the response template

  • Guidelines
    

    Time: 9:00 am to 11:30 am.
    Use the Response template for your answer.
    Submit both in BLC and in Google form
    Please submit handwritten scripts.
    Follow the naming conventions like before.
    If you have any issues or problems call me immediately.

    Mark as done
  • Midterm Examinations Assignment

    Mark as done

    Follow the guidelines.
    The Google forms for submission are here:
    B section form: https://forms.gle/ySVTZkBgxLeBXupNA
    C section form: https://forms.gle/Wde7cNdWaVV2FNLw7
    

• Week 8
  

  Week 8

  • Lesson 8.1: Graph I URL

    Mark as done

    Introduction to graphs, graph terminologies and application, Representing graphs

    
    

  • Lesson 8.2: Graph II URL

    Mark as done

    Connectivity, Directed and Undirected graphs
    

  • Video Lecture on Graph Basics and Graph Terminology Page

    Mark as done
  • Tutorial

    
    

    Mark as done
  • Class records for B

    Here is the link
    

    
    

    Restricted Not available unless: You belong to B
  • Class records for C

    Here is the link
    

    
    

    Restricted Not available unless: You belong to C
• Week 9
  

  Week 9

  • Lesson 9.1: Euler Path URL

    Mark as done

    Euler paths: Concept and application
    

  • Lesson 9.2: Hamilton Path URL

    Mark as done

    Hamilton paths Concept and application

    
    

  • Tutorials

    Eular Graph: 

    
    

    Hamilton Path: 

    Dirac's Theorem Example: 

    Ore's Theorem Example:  https://youtu.be/IIcwc09PmXU

    Mark as done
  • Video Lecture on Euler and Hamiltonian Path Page

    Mark as done
  • Class records for B

    Here is the link
    

    
    

    Restricted Not available unless: You belong to B
  • Class records for C

    Here is the link
    

    Here is the link

    
    

    Restricted Not available unless: You belong to C
• Week 10
  

  Week 10

  • Lesson 10.1: Shortest Path URL

    Mark as done

    Shortest path problem and application
    

  • Lesson 10.2.1: Introduction to Planar Graph URL

    Mark as done

    Basics of Planar graph

  • Lesson 10.2.2: Planar Graphs Formula URL

    Mark as done

    Formula of Planar Graph

  • Video Lecture on Dijkstra Algorithm Page

    Mark as done
  • Video Lecture on Planar Graph Page

    Mark as done
  • Class records for B

    Here is the link
    

    
    

    Restricted Not available unless: You belong to B
  • Class records for C

    Here is the link
    

    
    

    Restricted Not available unless: You belong to C
• Week 11
  

  Week 11

  • Lesson 11.1: Introduction to Trees URL

    Mark as done

    Basics of Tree

  • Lesson 11.2: Minimum Spanning Tree URL

    Mark as done

    Tree traversal, Minimum Spanning Trees

    
    

  • Tutorial

    
    

    Mark as done
  • Class records for B

    Here is the link
    

    
    

    Restricted Not available unless: You belong to B
  • Class records for C

    Here is the link
    

    
    

    Restricted Not available unless: You belong to C
• Week 12
  

  Week 12

  • Lesson 12.2.1: Relation I URL

    Mark as done

    Relations and their properties,
    

  • Lesson 12.2.2: Relation II URL

    Mark as done

    Representation of relations, Partial Order

    
    

  • Video Lecture on Relation Page

    Mark as done

    Lecture
    

  • Tutorial

    
    

    
    

    
    

    
    

    
    

    Mark as done
  • Extra Materials URL

    Mark as done

    Relation and their Properties ( Materials from Discrete Math)

    
    

  • Class records for B

    Here is the link
    

    
    

    Restricted Not available unless: You belong to B
• Week 13
  

  Week 13

  • Review Week
    Topics for Final
    Contents of Week-6  to Week-12

    
    

    
    

    Mark as done
• Week 14
  

  Week 14

  • Response Template File 31KB Word document

    Mark as done

    Here is the response template

  • Guidelines File

    Mark as done

    Read the guidelines first

  • Class assessment Assignment

    Mark as done

    Instructions

    Solve this assessment question

    If you have any missed quizzes solve this also

    (Deadline: 26.4.21 Time:3:00 pm)
    

  • Final Assessment Assignment

    Restricted Not available unless: You belong to B

    The question is here: Link

    The Google form for submission is here

    If you have any issues call me directly on phone immediately.

    01878653709