This course consists of two equal parts: an introduction to set theory (Zermelo-Fraenkel axioms, ordinals and ordinal arithmetics, axiom of choice and equivalents, cardinals and cofinality) and an introduction to model theory (languages and structures, equivalence and elementary embeddings, ultraproducts and compactness, types and elimination of quantifiers, aleph_O-categoricity and type omission theorem).