Search programme

​Use the search function to search amongst programmes at Chalmers. The programme overview and the programme syllabus relating to your studies are generally from the academic year you began your studies.

​​​

Syllabus for

Academic year
TMA240 - Mathematical logics
 
Owner: TDATA
4,0 Credits (ECTS 6)
Grading: TH - Five, Four, Three, Not passed
Level: A
Department: 37 - COMPUTER SCIENCE AND ENGINEERING


Teaching language: Swedish

Course module   Credit distribution   Examination dates
Sp1 Sp2 Sp3 Sp4 No Sp
0185 Examination 4,0 c Grading: TH   4,0 c   13 Dec 2005 am V,  Contact examiner,  26 Aug 2006 am V

In programs

TDATA COMPUTER SCIENCE AND ENGINEERING, Year 3 (elective)
TDATA COMPUTER SCIENCE AND ENGINEERING - Other elective courses, Year 4 (elective)
DCMAS MSc PROGR IN DEPENDABLE COMPUTER SYSTEMS, Year 1 (elective)
TTFYA ENGINEERING PHYSICS, Year 4 (elective)
TM Teknisk matematik, Year 2 (elective)
TITEA SOFTWARE ENGINEERING, Year 3 
EMMAS MSc PROGR IN ENGINEERING MATHEMATICS, Year 1 (elective)
TELTA ELECTRICAL ENGINEERING, Year 4 (elective)

Examiner:

Professor  Jan Smith



Eligibility:

For single subject courses within Chalmers programmes the same eligibility requirements apply, as to the programme(s) that the course is part of.

Examination


Page manager Published: Thu 03 Nov 2022.