Типы в языках программирования 6 2015 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(Новая страница: «Лектор — Денис Николаевич Москвин (<b>dmoskvin@gmail.com</b>)»)
 
 
(не показаны 2 промежуточные версии 1 участника)
Строка 1: Строка 1:
 
Лектор — Денис Николаевич Москвин (<b>dmoskvin@gmail.com</b>)
 
Лектор — Денис Николаевич Москвин (<b>dmoskvin@gmail.com</b>)
 +
 +
==Лекции==
 +
[https://drive.google.com/file/d/0BxArEg5IgeryVlJQekhXYzlFdjZHN1pkOFRRWUdibUNGWm1N/view?usp=sharing Простые типы]
 +
 +
[https://drive.google.com/file/d/0BxArEg5IgeryZ2h3WFpxVWgyUFl3QXgzSUE3SWYyRlZ1amFr/view?usp=sharing Простые расширения]
 +
 +
[https://drive.google.com/file/d/0BxArEg5IgerydU0yVzNuaVhBSTZmN1VhNHdORG9lOXktWndJ/view?usp=sharing Нормализация]
 +
 +
[https://drive.google.com/file/d/0BxArEg5IgeryUXRhYThqdFp0bmtDZDVyY2FOZ1lMSGtidk13/view?usp=sharing Ссылки]
 +
 +
[https://drive.google.com/file/d/0BxArEg5IgeryQmc3SlEyM0NKS2VVNWNfOTJFTDlFZFEzaENR/view?usp=sharing Подтипы]
 +
 +
[https://drive.google.com/file/d/0BxArEg5IgerycUdLOEZfN3d0OHFtZ0hrd2tIek8zbTg0a3Jv/view?usp=sharing Полиморфизм]
 +
 +
[https://drive.google.com/file/d/0BxArEg5IgerybndwU2tudTRLRjNMZVhpYUlfZlktX19DNWZ3/view?usp=sharing Универсальные типы]
 +
 +
[https://drive.google.com/file/d/0BxArEg5IgerybVExdktxZ1FKNk1pYWVLdmhacUtWbjZDeDFN/view?usp=sharing Экзистенциальные типы]
 +
 +
[https://drive.google.com/file/d/0BxArEg5IgerybVBKQkxmQkNDS09FZ20ySF83VFJLZThvWXo4/view?usp=sharing Ограниченная квантификация]
 +
 +
== Распределение по темам ==
 +
[https://docs.google.com/spreadsheets/d/1h0h6VTEd432tSy2G-lrtPvi7q3wvDJyq5HI-6n0W6gs/edit#gid=0&vpid=A1 Таблица]

Текущая версия на 19:14, 24 ноября 2015

Лектор — Денис Николаевич Москвин (dmoskvin@gmail.com)

Лекции

Простые типы

Простые расширения

Нормализация

Ссылки

Подтипы

Полиморфизм

Универсальные типы

Экзистенциальные типы

Ограниченная квантификация

Распределение по темам

Таблица