Типы в языках программирования 6 2015 — различия между версиями
Материал из SEWiki
Adkozlov (обсуждение | вклад) |
|||
| (не показана 1 промежуточная версия 1 участника) | |||
| Строка 17: | Строка 17: | ||
[https://drive.google.com/file/d/0BxArEg5IgerybVExdktxZ1FKNk1pYWVLdmhacUtWbjZDeDFN/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)
