Theme-Logo
  • Login
visualization
  • FC Overview
  • FC Course graph
  • FC Course Similarity
  • FC Curricula Similarity
  • FC Trajectory
  • FC Upload files
Info
  • FC Publications
  • FC R&D team
  • FC Feedback
node
Id
Label
Node Type
Cognitive Level
Description
Similar nodes pairs

Discrete Mathematics and Logic

(Year: 1 Period: 2 Category: Compulsory )


Create
Evaluate
Analyze
Apply
Understand
Remember
Course
Knowledge Unit
Knowledge Point / Sub Knowledge Point

* Please save changes after editing the graph

Node Description:
Click on a node to see its description.
Course Objectives:
  • 1. (remember)Students can explain what an argument is, what it looks like, what it means for an argument to be logically valid, and the relationship between logical validity, evidence, and counterexamples.
  • 2. (apply)Students can use formal calculi to find proofs and perform calculations.
  • 3. (understand)Students can analyze given models using mathematical means.
  • 4. (evaluate)Students can determine whether a proof is valid.
  • 5. (understand)Students can model situations and properties using mathematical tools.
  • 6. (create)Students can independently prove simple mathematical theorems.

Related Course

Programming languages

Year: 1 Period: 4

similar nodes
Data structures

Year: 1 Period: 2

similar nodes
Modern Databases for IN/IK

Year: 2 Period: 4

similar nodes
Algorithms & Complexity

Year: 2 Period: 4

similar nodes
Introduction Computational Science

Year: 2 Period: 4

similar nodes