1

Етап 1

Brualdi R. Introductory Combinatorics

2

Етап 2

Combinatorics (МФТИ) openedu.ru vs coursera

3

Етап 3

Современная комбинаторика (МФТИ) Coursera

4

Етап 4

Zhang Y. Combinatorial Problems in Mathematical Competitions

5

Етап 5

Алфутова Н.Б., Устинов А.В.. Алгебра и теория чисел

6

Етап 6

Dan Velleman How to prove it: a structured approach

7

Етап 7

Language, Proof and Logic Stanford

8

Етап 8

Математическая логика и теория алгоритмов openedu.ru

9

Етап 9

Шень Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

10

Етап 10

Шень Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

11

Етап 11

Introduction to logic Coursera

12

Етап 12

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

13

Етап 13

Вычислимость и логика Lektorium

14

Етап 14

Математическая логика и культура математических рассуждений Lektorium

15

Етап 15

Основы теории графов Stepik.org

16

Етап 16

Mathematics for Computer Science MIT

17

Етап 17

Graph theory openedu.ru

18

Етап 18

http://e-maxx.ru/algo/

19

Етап 19

Теория графов (МФТИ) Coursera

20

Етап 20

Алгоритмы: теория и практика. Методы stepik.org

21

Етап 21

Introduction to Algorithms MIT

22

Етап 22

Algorithms: Design and Analysis, Part 1

23

Етап 23

Алгоритмы и структуры данных yandexdataschool.ru

24

Етап 24

Andrew Adler, John E. Cloury Theory of Numbers A Text and Source Book of Problems

25

Етап 25

Ireland, Kenneth; Rosen, Michael A Classical Introduction to Modern Number Theory

1

Етап 1

Brualdi R. Introductory Combinatorics

2

Етап 2

Combinatorics (МФТИ) openedu.ru vs coursera

3

Етап 3

Современная комбинаторика (МФТИ) Coursera

4

Етап 4

Zhang Y. Combinatorial Problems in Mathematical Competitions

5

Етап 5

Алфутова Н.Б., Устинов А.В.. Алгебра и теория чисел

6

Етап 6

Dan Velleman How to prove it: a structured approach

7

Етап 7

Language, Proof and Logic Stanford

8

Етап 8

Математическая логика и теория алгоритмов openedu.ru

9

Етап 9

Шень Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

10

Етап 10

Шень Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

11

Етап 11

Introduction to logic Coursera

12

Етап 12

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

13

Етап 13

Вычислимость и логика Lektorium

14

Етап 14

Математическая логика и культура математических рассуждений Lektorium

15

Етап 15

Основы теории графов Stepik.org

16

Етап 16

Mathematics for Computer Science MIT

17

Етап 17

Graph theory openedu.ru

18

Етап 18

http://e-maxx.ru/algo/

19

Етап 19

Теория графов (МФТИ) Coursera

20

Етап 20

Алгоритмы: теория и практика. Методы stepik.org

21

Етап 21

Introduction to Algorithms MIT

22

Етап 22

Algorithms: Design and Analysis, Part 1

23

Етап 23

Алгоритмы и структуры данных yandexdataschool.ru

24

Етап 24

Andrew Adler, John E. Cloury Theory of Numbers A Text and Source Book of Problems

25

Етап 25

Ireland, Kenneth; Rosen, Michael A Classical Introduction to Modern Number Theory

12 жовтня 2016 28 листопада 2016
Ціль прострочена на 2899 днів

Мета закинута

Автор не відписував в цілі 7 років 11 месяців 19 днів

Автор мети

Neuro

Росія, Москва

8 Рік / року / років

Кар'єра та робота

Algorithms from the beginning & underlying mathematics

Основная цель - пройти курс Algorithms: Design and Analysis. Но хочется знать алгоритмы на глубоком уровне, включая математику, нужную для их понимания. Поэтому, здесь буду писать не только об алгоритмах, но и логике, комбинаторике, теории чисел, графов, сложности и пр.

Algorithms are the heart of computer science, and the subject has countless practical applications as well as intellectual depth. This course is an introduction to algorithms for learners with at least a little programming experience. The course is rigorous but emphasizes the big picture and conceptual understanding over low-level implementation and mathematical details. After completing this course, you will be well-positioned to ace your technical interviews and speak fluently about algorithms with other programmers and computer scientist s.

 Критерій завершення

Pass all Assignments

  1. Brualdi R. Introductory Combinatorics

    1. What Is Combinatorics?

    2. Permutations & Combinations

    3. The Pigeonhole Principle

    4. Generating Permutations & Combinations

    5. The Binomial Coefficients

    6. The Inclusion-Exclusion Principle & Applications

    7. Recurrence Relations & Generating Functions

    8. Special Counting Sequences

    9. Systems of Distinct Representatives

    10. Combinatorial Designs

    11. Introduction to Graph Theory

    12. More on Graph Theory

    13. Digraphs & Networks

    14. Polya Counting

  2. Combinatorics (МФТИ) openedu.ru vs coursera

    1. Правило сложения и умножения. Принцип Дирихле

    2. Основные комбинаторные величины и их свойства

    3. Сочетания с повторениями и без

    4. Комбинаторные тождества

    5. Полиномиальные коэффициенты

    6. Формула включений и исключений

    7. Выравнивания

    8. Формула обращения Мёбиуса

    9. Циклические последовательности

    10. Разбиения

  3. Современная комбинаторика (МФТИ) Coursera

  4. Zhang Y. Combinatorial Problems in Mathematical Competitions

  5. Алфутова Н.Б., Устинов А.В.. Алгебра и теория чисел

  6. Dan Velleman How to prove it: a structured approach

    Dan Velleman's lively text prepares students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. This new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.

    Solutions

    1. Sentential Logic

    2. Quantificational Logic

    3. Proofs

    4. Relations

    5. Functions

    6. Mathematical Induction

    7. Infinite Sets

  7. Language, Proof and Logic Stanford

  8. Математическая логика и теория алгоритмов openedu.ru

  9. Шень Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

  10. Шень Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

  11. Introduction to logic Coursera

    1. Lesson 1 - Introduction

    2. Lesson 2 - Propositional Logic

    3. Lesson 3 - Propositional Analysis

    4. Lesson 4 - Propositional Proofs

    5. Lesson 5 - Propositional Resolution

    6. Lesson 6 - Relational Logic

    7. Lesson 7 - Relational Analysis

    8. Lesson 8 - Relational Proofs

    9. Lesson 9 - Herbrand Logic

    10. Lesson 10 - Herbrand Proofs

    11. Lesson 11 - Induction

    12. Lesson 12 - Resolution

    13. Supplementary Material

  12. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

  13. Вычислимость и логика Lektorium

  14. Математическая логика и культура математических рассуждений Lektorium

  15. Основы теории графов Stepik.org

  16. Mathematics for Computer Science MIT

  17. Graph theory openedu.ru

  18. http://e-maxx.ru/algo/

  19. Теория графов (МФТИ) Coursera

  20. Алгоритмы: теория и практика. Методы stepik.org

  21. Introduction to Algorithms MIT

  22. Algorithms: Design and Analysis, Part 1

  23. Алгоритмы и структуры данных yandexdataschool.ru

  24. Andrew Adler, John E. Cloury Theory of Numbers A Text and Source Book of Problems

  25. Ireland, Kenneth; Rosen, Michael A Classical Introduction to Modern Number Theory

    1. Unique factorization

    2. Applications of unique factorization

    3. Congruence

    4. The structure of U(Z/nZ)

    5. Quadratic reciprocity

    6. Quadratic Gauss sums

    7. Finite fields

    8. Gauss and Jacobi sums

    9. Cubic and biquadratic reciprocity

    10. Equations over finite fields

    11. The Zeta function

    12. Algebraic number theory

    13. Quadratic and cyclotomic fields

    14. The Stickelberger relation and the Eisenstein reciprocity law

    15. Bernoulli numbers

    16. Dirichlet L-functions

    17. Diophantine Equations

    18. Elliptic curves

    19. The Mordell-Weil theorem

    20. New progress in arithmetic geometry

  • 1898
  • 12 жовтня 2016, 05:09

Реєстрація

Можливості
безмежні.
Настав час
відкрити свої.

Уже зарегистрированы?
Вхід на сайт

Заходьте.
Відкрито.

Ще не зареєстровані?
 
Підключіться до будь-якого з ваших акаунтів, ваші дані будуть взяті з акаунту.
Забули пароль?