Kurz je zameraný na oboznámenie sa s logickou syntaxou, sémantikou a základmi predikátovej logiky . Poskytuje základné teoretické vedomosti a priestor na nácvik a osvojenie si zručností z elementárnej logiky.