안녕하세요.

경영학과를 졸업하고 방통대로 편입해 컴퓨터 과학과를 다니고 있습니다. 지금 학기를 포함해서 3학기가 남았고, 아헨공대 데이터사이언스 석사(영어로 진행되는 인터네셔널 과정)에 지원하는 것을 목표로 하고 있습니다. 독일어는 이제 막 시작하는 단계입니다.

문제가 되는 것은, 방송대 컴퓨터과학과의 커리큘럼이 일반대학들과 달리 간소화된 부분들이 있어서, 방통대 과목들만 들어서는 채울 수 없는 학점이 있다는 것입니다.

아헨공대에서 요구하는 introduction to stochastic의 경우에는 description을 살펴보니 방통대 과목 중에, 확률의 개념과 응용, 통계학 개론의 내용들로 대체를 할 수 있을 것 같습니다.

Analysis for computer science (Calculus1,2) 같은 경우엔, 방송통신대 프라임 칼리지의 공업수학을 듣거나, 학점은행제의 미분적분학 혹은공업수학을 들으려고 합니다.(학점은행제가 인정되지 않는 경우도 있다고 하지만, 이것이라도 해보려고 합니다.)

그런데 다음의 과목들은 description을 살펴봐도 방통대 졸업으로나 학점은행으로도 대체가 불가능 할 것 같습니다.
보통 Theoretical computer science에 해당하는 것들인데요. 총 24cp가 부족합니다.

 Formal System, Automata and Processes (Theory of Computation I)(6cp)
        Formal Systems: Terms, words, and languages as foundational concepts, introduced by representative examples (number expressions, arithmetic and Boolean expressions, while programs). Definition of languages by rule systems (term rewrite systems, grammars), derivation relations, method of structural induction. Classification of grammars (Chomsky hierarchy) and elementary facts about context-free grammars (normal forms, word problem (derivability test), non-emptiness problem).
        Automata: Finite automata (deterministic and non-deterministic), closure properties (using product automata), regular expressions, non-emptiness and equivalence problem, proof of non-regularity of languages. Pushdown automata (deterministic and non-deterministic), translation of context-free grammars into pushdown automata as an example of implementing recursion by pushdown stores.
        Processes: Foundational models of distributed and concurrent systems: example-oriented introduction of synchronized automata products, Petri nets, and Communicating Sequential Processes (CSP). Comparison with basic finite-automata model

 Computability and Complexity (Theory of Computation II)(6cp)
        Examples of algorithmic problems, their representation as languages and functions, problem of solvability
        Turing machines, Church-Turing-Thesis
        Computability, decidability, enumerability
        Simulations between different models of computation, universal machines and programs
        Undecidable problems (e.g., Post Correspondence Problem)
        Complexity classes and basics on time and space complexity
        Polynomial time reductions and NP-completeness
        Approximation as an approach to NP-hard problems, example of a polynomial time approximation scheme

 Mathematical logic(6cp)
        Propositional logic (basics, algorithmic questions, compactness, resolution, sequent calculus). Structures, syntax and semantics of first-order logic. Introduction to further logics (modal and temporal logics, higher-order logics). Evaluation games, model comparison games, proof calculi, Herbrand structures, Gödel's completeness theorem. Compactness theorem and applications. Decidability, undecidability and complexity of logical specifications.

저와 같은 상황에 있으셨던 분이 계신지, 어떻게 해결하셨는지 알고 싶습니다.
방통대와 학점은행제로 해결이 안된다면, 정말로 일반대학에 편입을 하는 방법 밖에 없나요?

추천0