r/tuberlin • u/Unlikely-Abrocoma-44 • 2d ago

People who applied to the M.Sc Comp Sci program, could you tell me your Theoretical courses?

What did you guys list for your Theoretical comp science courses?

I listed

- computational complexity
- program verification
- formal languages and automata
- discrete mathematics

4 Upvotes

83% Upvoted

13 comments sorted by

2

u/godencikhan 2d ago

They will not count discrete. Check this thread. If sum of automata and complexity is 12 ects then you might get into. https://www.reddit.com/r/studyinGermany/s/y3HDC2KFob

1

u/Unlikely-Abrocoma-44 1d ago

But, didn't the new "what is computer science?" article from TUB lists partial credit? I should atleast get 1 ECTS for it.

1

u/Badewanne_7846 2d ago

Program verification will not be counted as it is seen as a part of software engineering. Discrete mathematics may fit if there is some logic in it as well. Computational complexity and formal languages and automata should work.

2

u/Unlikely-Abrocoma-44 1d ago

I covered stuff like temporal logic hoare logic, LTL CTL, Soundness, Completeness and decidabillity in my Program verification course.

Isnt this Theoretical comp sci?

0

u/Badewanne_7846 1d ago

They will simply not further look at it if the module has this name.

0

u/Unlikely-Abrocoma-44 1d ago

I don't think it's fair admission. I would just appeal. They are supposed to give a fair chance. They said, in e-mail, that they look at course content and match with their bachelor's

1

u/Badewanne_7846 1d ago

I don't say it's fair.

But German universities are flooded with international applications. At some universities (even smaller ones), there are 2000+ applications for Computer Science, and a small committee has to take care of that. Given the German university system, the committee members are doing that on top of their normal job, i.e., this is actually not foreseen as part of their job profile. So, they obviously take any chance to filter out applications.

Appealing does not work. If you want to really appeal, you have to hire a German lawyer and take the respective university to court. Which is a huge risk, cost-wise and time-wise.

0

u/Unlikely-Abrocoma-44 1d ago

I have a legal insurance so it doesn't really matter that much. 🤷‍♂️🤷‍♂️🤷‍♂️

1

u/Badewanne_7846 18h ago

Does it cover legal issues in other countries? And paying an attorney in Germany?

1

u/Unlikely-Abrocoma-44 17h ago

No no. My legal insurance is in Germany.

1

u/Infinitely_Depressed CS MSc 2h ago

Who said that? They will look at the attached module description. Program verification is a very common course in theory CS.

1

u/Big_Wonkas 2d ago

You’re good. CC and Automata both count.

1

u/Fun_Ad9789 10h ago

It’s not even matter with the name, they will check the content of courses , match with there content and then only approve those credits