English

The aim of this course is to familiarize the student with some of the cornerstones of modern logic: the completeness of first-order logic, Gödel’s incompleteness theorems, and Church and Turing’s results on undecidability. Proofs of these results are presented in some detail, including quick introduc)ons to basic model theory, primi)ve recursive and recursive func)ons, Peano arithme)c, and the method of ‘arithme)za)on’ of metalogic, on which the incompleteness and undecidability results rely. The philosophical implica)ons of these results, and the techniques used to prove them, are also discussed, and the intui)ve ideas behind the technical construc)ons are emphasized.

This course has two aspects. The first is to increase students' understanding of more technical issues of geospatial data management and the underpinning geospatial databases necessary for GIS to be useful. The second is to develop practical skills and understanding of GIS by using it in a more extensive applied project, which takes the form of a work-based task (a "virtual placement") where students assist a virtual company to respond to client requirements for GIS analysis.

This course covers the history of Cairo with an emphasis on social, political, and economic developments in the twentieth century.

This course provides students with a thorough understanding of the nature and origin of igneous and metamorphic rocks, from their formation and distribution to their geological expressions and associations with particular plate tectonic settings. The course also builds on fundamental concepts of geochemistry and mineralogy to explain phase behavior in high temperature systems using quantitative phase diagrams and approaches. Integral practical classes use both hand specimens and optical mineralogy to understand diagnostic textures - which are used to identify and classify igneous and metamorphic rocks. The course provides an introduction to modern research practice in the fields of igneous and metamorphic petrology.

This course provides students with an understanding of the origins, main features, and impact of the Jacobite movement, and places Scotland’s experience of Jacobitism within its wider British and European context. It seeks to deepen historical and transferable skills already acquired or to assist students coming to history as a discipline for the first time. Students look at the societal changes that occurred in Scotland in the 18th century, the Jacobite rebellions and the Enlightenment period, and learn how to collect, evaluate, and use sources to support a historical case and evaluate conflicting historical interpretations.

This course examines ancient Chinese calligraphy before the Qin and Han dynasties. In addition to the training of writing skills, the knowledge of paleography will also be introduced. 

From Roman traders to modern commuters, millions of people have lived in the same few square miles where students now study. In this course, students form into groups with fellow Liberal Arts students and stage an investigation into some of these London lives. Students begin an interdisciplinary exploration of the history and culture of London and are introduced to some essential skills and methods of academic study that students use throughout the course. Students form into groups and enquire into an aspect of London, past, or present. Guided by a tutor, students seek to answer questions by engaging not only with primary and secondary readings and resources for study within King’s, but with the streets and spaces of the city itself. They present their findings via a digital portfolio and a group presentation. As students come to see by the end of this course, London - in all its struggles and achievements - is a fascinating microcosm of the wider world; and as such, an ideal laboratory for the study of Liberal Arts.

This course covers the basic concepts and applications of linear optimization, convex optimization, and non-linear & combinatorial optimization. Topics include introduction to optimization, intro to convex optimization, linear programming (LP), least squares (LS), quadratic programming (QP), second-order cone programming (SOCP), semi-definite programming (SDP), duality: connecting convex optimization with non-convex optimization, strong/weak duality, gradient descent ascent (GDA), interior point method (IPM), Lagrange relaxation, applications: unsupervised learning (GAN, Wasserstein GAN), and applications: sparse/low-rank recovery (compressed sensing, matrix completion). 

Prerequisites: Calculus, Linear Algebra 

Feelings are things we usually think of as "natural," but sociologists are interested in to what extent emotions are socially constructed and/or socially constituting. In this course, students examine why sociologists have largely neglected emotions and what a sociological approach can bring to our understanding of them. This enables students to explore how the sociology of emotions can challenge some of sociology's key premises and ways of thinking and to critically analyze debates about the changing role of emotions in social life. The topic examines how modernity has made people feel about each other and their world and how those feelings have in turn shaped that world. 

This course enriches students' culture by deconstructing many prejudices about a film genre that is often caricatured. It also provides a parallel view of the evolution of a young nation, and the main problems linked to its expansion. Working with films and documents emphasizes the importance of speaking out and constructing an argumentative discourse. Students also work on their writing skills through research projects.