Anastasiya Puzankova has taken a bachelor of Science at Lobachevsky State University of Nizhny Novgorod in 2015. Now she is graduating from the Computer Science Department of the Czech Technical University and from the Department of Programming Technologies of Kazan (Volga region) Federal University.

Anastasia is a researcher of the Lab of operating systems, programming languages and compilers construction in the Institute of Software Development and Engineering, Innopolis University.

Starting from 2016 Anastasia teaches math courses for Bachelor students.

The objective of the course is to give students a basic understanding of mathematical concepts in Computer Science. We will also cover basic mathematical concepts in general such as proof techniques, math logic, quantifier notation.

After this course student will:

**Understand:**

-Mathematical and logic statements

-Recursion principles**Know:**

- Basic concepts, terms and notation of discrete mathematics

- Basis of a graph theory and its applications**Apply:**

- Proof technique appropriate to given statement

- Appropriate computational technique

**SKILLS:**

- .NET

- JavaScript

- Full-stack Development

- Applied Mathematics

- GIT

- ASP.NET MVC

**DATE: **27 Apr - 15 May, 2020

**DURATION: **3 Week

**LECTURES: **3 Hours per day

**LANGUAGE: **English

**LOCATION: **Barcelona, Harbour.Space Campus

**COURSE TYPE: **Offline

WHAT YOUWILL LEARN

ABOUT ANASTASIYA

The Basis of Computer Science (CS) theory is built on math theory and the majority of processes in CS are discrete processes. The majority of mathematics in IT are Discrete Mathematics.

During this course, we will learn a variety of mathematical topics as a part and in a connection with Discrete Mathematics. All topics will be considered with respect to their connections with other areas and real applications in Computer Science.

ANASTASIYAPUZANKOVA

**DATE: **27 Apr – 15 May, 2020

**DURATION: **3 Weeks

**LECTURES: **3 Hours per day

**LANGUAGE: **English

**LOCATION: **Barcelona, Harbour.Space Campus

**COURSE TYPE: **Offline

All rights reserved. 2017

COURSE OUTLINE

**Session 1**

Sets

**Session 2**

Relations

**Session 3**

Functional relations

**Session 4**

Computational techniques

DISCRETEMATHEMATICS - 1

DISCRETEMATHEMATICS - 1

BIBLIOGRAPHY

Discrete Mathematics and ItsApplications Seventh EditionBy Kenneth Rosen(McGraw-Hill Education, 2011)

Graham, R: Concrete Mathematics:Foundation for Computer SciencebyRonald L. Graham, Donald E. Knuth &Oren Patashnik(Addison Wesley, 1994)

Harbour.Space is a university created by entrepreneurs for entrepreneurs. We focus on meeting the demands of the future, while traditional education providers are too often stuck in the past.

We’re one of the only European institutions completely dedicated to technology, design and entrepreneurship, and our interdisciplinary courses are taught by some of today’s leading professionals. Our aim is not only to equip students with the knowledge to take on the real world, but to nurture, create and shape tomorrow’s tech superstars.

HARBOUR.SPACEUNIVERSITY

HARBOUR.SPACEUNIVERSITY