Computer Science

This course offers a study of databases. Topics include: information systems, databases, and database management systems; modeling methodologies; management of semi-structured and complex data, distributed and noSQL databases; relational databases; design of a database-- relational model; query languages-- SQL language; noSQL databases; comparison of relational databases to new noSQL stores; noSQL database types, installation, use, and deployment.

This course addresses the effective use of cloud technology in digital cultural and creative projects including: versatile digital publishing, website design, web community development, digital imaging, animation, video and media production management. As a specific objective, we emphasize to cap off a team project more than an individual task. This course takes account of the inter-discipline of humanities and information technology through media application. The learning method focuses on problem solving oriented approach. The learning activity designates a hands-on assignment and requires a complete output in the form of publishable presentation.

This course examines the method and process of problem analysis and mathematical model establishment; the algorithm design strategy and its key points--recursion, brute force, divide and conquer, greed, dynamic programming, backtracking and branch and bound, random, approximation, etc.; and the expression of algorithm complexity and the basic method of complexity analysis.

This course covers the basics of mathematical and logical foundations of theoretical computer science and the distinction between syntax and semantics. Students acquire the ability of structured reasoning in the sense of carrying out simple mathematical proofs, and they are able to apply simple abstraction techniques to switch between propositions at different levels of abstraction. They master the treatment of formal languages with their counterparts of grammars, finite automata, and push-down automata. Course topics include sets, logical propositions, proof notation, and proof techniques; relations, orders, maps, equivalences, quotients, and cardinality; words, languages, and expressions; Chomsky-hierarchy, grammars, and syntax trees; automata, push-down automata, and pumping lemma; and non-determinism.