GDST1053

Course Descriptions

The course is intended to be accessible to better meet the needs of today's undergraduate students from all kinds of disciplines. It is intended for students who has not studied logic previously, but who has some experience in mathematical reasoning. It includes mathematical proofs, and the way of how proofs can be justified. The course contains a systematic discussion of these results and investigations will be centred around first-order logic which shows that the consequence relation coincides with formal provability

Workload

Workload not available

Modules

Modules not available