Computer Science course at ITMO University

Software Design

• Semesters: 7-8

• Content: Laboratory works mostly in Kotlin with sole JavaScript and TypeScript solutions

• Course structure:

  • 7th semester:
    • LRU cache with asserts in TS
    • Tweets extractor mock testing
    • Notes app with MVC pattern in JS
  • 8th semester:
    • Search request app using actors
    • Reactive wallet app
    • Entance system using event sourcing
    • Stocking app with test containers

• Course by: Alexander Kirakozov

Optimization Methods

• Semester: 8

• Content: Laboratory works in Python

• Course structure: README

• Course by: Mary Moskalenko

Software Testing

• Semester: 7

• Content: Testing the React app

• Course structure: README

• Course by: Vsevolod Brekelov

Coding Theory

• Semester: 7

• Content: Test and Laboratory work

• Course structure:

  1. Golay decoding lab
  2. Syndrome decoding work

• Course by: Boris Kudryashov

Frontend

• Semesters: 5-6

• Content: UI/UX, JavaScript and web development homeworks with HTML, CSS, JavaScript, TypeScript, React, PostgreSQL and Docker

• Course structure:

  • 5th semester:
    • UI/UX course
    • JS course
  • 6th semester:
    • Web development course

• Course by: Yandex company

Functional programming

• Semester: 6

• Content: Haskell homeworks as Stack projects

• Course structure: FP ITMO course

• Course by: Serokell company

Numerical Methods

• Semester: 6

• Content: Homeworks and Course work mostly on Python with few cases of C++

• Course structure: README

• Course by: Alex Segal

Translation methods

• Semester: 5

• Content: regex laboratory work in Perl, parsers in Java and Kotlin

• Course structure: README

• Course by: Andrey Stankevich

Methods of parallel programming

• Semester: 5

• Content: homeworks in Java and Kotlin

• Course structure: README

• Course by: Roman Elizarov, Nikita Koval

Type Theory

• Semester: 5

• Content: laboratory work in Haskell with Make builds, Alex and Happy, Idris hometasks

• Course structure:

  1. Parentheses of Lambda expressions
  2. Normalization
  3. Idris hometasks

• Course by: Dmitry Shtukenberg

Algorithms and Data Structures

• Semesters: 1-4

• Content: laboratory works mostly in C++ with few Python implementations and single JavaScript solution

• Course structure: README

• Course by: Grigory Shovkoplyas, Pavel Mavrin

Discrete Mathematic

• Semesters: 1-4

• Content: laboratory works mostly in C++, halved with Python at the first few works, with the Turing Machine commands in the last one

• Course structure: README

• Course by: Andrey Stankevich, Artem Vasilyev

Operation Systems

• Semester: 4

• Content: homeworks in C++ with Make builds

• Course structure: README

• Course by: Dmitry Banschikov

Mathematical Logic

• Semester: 4

• Content: laboratory work in Haskell with Make builds, Alex and Happy

• Course structure:

  1. Lambda expressions parser
  2. Proof minimization
  3. Double negation intuitionistic proof (Glivenko theorem)
  4. Primitive Recursive Functions homework

• Course by: Dmitry Shtukenberg

Advanced Java

• Semester: 3

• Content: homeworks in Java with build scripts and some Javadoc

• Course structure:

  1. File System
  2. Java types and libraries
  3. Streams
  4. Reflection and Javadoc
  5. Parallelism
  6. Parallel mapping
  7. Crawler
  8. UDP connection

• Course by: Georgiy Korneev

Web programming

• Semester: 3

• Content: codeforces site implementation homeworks on Java with Tomcat and Spring (in the end)

• Course structure:

  1. requests and CSS basics
  2. introduction to Servlet and Databases
  3. getting started with AJAX and Spring

• Course by: Mike Mirzayanov

C++

• Semesters: 2-3

• Content: homeworks and laboratory work in C++

• Course structure: README

• Course by: Nikolay Filchenko, Demid Kucherenko

Paradigms of programming

• Semester: 2

• Content: homeworks in Java with some contracts and single JavaScript parser

• Course structure:

  1. Hash calculations
  2. Contract programming
  3. OOP basics
  4. Expression parser
  5. Functional expression parser

• Course by: Georgiy Korneev, Nikolay Vedernikov

Programming introduction

• Semester: 1

• Content: simple programs in Python and C++

• Course structure: README

• Course by: Lidia Perovskaya

M3133 M3235 M3337 are the groups of studying