Korea, South

This course covers basic mathematical logic such as propositional logic and first order (predicate) logic by studying the notions of truth, satisfaction, model, proof and Turing machine. Goedel's completeness theorem is presented and his incompleteness theorems are introduced. The course studies the completeness theorem for the first-order logic using Henkin's construction method. As a consequence compactness theorem is presented and Lowenheim-Skolem theorem as an application is studied. Turing machine, the theoretical background of the contemporary digital computer design, is introduced and compared with Goedel’s incompleteness theorems.

This course covers the history, characteristics, and rules of ice skating. It examines skating safety rules and protective equipment, training methods to improve speed and power, and basic skills of the sport (skating posture, push, gliding, recovery, weight transfer, fall, etc.).

This graduate course offers a series of introductory lectures, taught by professors in the convergence major group, on research topics relevant to the core technologies of smart cities. Topics include smart city engineering, technology management, economics, policy analysis on the industrial economy, smart city environment and landscape architecture, city planning and design studies, data science and computer-based information systems, robotics and autonomous vehicle engineering technologies, and administrative governance and global issues.

This course provides a study of the principles of heat transfer, conduction, convection, and radiation.

This course provides an examination of the structure and dynamics of culture, focusing on how they have created, maintained, and changed religions.

This course covers the basic skills needed to create, examine, appreciate, and understand computational art. It covers basic programming skills in Python, experience using tools for live coding music, creating animations, and hands-on experience using generative AI technologies. Topics include strings, programs as files, semantics, functions; conditionals, Iteration, functions vs methods; lists, dictionaries, sets, reading and writing to files; audio programming, sequencing events in time, randomness, signal processing; animations, graphics, user interaction, performance considerations; and introduction to generative AI, stable Diffusion, and text processing. 

This course discusses the diverse aspects of Korean culture and fashion. It studies the unique social, psychological, and political attributes of Korean culture and fashion; reviews Korean fashion and fashion industry; and analyzes success DNA of K-pop, K- movie, and K-fashion. 

The course covers fundamental engineering and mathematical concepts for understanding the wired network technologies, internet architectures and protocols, and networking programming.

This is an introductory course on Global Governance and Non-Governmental Organizations (NGOs). It discusses current international issues such as political and economic development, the environment, and human rights. 

This course provides a study of the basic concepts in occupational biomechanics and design methods for enhancing workers’ occupational health and work productivity. Topics include the human musculoskeletal system, anthropometry, bioinstrumentation, occupational biomechanical models, postural stress, and manual materials handling.