http://mit.spbau.ru/sewiki/api.php?action=feedcontributions&feedformat=atom&user=Darnley SEWiki - Вклад участника [ru] 2026-04-11T17:58:03Z Вклад участника MediaWiki 1.26.2 http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8_5SE_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15835 Формальные языки 5SE весна 2018 2018-06-18T09:49:38Z <p>Darnley: </p> <hr /> <div><br /> == Лекции ==<br /> Преподаватель: Дворкин Михаил Эдуардович (&lt;code&gt;mikhail.dvorkin@gmail.com&lt;/code&gt;)<br /> <br /> <br /> ==== Список билетов на экзамене ====<br /> <br /> # Детерминированные конечные автоматы. Принятие слова. Эквивалентность состояний. Минимизация ДКА.<br /> # Правые контексты. Прямое произведение ДКА. Динамическое программирование по ДКА.<br /> # Недетерминированные КА, их соотношение с детерминированными. Распознавание слова НКА. Детерминизация. Эквивалентность ДКА и НКА.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ.<br /> # Лемма о разрастании для ДКА.<br /> # КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Однозначные КС-грамматики.<br /> # Нормальная форма Хомского. Все этапы алгоритма приведения к НФХ.<br /> # Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> # Лемма о разрастании для КС-грамматик.<br /> # Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию. Эквивалентность МП-автоматов и КС-грамматик.<br /> # Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема. Соотношение регулярных, ДМП- и КС-языков.<br /> # Иерархия Хомского. Регулярные грамматики, эквивалентность ДКА. Неограниченные грамматики, эквивалентность машинам Тьюринга.<br /> # Контекстно-зависимые грамматики, неукорачивающие грамматики. Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней.<br /> <br /> <br /> ==== Ссылки ====<br /> <br /> <br /> * Важная книга: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков neerc.ifmo.ru]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]<br /> * [http://yeputons.net/spbau/term4/formal_languages-lectures.pdf]<br /> <br /> == Практика ==<br /> <br /> === Слабодкин Михаил ===<br /> <br /> Контакты: &lt;code&gt;slabodkinm@gmail.com&lt;/code&gt;<br /> <br /> [https://docs.google.com/spreadsheets/d/1n6EkI7WZkAc9bNBnr4VtqxqOUodPaHn7A81qGjOzulc/edit?usp=sharing Таблица с результатами]<br /> <br /> === Вербицкая Екатерина ===<br /> <br /> Контакты: &lt;code&gt;kajigor@gmail.com&lt;/code&gt;<br /> <br /> [https://docs.google.com/spreadsheets/d/1n6EkI7WZkAc9bNBnr4VtqxqOUodPaHn7A81qGjOzulc/edit#gid=111213337 Таблица с результатами]<br /> <br /> [https://drive.google.com/drive/folders/1yBgcf2yIvxV7NTmm08nWBdu5GcqbeMh5 Домашние задания]<br /> <br /> '''Важно''': префикс для темы писем с домашками: &lt;code&gt;[FL_SPbAU] HWxx&lt;/code&gt;</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8_2MIT_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15834 Формальные языки 2MIT весна 2018 2018-06-18T09:31:07Z <p>Darnley: /* Список билетов на экзамене */</p> <hr /> <div>== Лекции ==<br /> Преподаватель: Дворкин Михаил Эдуардович ('''mikhail.dvorkin@gmail.com''')<br /> <br /> == Список билетов на экзамене ==<br /> <br /> # Детерминированные конечные автоматы. Принятие слова. Эквивалентность состояний. Минимизация ДКА.<br /> # Правые контексты. Прямое произведение ДКА. Динамическое программирование по ДКА.<br /> # Недетерминированные КА, их соотношение с детерминированными. Распознавание слова НКА. Детерминизация. Эквивалентность ДКА и НКА.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ.<br /> # Лемма о разрастании для ДКА.<br /> # КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Однозначные КС-грамматики.<br /> # Нормальная форма Хомского. Все этапы алгоритма приведения к НФХ.<br /> # Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> # Лемма о разрастании для КС-грамматик.<br /> # Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию. Эквивалентность МП-автоматов и КС-грамматик.<br /> # Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема. Соотношение регулярных, ДМП- и КС-языков.<br /> # Иерархия Хомского. Регулярные грамматики, эквивалентность ДКА. Неограниченные грамматики, эквивалентность машинам Тьюринга.<br /> # Контекстно-зависимые грамматики, неукорачивающие грамматики. Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней.<br /> <br /> == Практика Слабодкин ==<br /> <br /> Преподаватель: Слабодкин Михаил Григорьевич('''slabodkinm@gmail.com ''')<br /> <br /> [https://docs.google.com/spreadsheets/d/10Rt2DJtldGo3FG-uch2-B9JpTL2-AEBntXsWcaDmNGk/edit#gid=0 Таблица с результатами]<br /> <br /> * [[Медиа:FL1_spring2018.pdf | Задания к практике №1]]<br /> * [[Медиа:FL2_spring2018.pdf | Задания к практике №2]]<br /> * [[Медиа:FL3_spring2018.pdf | Задания к практике №3]]<br /> * [[Медиа:FL4_spring2018.pdf | Задания к практике №4]]<br /> * [[Медиа:FL5_spring2018.pdf | Задания к практике №5]]<br /> * [[Медиа:FL6_spring2018.pdf | Задания к практике №6]]<br /> * [[Медиа:FL7_spring2018.pdf | Задание к практике №7]]<br /> <br /> == Практика Вербицкая ==<br /> <br /> Преподаватель: Вербицкая Екатерина Андреевна ('''kajigor@gmail.com''')<br /> <br /> == Практика Палецких ==<br /> <br /> Преподаватель: Палецких Алексей Андреевич ('''a.paletskikh@gmail.com''')<br /> <br /> [https://docs.google.com/spreadsheets/d/1I-UG1UHBldLlC0EwRRlbyVJJKvVqH5X6VHMMueEYYM0/ Таблица с результатами]<br /> <br /> [http://mit.spbau.ru/sewiki/images/9/98/Fl.pdf Все задания]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8_2MIT_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2018&diff=15833 Формальные языки 2MIT весна 2018 2018-06-18T09:29:50Z <p>Darnley: </p> <hr /> <div>== Лекции ==<br /> Преподаватель: Дворкин Михаил Эдуардович ('''mikhail.dvorkin@gmail.com''')<br /> <br /> == Список билетов на экзамене ==<br /> <br /> 1. Детерминированные конечные автоматы. Принятие слова. Эквивалентность состояний. Минимизация ДКА.<br /> 2. Правые контексты. Прямое произведение ДКА. Динамическое программирование по ДКА.<br /> 3. Недетерминированные КА, их соотношение с детерминированными. Распознавание слова НКА. Детерминизация. Эквивалентность ДКА и НКА.<br /> 4. Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ.<br /> 5. Лемма о разрастании для ДКА.<br /> 6. КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Однозначные КС-грамматики.<br /> 7. Нормальная форма Хомского. Все этапы алгоритма приведения к НФХ.<br /> 8. Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> 9. Лемма о разрастании для КС-грамматик.<br /> 10. Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию. Эквивалентность МП-автоматов и КС-грамматик.<br /> 11. Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема. Соотношение регулярных, ДМП- и КС-языков.<br /> 12. Иерархия Хомского. Регулярные грамматики, эквивалентность ДКА. Неограниченные грамматики, эквивалентность машинам Тьюринга.<br /> 13. Контекстно-зависимые грамматики, неукорачивающие грамматики. Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней.<br /> <br /> == Практика Слабодкин ==<br /> <br /> Преподаватель: Слабодкин Михаил Григорьевич('''slabodkinm@gmail.com ''')<br /> <br /> [https://docs.google.com/spreadsheets/d/10Rt2DJtldGo3FG-uch2-B9JpTL2-AEBntXsWcaDmNGk/edit#gid=0 Таблица с результатами]<br /> <br /> * [[Медиа:FL1_spring2018.pdf | Задания к практике №1]]<br /> * [[Медиа:FL2_spring2018.pdf | Задания к практике №2]]<br /> * [[Медиа:FL3_spring2018.pdf | Задания к практике №3]]<br /> * [[Медиа:FL4_spring2018.pdf | Задания к практике №4]]<br /> * [[Медиа:FL5_spring2018.pdf | Задания к практике №5]]<br /> * [[Медиа:FL6_spring2018.pdf | Задания к практике №6]]<br /> * [[Медиа:FL7_spring2018.pdf | Задание к практике №7]]<br /> <br /> == Практика Вербицкая ==<br /> <br /> Преподаватель: Вербицкая Екатерина Андреевна ('''kajigor@gmail.com''')<br /> <br /> == Практика Палецких ==<br /> <br /> Преподаватель: Палецких Алексей Андреевич ('''a.paletskikh@gmail.com''')<br /> <br /> [https://docs.google.com/spreadsheets/d/1I-UG1UHBldLlC0EwRRlbyVJJKvVqH5X6VHMMueEYYM0/ Таблица с результатами]<br /> <br /> [http://mit.spbau.ru/sewiki/images/9/98/Fl.pdf Все задания]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8_3MIT_%D0%BE%D1%81%D0%B5%D0%BD%D1%8C_2017&diff=12163 Формальные языки 3MIT осень 2017 2017-09-09T21:51:28Z <p>Darnley: </p> <hr /> <div><br /> == Лекции ==<br /> Преподаватель: Дворкин М. Э., mikhail.dvorkin@gmail.com<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> <br /> == Практика Слабодкин ==<br /> <br /> == Практика Вербицкая ==</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8_3MIT_%D0%BE%D1%81%D0%B5%D0%BD%D1%8C_2017&diff=12162 Формальные языки 3MIT осень 2017 2017-09-09T21:49:48Z <p>Darnley: /* Лекции */</p> <hr /> <div><br /> == Лекции ==<br /> Преподаватель: Дворкин М. Э.<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> <br /> == Практика Слабодкин ==<br /> <br /> == Практика Вербицкая ==</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=SE_Wiki&diff=10909 SE Wiki 2017-04-10T13:07:44Z <p>Darnley: /* Phys */</p> <hr /> <div>= Учебная информация =<br /> <br /> * [https://docs.google.com/spreadsheets/d/1DexAR0Bjj4kUst1PIdIa42BPlHOCskvJDkfc7td0gvQ/edit?usp=sharing Расписание]<br /> <br /> == 1 курс ==<br /> <br /> ==== IT ====<br /> [https://drive.google.com/open?id=1VjvuuwKY8qsAXN0F0MBXtVfc_qcRe24xGiHHncnbYIE Распределение по группам (математика)]<br /> <br /> # [[Алгебра,1 курс, 2 семестр, 2016/17|Алгебра]]<br /> # [[Алгоритмы_2_2016/17_весна | Алгоритмы]]<br /> # [[Мат.Анализ,1 курс, 2 семестр, 2016/17|Математический анализ]]<br /> # [[Основы Дискретной Математики,1 курс, 2 семестр, 2016/17|Основы дискретной математики]]<br /> # [[С++,1 курс, 2 семестр, 2016/17|С++]]<br /> # [[Unix, 1 курс, 2 семестр 2016/17|Работа в операционной системе Unix]]<br /> # [[Разное|Разное]]<br /> <br /> ==== Phys ====<br /> <br /> # [[Алгебра_phys_1_весна_2017|Алгебра (для студентов-физиков)]]<br /> # [[Python (физики), 2016/17|Python]]<br /> <br /> == 2 курс ==<br /> <br /> # [[Java_2MIT_весна_2017 | Java]]<br /> # [[Комбинаторика, 2 курс, 4 семестр, 2016/17|Комбинаторика]]<br /> # [[Мат.Анализ,2 курс, 4 семестр, 2016/17|Математический анализ]]<br /> # [[Матлогика, 2 курс, 4 семестр, 2016/17|Матлогика и теория алгоритмов]]<br /> # [[Теория вероятностей, 2 курс, 4 семестр, 2016/17|Теория вероятностей]]<br /> # [[Биоинформатика, 2 курс, 4 семестр, 2016/17|Введение в биоинформатику]]<br /> # [[Экономика, 2 курс, 4 семестр, 2016/17|Экономика]]<br /> <br /> == 3 курс ==<br /> <br /> # [[Методы оптимизации, 3 курс, 6 семестр, 2016/17|Методы оптимизации]]<br /> # [[Численные методы, 3 курс, 6 семестр, 2016/17|Численные методы]]<br /> # [[Параллельное программирование, 3 курс, 6 семестр, 2016/17|Параллельное программирование]]<br /> # [[Технологии компьютерных сетей, 3 курс, 6 семестр, 2016/17|Технологии компьютерных сетей]]<br /> # [[Типы в языках программирования, 3 курс, 6 семестр, 2016/17|Типы в языках программирования]]<br /> # [[Машинное обучение 2017|Введение в машинное обучение]]<br /> # [[Работа с данными, 3 курс, 6 семестр, 2016/17|Работа с данными]]<br /> # [[Reinforcement learning, 3 курс, 6 семестр 2016/17|Reinforcement learning]]<br /> # [[Теория информации, 3 курс, 6 семестр 2016/17|Теория информации]]<br /> # [[Тестирование ПО, 3 курс, 6 семестр 2016/17|Тестирование ПО]]<br /> # [[Software engineering, 3 курс, 6 семестр 2016/17|Software engineering]]<br /> # [[Матстатистика, 3 курс, 6 семестр 2016/17|Матстатистика]]<br /> # [[Семантика языков программирования, 3 курс, 6 семестр 2016/17|Семантика языков программирования]]<br /> # [[Контейнерная виртуализация, 3 курс, 6 семестр 2016/17|Контейнерная виртуализация]]<br /> <br /> == 5 курс ==<br /> # [[Типы в языках программирования, 5 курс, 2 семестр, 2016/17|Типы в языках программирования]]<br /> # [[Матлогика, 5 курс, 2 семестр, 2016/17|Матлогика]]<br /> # [[Алгоритмы и структуры данных, 5 курс, 2 семестр, 2016/17|Алгоритмы и структуры данных]]<br /> # [[CPP, 5 курс, 2 семестр, 2016/17|CPP]]<br /> # [[Машинное обучение, 5 курс, 2 семестр, 2016/17|Машинное обучение]]<br /> # [[Java, 5 курс, 2 семестр, 2016/17|Java]]<br /> # [[Формальные языки, 5 курс, 2 семестр, 2016/17|Формальные языки]]<br /> # [[Software Design, 5 курс, 2 семестр, 2016/17|Software Design]]<br /> # [[Теория информации, 3 курс, 6 семестр 2016/17|Теория информации]]<br /> <br /> == 6 курс ==<br /> #[[Теория категорий, 6 курс, 4 семестр, 2016/17|Теория категорий]]<br /> #[[Вычислительная геометрия-2, 6 курс, 4 семестр, 2016/17|Вычислительная геометрия-2]]<br /> <br /> = Всякая информация =<br /> <br /> Открытые исходящие порты в AcademFree/WirelessForAll: 22, 25, 80, 110, 443, 465, 993, 4244, 5190, 5222, 5242<br /> <br /> = Архив за прошлые семестры =<br /> * [[Весна_2017|Весенний семестр 2017]]<br /> * [[Осень_2016|Осенний семестр 2016]]<br /> * [[Весна_2016|Весенний семестр 2016]]<br /> * [[Осень_2015|Осенний семестр 2015]]<br /> * [[Весна_2015|Весенний семестр 2015]]<br /> * [[Осень_2014|Осенний семестр 2014]]<br /> * [[Весна_2014|Весенний семестр 2014]]<br /> * [[Осень_2013|Осенний семестр 2013]]<br /> * [[Весна_2013|Весенний семестр 2013]]<br /> * [[Осень_2012|Осенний семестр 2012]]<br /> * [[Весна_2012|Весенний семестр 2012]]<br /> * [[Осень_2011|Осенний семестр 2011]]<br /> <br /> == Дни разработчика ==<br /> * [[Devdays2h2012| Дни разработчика (Осень 2012)]]<br /> * [[Devdays1h2013| Дни разработчика (Весна 2013)]]<br /> * [[devdays_fall_2013| Дни разработчика (Осень 2013)]]<br /> * [[devdays_spring_2014| Дни разработчика (Весна 2014)]]<br /> * [[ prpojects_fall_2013|Странички проектов (Осень 2013)]]<br /> * [[ prpojects_spring_2014|Страничка проектов (Весна 2014)]]<br /> * [[devdays_fall_2014|Дни разработчика (Осень 2014)]]<br /> * [[projects_fall_2014|Страничка проектов (Осень 2014)]]<br /> * [[devdays_spring_2015|Дни разработчика (Весна 2015)]]<br /> <br /> == Практики ==<br /> * [[НИР_5SE_осень_2014|Темы практик, осень 2014-го года]]<br /> * [[НИР_5SE_весна_2014|Темы практик, весна 2014-го года]]<br /> * [[НИР_5SE_осень_2013|Темы практик, осень 2013-го года]]<br /> * [[НИР_5SE_весна_2013|Темы практик, весна 2013-го года]]<br /> * [[НИР 5SE осень 2012|Темы практик, осень 2012-го года]]<br /> * [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dG9CRFdGa2tLeV9ab1l1QWlkOFp3bFE&amp;output=html Темы практик, лето 2012-го года]<br /> * [[Темы практик, 5SE, осень 2011-го года | Темы практик, осень 2011-го года]]<br /> * [[Темы практик |Темы практик, весна 2011-го года]]<br /> <br /> == Студенты ==<br /> * [[2010|Набор 2010-го года]]<br /> * [[2011|Набор 2011-го года]]<br /> * [[2012|Набор 2012-го года]]<br /> * [[2013|Набор 2013-го года]]<br /> * [[2014|Набор 2014-го года]]<br /> * [[2015|Набор 2015-го года]]<br /> <br /> = Важные ссылки =<br /> <br /> = Дополнительно = <br /> * [[Q&amp;A]]<br /> * [[Мероприятия]]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=10908 Python (физики), 2016/17 2017-04-10T13:07:09Z <p>Darnley: /* План 2 семестра */</p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> [https://goo.gl/5F8V6L Результаты] группы Андрея Лазаревича '''thecexcell@gmail.com'''<br /> <br /> == План 2 семестра ==<br /> <br /> Лекция 1<br /> * Хранение вещественных чисел (IEEE floating point)<br /> <br /> Лекция 2<br /> * Библиотека NumPy<br /> * np.array()<br /> * применение операторов поэлементно (a + b, a == b)<br /> * .ndim<br /> * .shape<br /> * .dtype<br /> * np.arange()<br /> * np.linspace()<br /> * np.ones()<br /> * np.zeros()<br /> * np.eye()<br /> * np.diag()<br /> * np.random.rand()<br /> * np.random.random_integers()<br /> * np.tile()<br /> <br /> Лекция 3<br /> * broadcasting<br /> * адресация в массиве: срезы, a[list], a[predicate]<br /> <br /> ... <br /> <br /> Лекция N<br /> <br /> [https://gist.github.com/mikhail-dvorkin/4984e29d8cb275451aee16c0e9e4ace6 Черновик с лекции]<br /> <br /> == План 1 семестра ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов<br /> <br /> Лекция 7<br /> * GUI. Tkinter. Вызов команд при нажатии на кнопки.<br /> * Создание кнопок в цикле, разные команды для разных кнопок.<br /> * Лямбда-функции.<br /> * Замыкания в лямбда-функциях.<br /> <br /> Лекция 8<br /> * Модули<br /> * import module, from module import _<br /> * Вызов основного кода, __name__ == '__main__'<br /> * Пакеты<br /> <br /> Лекция 9<br /> * ООП<br /> * Создание класса, конструктор, параметр self<br /> * Метод класса, вызов как object.method()<br /> * Поля класса, глобальные поля класса<br /> * Наследование. Вызов метода (или конструктора) родительского класса.<br /> * Пример: наследование от встроенных классов.<br /> <br /> Лекция 10<br /> * Перегрузка операторов<br /> * __str__(), __repr__()<br /> * __eq__()<br /> * NotImplemented<br /> * __add__(), __radd__()<br /> * Желательность эквивалентности ==, ассоциативности +<br /> <br /> Лекция 11<br /> * bytes, hash, len<br /> * bool, int, float<br /> * getitem, setitem<br /> * call<br /> * divmod<br /> * iadd<br /> * pow<br /> * Быстрое возведение в степень<br /> * contains<br /> <br /> Лекция 12 [http://pastebin.com/S2Kp4wr5 Код с доски]<br /> * оператор yeild<br /> * генераторы<br /> * __iter__(), __next__(), итераторы<br /> * методы модуля itertools<br /> <br /> <br /> Лекция 13 [http://pastebin.com/636H04MN некрасивый черновик с экрана]<br /> * Регулряные выражения. Синтаксис. Группы (скобки).<br /> * Модуль re: search, match, fullmatch, sub, findall<br /> * groups(), group()</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=10425 Python (физики), 2016/17 2017-02-28T09:30:10Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> [https://goo.gl/5F8V6L Результаты] группы Андрея Лазаревича '''thecexcell@gmail.com'''<br /> <br /> == План 2 семестра ==<br /> <br /> Лекция 1<br /> * Хранение вещественных чисел (IEEE floating point)<br /> <br /> Лекция 2<br /> * Библиотека NumPy<br /> * np.array()<br /> * применение операторов поэлементно (a + b, a == b)<br /> * .ndim<br /> * .shape<br /> * .dtype<br /> * np.arange()<br /> * np.linspace()<br /> * np.ones()<br /> * np.zeros()<br /> * np.eye()<br /> * np.diag()<br /> * np.random.rand()<br /> * np.random.random_integers()<br /> * np.tile()<br /> <br /> Лекция 3<br /> * broadcasting<br /> * адресация в массиве: срезы, a[list], a[predicate]<br /> <br /> == План 1 семестра ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов<br /> <br /> Лекция 7<br /> * GUI. Tkinter. Вызов команд при нажатии на кнопки.<br /> * Создание кнопок в цикле, разные команды для разных кнопок.<br /> * Лямбда-функции.<br /> * Замыкания в лямбда-функциях.<br /> <br /> Лекция 8<br /> * Модули<br /> * import module, from module import _<br /> * Вызов основного кода, __name__ == '__main__'<br /> * Пакеты<br /> <br /> Лекция 9<br /> * ООП<br /> * Создание класса, конструктор, параметр self<br /> * Метод класса, вызов как object.method()<br /> * Поля класса, глобальные поля класса<br /> * Наследование. Вызов метода (или конструктора) родительского класса.<br /> * Пример: наследование от встроенных классов.<br /> <br /> Лекция 10<br /> * Перегрузка операторов<br /> * __str__(), __repr__()<br /> * __eq__()<br /> * NotImplemented<br /> * __add__(), __radd__()<br /> * Желательность эквивалентности ==, ассоциативности +<br /> <br /> Лекция 11<br /> * bytes, hash, len<br /> * bool, int, float<br /> * getitem, setitem<br /> * call<br /> * divmod<br /> * iadd<br /> * pow<br /> * Быстрое возведение в степень<br /> * contains<br /> <br /> Лекция 12 [http://pastebin.com/S2Kp4wr5 Код с доски]<br /> * оператор yeild<br /> * генераторы<br /> * __iter__(), __next__(), итераторы<br /> * методы модуля itertools<br /> <br /> <br /> Лекция 13 [http://pastebin.com/636H04MN некрасивый черновик с экрана]<br /> * Регулряные выражения. Синтаксис. Группы (скобки).<br /> * Модуль re: search, match, fullmatch, sub, findall<br /> * groups(), group()</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_5_%D0%BA%D1%83%D1%80%D1%81,_2_%D1%81%D0%B5%D0%BC%D0%B5%D1%81%D1%82%D1%80,_2016/17&diff=10201 Формальные языки, 5 курс, 2 семестр, 2016/17 2017-02-17T17:19:50Z <p>Darnley: </p> <hr /> <div>Лектор — Дворкин Михаил Эдуардович, mikhail.dvorkin@gmail.com<br /> <br /> Практика — Михаил Слабодкин, Екатерина Вербицкая<br /> <br /> == Лекции ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> <br /> == Практика Слабодкин ==<br /> <br /> <br /> == Практика Вербицкая ==<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_5_%D0%BA%D1%83%D1%80%D1%81,_2_%D1%81%D0%B5%D0%BC%D0%B5%D1%81%D1%82%D1%80,_2016/17&diff=10200 Формальные языки, 5 курс, 2 семестр, 2016/17 2017-02-17T17:19:36Z <p>Darnley: </p> <hr /> <div>Лектор — Дворкин Михаил Эдуардович, mikhail.dvorkin@gmail.com<br /> <br /> Практика — Михаил Слабодкин, Екатерина Вербицкая<br /> <br /> == Лекции ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> <br /> == Практика Слабодкин ==<br /> <br /> <br /> == Практика Вербицкая ==<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=9669 Python (физики), 2016/17 2016-12-05T13:14:51Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> [https://goo.gl/5F8V6L Результаты] группы Андрея Лазаревича '''thecexcell@gmail.com'''<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов<br /> <br /> Лекция 7<br /> * GUI. Tkinter. Вызов команд при нажатии на кнопки.<br /> * Создание кнопок в цикле, разные команды для разных кнопок.<br /> * Лямбда-функции.<br /> * Замыкания в лямбда-функциях.<br /> <br /> Лекция 8<br /> * Модули<br /> * import module, from module import _<br /> * Вызов основного кода, __name__ == '__main__'<br /> * Пакеты<br /> <br /> Лекция 9<br /> * ООП<br /> * Создание класса, конструктор, параметр self<br /> * Метод класса, вызов как object.method()<br /> * Поля класса, глобальные поля класса<br /> * Наследование. Вызов метода (или конструктора) родительского класса.<br /> * Пример: наследование от встроенных классов.<br /> <br /> Лекция 10<br /> * Перегрузка операторов<br /> * __str__(), __repr__()<br /> * __eq__()<br /> * NotImplemented<br /> * __add__(), __radd__()<br /> * Желательность эквивалентности ==, ассоциативности +<br /> <br /> Лекция 11<br /> * bytes, hash, len<br /> * bool, int, float<br /> * getitem, setitem<br /> * call<br /> * divmod<br /> * iadd<br /> * pow<br /> * Быстрое возведение в степень<br /> * contains<br /> <br /> Лекция 12 [http://pastebin.com/S2Kp4wr5 Код с доски]<br /> * оператор yeild<br /> * генераторы<br /> * __iter__(), __next__(), итераторы<br /> * методы модуля itertools<br /> <br /> <br /> Лекция 13 [http://pastebin.com/636H04MN некрасивый черновик с экрана]<br /> * Регулряные выражения. Синтаксис. Группы (скобки).<br /> * Модуль re: search, match, fullmatch, sub, findall<br /> * groups(), group()</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=9608 Python (физики), 2016/17 2016-11-28T13:55:05Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> [https://goo.gl/5F8V6L Результаты] группы Андрея Лазаревича '''thecexcell@gmail.com'''<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов<br /> <br /> Лекция 7<br /> * GUI. Tkinter. Вызов команд при нажатии на кнопки.<br /> * Создание кнопок в цикле, разные команды для разных кнопок.<br /> * Лямбда-функции.<br /> * Замыкания в лямбда-функциях.<br /> <br /> Лекция 8<br /> * Модули<br /> * import module, from module import _<br /> * Вызов основного кода, __name__ == '__main__'<br /> * Пакеты<br /> <br /> Лекция 9<br /> * ООП<br /> * Создание класса, конструктор, параметр self<br /> * Метод класса, вызов как object.method()<br /> * Поля класса, глобальные поля класса<br /> * Наследование. Вызов метода (или конструктора) родительского класса.<br /> * Пример: наследование от встроенных классов.<br /> <br /> Лекция 10<br /> * Перегрузка операторов<br /> * __str__(), __repr__()<br /> * __eq__()<br /> * NotImplemented<br /> * __add__(), __radd__()<br /> * Желательность эквивалентности ==, ассоциативности +<br /> <br /> Лекция 11<br /> * bytes, hash, len<br /> * bool, int, float<br /> * getitem, setitem<br /> * call<br /> * divmod<br /> * iadd<br /> * pow<br /> * Быстрое возведение в степень<br /> * contains<br /> <br /> Лекция 12 [http://pastebin.com/S2Kp4wr5 Код с доски]<br /> * оператор yeild<br /> * генераторы<br /> * __iter__(), __next__(), итераторы<br /> * методы модуля itertools</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=9607 Python (физики), 2016/17 2016-11-28T13:52:51Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> [https://goo.gl/5F8V6L Результаты] группы Андрея Лазаревича '''thecexcell@gmail.com'''<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов<br /> <br /> Лекция 7<br /> * GUI. Tkinter. Вызов команд при нажатии на кнопки.<br /> * Создание кнопок в цикле, разные команды для разных кнопок.<br /> * Лямбда-функции.<br /> * Замыкания в лямбда-функциях.<br /> <br /> Лекция 8<br /> * Модули<br /> * import module, from module import _<br /> * Вызов основного кода, __name__ == '__main__'<br /> * Пакеты<br /> <br /> Лекция 9<br /> * ООП<br /> * Создание класса, конструктор, параметр self<br /> * Метод класса, вызов как object.method()<br /> * Поля класса, глобальные поля класса<br /> * Наследование. Вызов метода (или конструктора) родительского класса.<br /> * Пример: наследование от встроенных классов.<br /> <br /> Лекция 10<br /> * Перегрузка операторов<br /> * __str__(), __repr__()<br /> * __eq__()<br /> * NotImplemented<br /> * __add__(), __radd__()<br /> * Желательность эквивалентности ==, ассоциативности +<br /> <br /> Лекция 11<br /> * bytes, hash, len<br /> * bool, int, float<br /> * getitem, setitem<br /> * call<br /> * divmod<br /> * iadd<br /> * pow<br /> * Быстрое возведение в степень<br /> * contains<br /> <br /> Лекция 12 [http://pastebin.com/S2Kp4wr5 Код с доски]<br /> * оператор yeild<br /> * генераторы<br /> * __iter__(), __next__(), итераторы<br /> * модуль itertools</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=9544 Python (физики), 2016/17 2016-11-21T14:04:31Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> [https://goo.gl/5F8V6L Результаты] группы Андрея Лазаревича '''thecexcell@gmail.com'''<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов<br /> <br /> Лекция 7<br /> * GUI. Tkinter. Вызов команд при нажатии на кнопки.<br /> * Создание кнопок в цикле, разные команды для разных кнопок.<br /> * Лямбда-функции.<br /> * Замыкания в лямбда-функциях.<br /> <br /> Лекция 8<br /> * Модули<br /> * import module, from module import _<br /> * Вызов основного кода, __name__ == '__main__'<br /> * Пакеты<br /> <br /> Лекция 9<br /> * ООП<br /> * Создание класса, конструктор, параметр self<br /> * Метод класса, вызов как object.method()<br /> * Поля класса, глобальные поля класса<br /> * Наследование. Вызов метода (или конструктора) родительского класса.<br /> * Пример: наследование от встроенных классов.<br /> <br /> Лекция 10<br /> * Перегрузка операторов<br /> * __str__(), __repr__()<br /> * __eq__()<br /> * NotImplemented<br /> * __add__(), __radd__()<br /> * Желательность эквивалентности ==, ассоциативности +<br /> <br /> Лекция 11<br /> * bytes, hash, len<br /> * bool, int, float<br /> * getitem, setitem<br /> * call<br /> * divmod<br /> * iadd<br /> * pow<br /> * Быстрое возведение в степень<br /> * contains</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=9468 Python (физики), 2016/17 2016-11-14T13:25:35Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> [https://goo.gl/5F8V6L Результаты] группы Андрея Лазаревича '''thecexcell@gmail.com'''<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов<br /> <br /> Лекция 7<br /> * GUI. Tkinter. Вызов команд при нажатии на кнопки.<br /> * Создание кнопок в цикле, разные команды для разных кнопок.<br /> * Лямбда-функции.<br /> * Замыкания в лямбда-функциях.<br /> <br /> Лекция 8<br /> * Модули<br /> * import module, from module import _<br /> * Вызов основного кода, __name__ == '__main__'<br /> * Пакеты<br /> <br /> Лекция 9<br /> * ООП<br /> * Создание класса, конструктор, параметр self<br /> * Метод класса, вызов как object.method()<br /> * Поля класса, глобальные поля класса<br /> * Наследование. Вызов метода (или конструктора) родительского класса.<br /> * Пример: наследование от встроенных классов.<br /> <br /> Лекция 10<br /> * Перегрузка операторов<br /> * __str__(), __repr__()<br /> * __eq__()<br /> * NotImplemented<br /> * __add__(), __radd__()<br /> * Желательность эквивалентности ==, ассоциативности +</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=9383 Python (физики), 2016/17 2016-11-07T13:11:16Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> [https://goo.gl/5F8V6L Результаты] группы Андрея Лазаревича '''thecexcell@gmail.com'''<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов<br /> <br /> Лекция 7<br /> * GUI. Tkinter. Вызов команд при нажатии на кнопки.<br /> * Создание кнопок в цикле, разные команды для разных кнопок.<br /> * Лямбда-функции.<br /> * Замыкания в лямбда-функциях.<br /> <br /> Лекция 8<br /> * Модули<br /> * import module, from module import _<br /> * Вызов основного кода, __name__ == '__main__'<br /> * Пакеты<br /> <br /> Лекция 9<br /> * ООП<br /> * Создание класса, конструктор, параметр self<br /> * Метод класса, вызов как object.method()<br /> * Поля класса, глобальные поля класса<br /> * Наследование. Вызов метода (или конструктора) родительского класса.<br /> * Пример: наследование от встроенных классов.</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=9225 Python (физики), 2016/17 2016-10-24T14:03:25Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов<br /> <br /> Лекция 7<br /> * GUI. Tkinter. Вызов команд при нажатии на кнопки.<br /> * Создание кнопок в цикле, разные команды для разных кнопок.<br /> * Лямбда-функции.<br /> * Замыкания в лямбда-функциях.<br /> <br /> Лекция 8<br /> * Модули<br /> * import module, from module import _<br /> * Вызов основного кода, __name__ == '__main__'<br /> * Пакеты</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=9129 Python (физики), 2016/17 2016-10-17T13:28:17Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов<br /> <br /> Лекция 7<br /> * GUI. Tkinter. Вызов команд при нажатии на кнопки.<br /> * Создание кнопок в цикле, разные команды для разных кнопок.<br /> * Лямбда-функции.<br /> * Замыкания в лямбда-функциях.</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=9022 Python (физики), 2016/17 2016-10-10T13:26:52Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы<br /> <br /> Лекция 6<br /> * Работа с файлами через командную строку: | &lt; &gt;<br /> * Файлы в питоне, read, readline, readline, write, print<br /> * Работа с ресурсами: оператор with<br /> * GUI. Tkinter. Создание приложение, расположение и конфигурирование объектов</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=8977 Python (физики), 2016/17 2016-10-06T10:29:23Z <p>Darnley: /* План */</p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> [https://docs.google.com/spreadsheets/d/1zEGaaEGQYcz9pMnHsHViHFPuaRsnrZR-7sGswTnLxu0/edit?usp=sharing Результаты практики] группы Антона Гардера, '''a.garder[at]aptu.ru'''<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end<br /> <br /> Лекция 5<br /> * Словари<br /> * Устройство словаря: хеш-таблица<br /> * Хешируемые/неизменяемые объекты<br /> * Функции<br /> * Аргументы по умолчанию, *аргументы, **аргументы</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=8811 Python (физики), 2016/17 2016-09-27T07:59:38Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir<br /> <br /> Лекция 4<br /> * Генераторы списков<br /> * Котрежи<br /> * Изменяемые и неизменяемые объекты, ссылки<br /> * Двумерные списки (списки списков)<br /> * print: именованные параметры sep и end</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=8610 Python (физики), 2016/17 2016-09-19T14:14:19Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join<br /> * help, type, dir</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=8609 Python (физики), 2016/17 2016-09-19T14:03:39Z <p>Darnley: </p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы<br /> <br /> Лекция 3<br /> * Cписки<br /> * +, *, индексация, срезы<br /> * присваивание в срезы<br /> * append, extend, pop, reverse, sort<br /> * in, not in<br /> * split, join</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=8366 Python (физики), 2016/17 2016-09-12T13:22:09Z <p>Darnley: /* План */</p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы<br /> <br /> Лекция 2<br /> * Структура программы: отступы<br /> * if, else, elif<br /> * for<br /> * range от 1, 2 и 3 аргументов<br /> * while<br /> * break<br /> * continue<br /> * Строки: escaping, +, *, индексация, срезы</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Darnley&diff=8362 Участник:Darnley 2016-09-12T08:54:16Z <p>Darnley: </p> <hr /> <div>Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> * [[Формальные языки, 5 курс, весна 2016]]<br /> * [[Формальные языки, 2 курс, весна 2016]]<br /> * [[Формальные языки 2015]], 5 курс<br /> <br /> * [[Python (физики), 2016/17]], 1 курс<br /> * [[Python (физики), весна 2016]], 1 курс<br /> <br /> * [[Алгоритмы и структуры данных]], практика, 5 курс, 2011/12</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Darnley&diff=8361 Участник:Darnley 2016-09-12T08:53:07Z <p>Darnley: </p> <hr /> <div>Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> * [[Формальные языки, 5 курс, весна 2016]]<br /> * [[Формальные языки, 2 курс, весна 2016]]<br /> * [[Формальные языки 2015]]<br /> <br /> * [[Python (физики), 2016/17]]<br /> * [[Python (физики), весна 2016]]<br /> <br /> * [[Алгоритмы и структуры данных]], практика, 5 курс, 2011/12</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Darnley&diff=8360 Участник:Darnley 2016-09-12T08:49:40Z <p>Darnley: </p> <hr /> <div>mikhail.dvorkin at gmail<br /> <br /> * [[Формальные языки, 5 курс, весна 2016]]<br /> * [[Формальные языки, 2 курс, весна 2016]]<br /> * [[Формальные языки 2015]]<br /> <br /> * [[Python (физики), 2016/17]]<br /> * [[Python (физики), весна 2016]]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Darnley&diff=8359 Участник:Darnley 2016-09-12T08:47:40Z <p>Darnley: </p> <hr /> <div>mikhail.dvorkin at gmail<br /> <br /> * [[Формальные языки 2015]]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_2016/17&diff=8358 Python (физики), 2016/17 2016-09-12T08:44:06Z <p>Darnley: Новая страница: «== О курсе == Язык Python. Мы изучаем ветвь языка Python 3.* (более современную). Рекомендуемая кни…»</p> <hr /> <div>== О курсе ==<br /> <br /> Язык Python. Мы изучаем ветвь языка Python 3.* (более современную).<br /> <br /> Рекомендуемая книга (но есть и множество других хороших): «A Byte of Python» ([http://python.swaroopch.com/ ENG], [http://wombat.org.ua/AByteOfPython/ RUS])<br /> <br /> Лектор: Михаил Дворкин, mikhail.dvorkin@gmail.com<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> <br /> * Знакомство, введение, описание языка Python<br /> * Вывод на экран<br /> * Тип данных int<br /> * Арифметические операторы</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=SE_Wiki&diff=8357 SE Wiki 2016-09-12T08:39:07Z <p>Darnley: /* 1 курс */ Python</p> <hr /> <div>= Учебная информация =<br /> <br /> * [[Файл:Расписание_АФТУ_осень_2016.pdf|Расписание магистров]]<br /> * [[Файл:Расписание_АФТУ_осень_2016_бакалавриат.pdf|Расписание бакалавров]]<br /> <br /> == 1 курс ==<br /> <br /> ==== IT ====<br /> [https://vk.com/pages?oid=-128067251&amp;p=%D0%A0%D0%B0%D1%81%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5_%D0%BD%D0%B0_%D0%B3%D1%80%D1%83%D0%BF%D0%BF%D1%8B Распределение по группам]<br /> <br /> # [[Алгебра,1 курс, 1 семестр, 2016/17|Алгебра]]<br /> # [[Алгоритмы_1_2016/17_осень | Алгоритмы]]<br /> # [[Парадигмы_осень_2016 | Парадигмы и Языки Программирования]]<br /> # [[Мат.Анализ,1 курс, 1 семестр, 2016/17|Мат.Анализ]]<br /> # [[Основы Дискретной Математики и Математической логики,1 курс, 1 семестр, 2016/17|Основы Дискретной Математики и Математической логики]]<br /> # [[С++,1 курс, 1 семестр, 2016/17|С++]]<br /> <br /> ==== Phys ====<br /> <br /> <br /> # [[Алгебра_phys_1_осень_2016|Алгебра (для студентов-физиков)]]<br /> # [[Python_(физики),_2016/17| Python]]<br /> <br /> == 2 курс ==<br /> ==== IT ====<br /> <br /> # [[Java_2MIT_осень_2016 | Java]]<br /> # [[ОС_осень_2016 | ОС]]<br /> # [[Алгебра, 2 курс, 3 семестр, 2016/17|Алгебра]]<br /> # [[Дискретная математика, 2 курс, 3 семестр, 2016/17|Дискретная математика]]<br /> # [[Мат.Анализ,2 курс, 3 семестр, 2016/17|Мат.Анализ]]<br /> # [[Функциональное Программирование, 2 курс, 3 семестр, 2016/17|Функциональное Программирование]]<br /> # [[ФП_2_2016/Кирилл|Функциональное Программирование (Группа Кирилла)]]<br /> <br /> ==== Phys ====<br /> <br /> # [[Алгебра_phys_2_осень_2016|Алгебра (для студентов-физиков)]]<br /> <br /> == 3 курс ==<br /> [[Расписание_3_курса,_осень_2016|Расписание]]<br /> <br /> ====IT====<br /> <br /> # [[Software Design, 3 курс, 5 семестр, 2016/17|Software Design]]<br /> # [[Алгоритмы_3_2016/17_осень | Алгоритмы]]<br /> # [[Базы Данных, 3 курс, 5 семестр, 2016/17|Базы Данных]]<br /> # [[Введение в биоинформатику, 3 курс, 5 семестр, 2016/17|Введение в биоинформатику]]<br /> # [[Дифференциальные уравнения, 3 курс, 5 семестр, 2016/17|Дифференциальные уравнения]]<br /> # [[Компиляторы, 3 курс, 5 семестр, 2016/17|Компиляторы]]<br /> # [[Теория вероятностей, 3 курс, 5 семестр, 2016/17|Теория вероятностей]]<br /> # [[Linux kernel, 3 курс, 5 семестр, 2016/17|Программирование в ядре Linux]]<br /> <br /> == 5 курс ==<br /> # [[Unix_и_скриптовые_языки_5_2016|Unix и скриптовые языки]]<br /> # [[CPP_5_2016|C++]]<br /> # [[OS_5_autumn_2016|ОС]]<br /> # [[Функциональное Программирование, 5 курс, 1 семестр, 2016/17|Функциональное Программирование]]<br /> # [[Базы Данных, 5 курс, 1 семестр, 2016/17|Базы Данных]]<br /> # [[Алгоритмы и Структуры Данных, 5 курс, 1 семестр, 2016/17|Алгоритмы и Структуры Данных]]<br /> # [[Комбинаторика и теория графов, 5 курс, 1 семестр, 2016/17|Комбинаторика и теория графов]]<br /> # [[Основы программной инженерии, 5 курс, 1 семестр, 2016/17|Основы программной инженерии]]<br /> <br /> == 6 курс ==<br /> #[[Информационный поиск, 6 курс, 3 семестр, 2016/17|Информационный поиск]]<br /> #[[Компиляторы, 6 курс, 3 семестр, 2016/17|Компиляторы]]<br /> #[[Java-II, 6 курс, 3 семестр, 2016/17|Java-II]]<br /> #[[Вычислительная геометрия, 6 курс, 3 семестр, 2016/17|Вычислительная геометрия]]<br /> #[[Параллельные и Распределенные Вычисления, 6 курс, 3 семестр, 2016/17|Параллельные и Распределенные Вычисления]]<br /> #[[Компьютерная графика, 6 курс, 3 семестр, 2016/17|Компьютерная графика]]<br /> #[[Reactive Scala, 6 курс, 3 семестр, 2016/17|Reactive Scala]]<br /> #[[Машинное обучение-II, 6 курс, 3 семестр, 2016/17|Машинное обучение-II]]<br /> #[[Прогр. с завис. типами, 6 курс, 3 семестр, 2016/17|Прогр. с завис. типами]]<br /> #[[VM, 6 курс, 3 семестр, 2016/17|VM]]<br /> ==== Обязательные: ====<br /> ==== По выбору: ====<br /> # [[Виртуализация_6_2016|Виртуализация]]<br /> <br /> = Всякая информация =<br /> <br /> На четвёртом этаже в комнате отдыха в шкафах у входа (снизу) лежит куча пилотов.<br /> <br /> Открытые исходящие порты в WirelessForAll: 22, 25, 80, 110, 443, 465, 993, 4244, 5190, 5222, 5242<br /> <br /> = Архив за прошлые семестры =<br /> * [[Весна_2016|Весенний семестр 2016]]<br /> * [[Осень_2015|Осенний семестр 2015]]<br /> * [[Весна_2015|Весенний семестр 2015]]<br /> * [[Осень_2014|Осенний семестр 2014]]<br /> * [[Весна_2014|Весенний семестр 2014]]<br /> * [[Осень_2013|Осенний семестр 2013]]<br /> * [[Весна_2013|Весенний семестр 2013]]<br /> * [[Осень_2012|Осенний семестр 2012]]<br /> * [[Весна_2012|Весенний семестр 2012]]<br /> * [[Осень_2011|Осенний семестр 2011]]<br /> <br /> == Дни разработчика ==<br /> * [[Devdays2h2012| Дни разработчика (Осень 2012)]]<br /> * [[Devdays1h2013| Дни разработчика (Весна 2013)]]<br /> * [[devdays_fall_2013| Дни разработчика (Осень 2013)]]<br /> * [[devdays_spring_2014| Дни разработчика (Весна 2014)]]<br /> * [[ prpojects_fall_2013|Странички проектов (Осень 2013)]]<br /> * [[ prpojects_spring_2014|Страничка проектов (Весна 2014)]]<br /> * [[devdays_fall_2014|Дни разработчика (Осень 2014)]]<br /> * [[projects_fall_2014|Страничка проектов (Осень 2014)]]<br /> * [[devdays_spring_2015|Дни разработчика (Весна 2015)]]<br /> <br /> == Практики ==<br /> * [[НИР_5SE_осень_2014|Темы практик, осень 2014-го года]]<br /> * [[НИР_5SE_весна_2014|Темы практик, весна 2014-го года]]<br /> * [[НИР_5SE_осень_2013|Темы практик, осень 2013-го года]]<br /> * [[НИР_5SE_весна_2013|Темы практик, весна 2013-го года]]<br /> * [[НИР 5SE осень 2012|Темы практик, осень 2012-го года]]<br /> * [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dG9CRFdGa2tLeV9ab1l1QWlkOFp3bFE&amp;output=html Темы практик, лето 2012-го года]<br /> * [[Темы практик, 5SE, осень 2011-го года | Темы практик, осень 2011-го года]]<br /> * [[Темы практик |Темы практик, весна 2011-го года]]<br /> <br /> == Студенты ==<br /> * [[2010|Набор 2010-го года]]<br /> * [[2011|Набор 2011-го года]]<br /> * [[2012|Набор 2012-го года]]<br /> * [[2013|Набор 2013-го года]]<br /> * [[2014|Набор 2014-го года]]<br /> * [[2015|Набор 2015-го года]]<br /> <br /> = Важные ссылки =<br /> <br /> = Дополнительно = <br /> * [[Q&amp;A]]<br /> * [[Мероприятия]]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_5_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7924 Формальные языки, 5 курс, весна 2016 2016-06-05T08:09:29Z <p>Darnley: </p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Екатерина Вербицкая, Михаил Слабодкин (slabodkinm@gmail.com).<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детеримированные автоматы с магазинной памятью, прием по терминальному состоянию<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> <br /> == Список вопросов ==<br /> <br /> UPDATE: Билет №14 появился в этом документе позже, заметьте его, пожалуйста.<br /> <br /> # Детерминированные конечные автоматы. Определение. Принятие слова. Эквивалентность состояний. Минимизация ДКА.<br /> # Правые контексты. Связь с размером минимального ДКА. Прямое произведение ДКА. Динамическое программирование по ДКА, примеры.<br /> # Недетерминированные конечные автоматы с eps-переходами. Детерминизация НКА.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из КА в АРВ.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из АРВ в КА.<br /> # Лемма о разрастании для регулярных языков.<br /> # КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Вложенность регулярных языков в КС-языки.<br /> # Нормальная форма Хомского. Приведение к ней: удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> # Нормальная и ослабленная нормальная форма Грейбах. Приведение к ослабленной НФГ.<br /> # Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> # Лемма о разрастании для КС-языков.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из АМП в КСГ.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из КСГ в АМП.<br /> # Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема. Соотношение регулярных, ДМП- и КС-языков.<br /> # Иерархия Хомского.<br /> # Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> <br /> <br /> <br /> == Подгруппа Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/1A_IpQrFM7Qf524oY79ONEvnFxu2zw8bRGx8-XEQm3Rg Результаты]<br /> <br /> == Подгруппа Екатерины Вербицкой ==<br /> <br /> [https://docs.google.com/spreadsheets/d/15YLkdBCmvZyICh9cFCclnz3iXzw_O1PZ-QuOcLo2Y7A/edit?usp=sharing_eid&amp;invite=CL-Lgs8J&amp;ts=56d60b0c Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_2_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7923 Формальные языки, 2 курс, весна 2016 2016-06-05T08:09:05Z <p>Darnley: /* Список вопросов */</p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).<br /> <br /> Конспект http://yeputons.net/spbau/term4-formal_languages-lectures.pdf<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> Лекция 9<br /> * Иерархия Хомского<br /> * Регулярные грамматики, эквивалентность ДКА<br /> * Контекстно-зависимые грамматики, неукорачивающие грамматики<br /> * Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> * Неограниченные грамматики, эквивалентность машинам Тьюринга<br /> Лекция 10 (правильнее: 6.5)<br /> * Нормальная форма Грейбах, ослабленная нормальная форма Грейбах, приведение произвольной КС-грамматики к ослабленной НФГ.<br /> <br /> == Список вопросов ==<br /> <br /> UPDATE: Билет №14 появился в этом документе позже, заметьте его, пожалуйста.<br /> <br /> # Детерминированные конечные автоматы. Определение. Принятие слова. Эквивалентность состояний. Минимизация ДКА.<br /> # Правые контексты. Связь с размером минимального ДКА. Прямое произведение ДКА. Динамическое программирование по ДКА, примеры.<br /> # Недетерминированные конечные автоматы с eps-переходами. Детерминизация НКА.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из КА в АРВ.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из АРВ в КА.<br /> # Лемма о разрастании для регулярных языков.<br /> # КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Вложенность регулярных языков в КС-языки.<br /> # Нормальная форма Хомского. Приведение к ней: удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> # Нормальная и ослабленная нормальная форма Грейбах. Приведение к ослабленной НФГ.<br /> # Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> # Лемма о разрастании для КС-языков.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из АМП в КСГ.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из КСГ в АМП.<br /> # Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема. Соотношение регулярных, ДМП- и КС-языков.<br /> # Иерархия Хомского.<br /> # Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> <br /> == К занятиям Николая Карпова ==<br /> <br /> [https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&amp;usp=sharing Все материалы и табличка].<br /> <br /> [https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]<br /> <br /> === Домашние задания ===<br /> Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе &quot;Все материалы и табличка&quot; выше.<br /> <br /> {| border=&quot;1&quot; cellspacing=&quot;0&quot; cellpadding=&quot;3&quot;<br /> <br /> |-<br /> !№<br /> !Дата<br /> <br /> |-<br /> !1<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]<br /> <br /> |-<br /> !2<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]<br /> <br /> |-<br /> !3<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]<br /> <br /> |-<br /> !4<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]<br /> <br /> |-<br /> !5<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]<br /> <br /> |- <br /> !6<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]<br /> <br /> |- <br /> !7<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]<br /> <br /> |-<br /> !8<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkeDF1TFRDSktuUW8/view На 08.04.2016]<br /> <br /> |-<br /> !9<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWUJ5YTBOb2RoYzQ/view На 22.04.2016]<br /> <br /> |-<br /> !10<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkUGlYUEY2NjVxMFE/view На 29.04.2016]<br /> <br /> |-<br /> !11<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkc2wwa2JReU5ranM/view На 06.05.2016]<br /> |}<br /> <br /> == К занятиям Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/13ELlUZn098B5opdQrn1UWfMmDbwosVZ5vKNX7NZDGc8/edit Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_2_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7922 Формальные языки, 2 курс, весна 2016 2016-06-05T08:08:45Z <p>Darnley: UPD</p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).<br /> <br /> Конспект http://yeputons.net/spbau/term4-formal_languages-lectures.pdf<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> Лекция 9<br /> * Иерархия Хомского<br /> * Регулярные грамматики, эквивалентность ДКА<br /> * Контекстно-зависимые грамматики, неукорачивающие грамматики<br /> * Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> * Неограниченные грамматики, эквивалентность машинам Тьюринга<br /> Лекция 10 (правильнее: 6.5)<br /> * Нормальная форма Грейбах, ослабленная нормальная форма Грейбах, приведение произвольной КС-грамматики к ослабленной НФГ.<br /> <br /> == Список вопросов ==<br /> <br /> UPDATE: Билет 16 появился в этом документе позже, заметьте его, пожалуйста.<br /> <br /> # Детерминированные конечные автоматы. Определение. Принятие слова. Эквивалентность состояний. Минимизация ДКА.<br /> # Правые контексты. Связь с размером минимального ДКА. Прямое произведение ДКА. Динамическое программирование по ДКА, примеры.<br /> # Недетерминированные конечные автоматы с eps-переходами. Детерминизация НКА.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из КА в АРВ.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из АРВ в КА.<br /> # Лемма о разрастании для регулярных языков.<br /> # КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Вложенность регулярных языков в КС-языки.<br /> # Нормальная форма Хомского. Приведение к ней: удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> # Нормальная и ослабленная нормальная форма Грейбах. Приведение к ослабленной НФГ.<br /> # Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> # Лемма о разрастании для КС-языков.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из АМП в КСГ.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из КСГ в АМП.<br /> # Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема. Соотношение регулярных, ДМП- и КС-языков.<br /> # Иерархия Хомского.<br /> # Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> <br /> == К занятиям Николая Карпова ==<br /> <br /> [https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&amp;usp=sharing Все материалы и табличка].<br /> <br /> [https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]<br /> <br /> === Домашние задания ===<br /> Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе &quot;Все материалы и табличка&quot; выше.<br /> <br /> {| border=&quot;1&quot; cellspacing=&quot;0&quot; cellpadding=&quot;3&quot;<br /> <br /> |-<br /> !№<br /> !Дата<br /> <br /> |-<br /> !1<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]<br /> <br /> |-<br /> !2<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]<br /> <br /> |-<br /> !3<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]<br /> <br /> |-<br /> !4<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]<br /> <br /> |-<br /> !5<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]<br /> <br /> |- <br /> !6<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]<br /> <br /> |- <br /> !7<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]<br /> <br /> |-<br /> !8<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkeDF1TFRDSktuUW8/view На 08.04.2016]<br /> <br /> |-<br /> !9<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWUJ5YTBOb2RoYzQ/view На 22.04.2016]<br /> <br /> |-<br /> !10<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkUGlYUEY2NjVxMFE/view На 29.04.2016]<br /> <br /> |-<br /> !11<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkc2wwa2JReU5ranM/view На 06.05.2016]<br /> |}<br /> <br /> == К занятиям Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/13ELlUZn098B5opdQrn1UWfMmDbwosVZ5vKNX7NZDGc8/edit Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_2_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7921 Формальные языки, 2 курс, весна 2016 2016-06-05T08:07:58Z <p>Darnley: /* План */</p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).<br /> <br /> Конспект http://yeputons.net/spbau/term4-formal_languages-lectures.pdf<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> Лекция 9<br /> * Иерархия Хомского<br /> * Регулярные грамматики, эквивалентность ДКА<br /> * Контекстно-зависимые грамматики, неукорачивающие грамматики<br /> * Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> * Неограниченные грамматики, эквивалентность машинам Тьюринга<br /> Лекция 10 (правильнее: 6.5)<br /> * Нормальная форма Грейбах, ослабленная нормальная форма Грейбах, приведение произвольной КС-грамматики к ослабленной НФГ.<br /> <br /> == Список вопросов ==<br /> <br /> # Детерминированные конечные автоматы. Определение. Принятие слова. Эквивалентность состояний. Минимизация ДКА.<br /> # Правые контексты. Связь с размером минимального ДКА. Прямое произведение ДКА. Динамическое программирование по ДКА, примеры.<br /> # Недетерминированные конечные автоматы с eps-переходами. Детерминизация НКА.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из КА в АРВ.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из АРВ в КА.<br /> # Лемма о разрастании для регулярных языков.<br /> # КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Вложенность регулярных языков в КС-языки.<br /> # Нормальная форма Хомского. Приведение к ней: удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> # Нормальная и ослабленная нормальная форма Грейбах. Приведение к ослабленной НФГ.<br /> # Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> # Лемма о разрастании для КС-языков.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из АМП в КСГ.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из КСГ в АМП.<br /> # Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема. Соотношение регулярных, ДМП- и КС-языков.<br /> # Иерархия Хомского.<br /> # Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> <br /> == К занятиям Николая Карпова ==<br /> <br /> [https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&amp;usp=sharing Все материалы и табличка].<br /> <br /> [https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]<br /> <br /> === Домашние задания ===<br /> Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе &quot;Все материалы и табличка&quot; выше.<br /> <br /> {| border=&quot;1&quot; cellspacing=&quot;0&quot; cellpadding=&quot;3&quot;<br /> <br /> |-<br /> !№<br /> !Дата<br /> <br /> |-<br /> !1<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]<br /> <br /> |-<br /> !2<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]<br /> <br /> |-<br /> !3<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]<br /> <br /> |-<br /> !4<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]<br /> <br /> |-<br /> !5<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]<br /> <br /> |- <br /> !6<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]<br /> <br /> |- <br /> !7<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]<br /> <br /> |-<br /> !8<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkeDF1TFRDSktuUW8/view На 08.04.2016]<br /> <br /> |-<br /> !9<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWUJ5YTBOb2RoYzQ/view На 22.04.2016]<br /> <br /> |-<br /> !10<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkUGlYUEY2NjVxMFE/view На 29.04.2016]<br /> <br /> |-<br /> !11<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkc2wwa2JReU5ranM/view На 06.05.2016]<br /> |}<br /> <br /> == К занятиям Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/13ELlUZn098B5opdQrn1UWfMmDbwosVZ5vKNX7NZDGc8/edit Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_2_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7920 Формальные языки, 2 курс, весна 2016 2016-06-05T08:07:43Z <p>Darnley: /* Список вопросов */</p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).<br /> <br /> Конспект http://yeputons.net/spbau/term4-formal_languages-lectures.pdf<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детеримированные автоматы с магазинной памятью, неэквивалетность двух видов приема<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> Лекция 9<br /> * Иерархия Хомского<br /> * Регулярные грамматики, эквивалентность ДКА<br /> * Контекстно-зависимые грамматики, неукорачивающие грамматики<br /> * Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> * Неограниченные грамматики, эквивалентность машинам Тьюринга<br /> Лекция 10 (правильнее: 6.5)<br /> * Нормальная форма Грейбах, ослабленная нормальная форма Грейбах, приведение произвольной КС-грамматики к ослабленной НФГ.<br /> <br /> == Список вопросов ==<br /> <br /> # Детерминированные конечные автоматы. Определение. Принятие слова. Эквивалентность состояний. Минимизация ДКА.<br /> # Правые контексты. Связь с размером минимального ДКА. Прямое произведение ДКА. Динамическое программирование по ДКА, примеры.<br /> # Недетерминированные конечные автоматы с eps-переходами. Детерминизация НКА.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из КА в АРВ.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из АРВ в КА.<br /> # Лемма о разрастании для регулярных языков.<br /> # КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Вложенность регулярных языков в КС-языки.<br /> # Нормальная форма Хомского. Приведение к ней: удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> # Нормальная и ослабленная нормальная форма Грейбах. Приведение к ослабленной НФГ.<br /> # Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> # Лемма о разрастании для КС-языков.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из АМП в КСГ.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из КСГ в АМП.<br /> # Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема. Соотношение регулярных, ДМП- и КС-языков.<br /> # Иерархия Хомского.<br /> # Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> <br /> == К занятиям Николая Карпова ==<br /> <br /> [https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&amp;usp=sharing Все материалы и табличка].<br /> <br /> [https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]<br /> <br /> === Домашние задания ===<br /> Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе &quot;Все материалы и табличка&quot; выше.<br /> <br /> {| border=&quot;1&quot; cellspacing=&quot;0&quot; cellpadding=&quot;3&quot;<br /> <br /> |-<br /> !№<br /> !Дата<br /> <br /> |-<br /> !1<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]<br /> <br /> |-<br /> !2<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]<br /> <br /> |-<br /> !3<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]<br /> <br /> |-<br /> !4<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]<br /> <br /> |-<br /> !5<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]<br /> <br /> |- <br /> !6<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]<br /> <br /> |- <br /> !7<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]<br /> <br /> |-<br /> !8<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkeDF1TFRDSktuUW8/view На 08.04.2016]<br /> <br /> |-<br /> !9<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWUJ5YTBOb2RoYzQ/view На 22.04.2016]<br /> <br /> |-<br /> !10<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkUGlYUEY2NjVxMFE/view На 29.04.2016]<br /> <br /> |-<br /> !11<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkc2wwa2JReU5ranM/view На 06.05.2016]<br /> |}<br /> <br /> == К занятиям Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/13ELlUZn098B5opdQrn1UWfMmDbwosVZ5vKNX7NZDGc8/edit Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_5_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7918 Формальные языки, 5 курс, весна 2016 2016-06-03T18:00:39Z <p>Darnley: </p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Екатерина Вербицкая, Михаил Слабодкин (slabodkinm@gmail.com).<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детеримированные автоматы с магазинной памятью, прием по терминальному состоянию<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> <br /> == Список вопросов ==<br /> <br /> # Детерминированные конечные автоматы. Определение. Принятие слова. Эквивалентность состояний. Минимизация ДКА.<br /> # Правые контексты. Связь с размером минимального ДКА. Прямое произведение ДКА. Динамическое программирование по ДКА, примеры.<br /> # Недетерминированные конечные автоматы с eps-переходами. Детерминизация НКА.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из КА в АРВ.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из АРВ в КА.<br /> # Лемма о разрастании для регулярных языков.<br /> # КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Вложенность регулярных языков в КС-языки.<br /> # Нормальная форма Хомского. Приведение к ней: удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> # Нормальная и ослабленная нормальная форма Грейбах. Приведение к ослабленной НФГ.<br /> # Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> # Лемма о разрастании для КС-языков.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из АМП в КСГ.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из КСГ в АМП.<br /> # Иерархия Хомского.<br /> # Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> <br /> <br /> <br /> == Подгруппа Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/1A_IpQrFM7Qf524oY79ONEvnFxu2zw8bRGx8-XEQm3Rg Результаты]<br /> <br /> == Подгруппа Екатерины Вербицкой ==<br /> <br /> [https://docs.google.com/spreadsheets/d/15YLkdBCmvZyICh9cFCclnz3iXzw_O1PZ-QuOcLo2Y7A/edit?usp=sharing_eid&amp;invite=CL-Lgs8J&amp;ts=56d60b0c Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_2_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7917 Формальные языки, 2 курс, весна 2016 2016-06-03T16:31:36Z <p>Darnley: </p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).<br /> <br /> Конспект http://yeputons.net/spbau/term4-formal_languages-lectures.pdf<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детеримированные автоматы с магазинной памятью, неэквивалетность двух видов приема<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> Лекция 9<br /> * Иерархия Хомского<br /> * Регулярные грамматики, эквивалентность ДКА<br /> * Контекстно-зависимые грамматики, неукорачивающие грамматики<br /> * Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> * Неограниченные грамматики, эквивалентность машинам Тьюринга<br /> Лекция 10 (правильнее: 6.5)<br /> * Нормальная форма Грейбах, ослабленная нормальная форма Грейбах, приведение произвольной КС-грамматики к ослабленной НФГ.<br /> <br /> == Список вопросов ==<br /> <br /> # Детерминированные конечные автоматы. Определение. Принятие слова. Эквивалентность состояний. Минимизация ДКА.<br /> # Правые контексты. Связь с размером минимального ДКА. Прямое произведение ДКА. Динамическое программирование по ДКА, примеры.<br /> # Недетерминированные конечные автоматы с eps-переходами. Детерминизация НКА.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из КА в АРВ.<br /> # Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из АРВ в КА.<br /> # Лемма о разрастании для регулярных языков.<br /> # КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Вложенность регулярных языков в КС-языки.<br /> # Нормальная форма Хомского. Приведение к ней: удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> # Нормальная и ослабленная нормальная форма Грейбах. Приведение к ослабленной НФГ.<br /> # Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> # Лемма о разрастании для КС-языков.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из АМП в КСГ.<br /> # Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из КСГ в АМП.<br /> # Иерархия Хомского.<br /> # Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> <br /> <br /> == К занятиям Николая Карпова ==<br /> <br /> [https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&amp;usp=sharing Все материалы и табличка].<br /> <br /> [https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]<br /> <br /> === Домашние задания ===<br /> Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе &quot;Все материалы и табличка&quot; выше.<br /> <br /> {| border=&quot;1&quot; cellspacing=&quot;0&quot; cellpadding=&quot;3&quot;<br /> <br /> |-<br /> !№<br /> !Дата<br /> <br /> |-<br /> !1<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]<br /> <br /> |-<br /> !2<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]<br /> <br /> |-<br /> !3<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]<br /> <br /> |-<br /> !4<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]<br /> <br /> |-<br /> !5<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]<br /> <br /> |- <br /> !6<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]<br /> <br /> |- <br /> !7<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]<br /> <br /> |-<br /> !8<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkeDF1TFRDSktuUW8/view На 08.04.2016]<br /> <br /> |-<br /> !9<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWUJ5YTBOb2RoYzQ/view На 22.04.2016]<br /> <br /> |-<br /> !10<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkUGlYUEY2NjVxMFE/view На 29.04.2016]<br /> <br /> |-<br /> !11<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkc2wwa2JReU5ranM/view На 06.05.2016]<br /> |}<br /> <br /> == К занятиям Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/13ELlUZn098B5opdQrn1UWfMmDbwosVZ5vKNX7NZDGc8/edit Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_2_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7916 Формальные языки, 2 курс, весна 2016 2016-06-03T15:49:11Z <p>Darnley: </p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).<br /> <br /> Конспект http://yeputons.net/spbau/term4-formal_languages-lectures.pdf<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детеримированные автоматы с магазинной памятью, неэквивалетность двух видов приема<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> Лекция 9<br /> * Иерархия Хомского<br /> * Регулярные грамматики, эквивалентность ДКА<br /> * Контекстно-зависимые грамматики, неукорачивающие грамматики<br /> * Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> * Неограниченные грамматики, эквивалентность машинам Тьюринга<br /> Лекция 10 (правильнее: 6.5)<br /> * Нормальная форма Грейбах, ослабленная нормальная форма Грейбах, приведение произвольной КС-грамматики к ослабленной НФГ.<br /> <br /> <br /> <br /> == К занятиям Николая Карпова ==<br /> <br /> [https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&amp;usp=sharing Все материалы и табличка].<br /> <br /> [https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]<br /> <br /> === Домашние задания ===<br /> Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе &quot;Все материалы и табличка&quot; выше.<br /> <br /> {| border=&quot;1&quot; cellspacing=&quot;0&quot; cellpadding=&quot;3&quot;<br /> <br /> |-<br /> !№<br /> !Дата<br /> <br /> |-<br /> !1<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]<br /> <br /> |-<br /> !2<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]<br /> <br /> |-<br /> !3<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]<br /> <br /> |-<br /> !4<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]<br /> <br /> |-<br /> !5<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]<br /> <br /> |- <br /> !6<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]<br /> <br /> |- <br /> !7<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]<br /> <br /> |-<br /> !8<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkeDF1TFRDSktuUW8/view На 08.04.2016]<br /> <br /> |-<br /> !9<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWUJ5YTBOb2RoYzQ/view На 22.04.2016]<br /> <br /> |-<br /> !10<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkUGlYUEY2NjVxMFE/view На 29.04.2016]<br /> <br /> |-<br /> !11<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkc2wwa2JReU5ranM/view На 06.05.2016]<br /> |}<br /> <br /> == К занятиям Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/13ELlUZn098B5opdQrn1UWfMmDbwosVZ5vKNX7NZDGc8/edit Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7890 Python (физики), весна 2016 2016-05-12T12:16:08Z <p>Darnley: </p> <hr /> <div>== План ==<br /> <br /> Лекция 1<br /> <br /> * Хранение вещественных чисел (IEEE floating point)<br /> <br /> Лекция 2<br /> <br /> * Библиотека NumPy<br /> * np.array()<br /> * применение операторов поэлементно (a + b, a == b)<br /> * .ndim<br /> * .shape<br /> * .dtype<br /> * np.arange()<br /> * np.linspace()<br /> * np.ones()<br /> * np.zeros()<br /> * np.eye()<br /> * np.diag()<br /> * np.random.rand()<br /> * np.random.random_sample()<br /> * np.random.random_integers()<br /> * np.tile()<br /> <br /> Лекция 3<br /> <br /> * broadcasting<br /> * адресация в массиве: срезы, a[list], a[predicate]<br /> <br /> Лекция 4<br /> <br /> * masked array<br /> * многочлены (poly1d), операции с ними<br /> <br /> Лекция 5<br /> <br /> [http://pastebin.com/PzxK2FgA Черновик с лекции]<br /> <br /> * Библиотека matplotlib.pyplot<br /> * plt.figure(figsize=, dpi=)<br /> * plt.show()<br /> * plt.plot(x, y, color=, linewidth=, linestyle=, label=)<br /> * plt.xlim()<br /> * plt.xticks(ticks)<br /> * plt.xticks(ticks, label_in_latex)<br /> * plt.legend(loc=)<br /> * plt.scatter(x, y, size)<br /> * plt.annotate(text, xy=)<br /> <br /> Лекция 6<br /> <br /> [http://pastebin.com/0beXcmMW Черновик с лекции]<br /> <br /> * subplot, axes<br /> * bar, pie<br /> * colors, colormap<br /> * np.meshgrip<br /> * contour, contourf<br /> * imshow<br /> * mpl_toolkits.mplot3d.Axes3D: plot_surface, plot_trisurf<br /> <br /> Лекция 7<br /> <br /> [http://pastebin.com/FJR7Ndk2 Черновик с лекции]<br /> <br /> * Примитивы из линейной алгебры<br /> * Интегрирование функции от 1 и более аргумента<br /> <br /> Лекция 8<br /> <br /> [http://pastebin.com/KHyKX6GV Черновик с лекции]<br /> <br /> * Интерполяция<br /> * Приближения набора точек кривой заданного вида<br /> * Оптимизация функции<br /> <br /> Лекция 9<br /> <br /> [http://pastebin.com/Ld661ceH Черновик с лекции]<br /> <br /> * Символьные вычисления<br /> * Рациональные числа, хранение, эффективный поиск НОД<br /> * Символьное задание функций<br /> * Раскрытие скобок, упрощение<br /> * Пределы, дифференцирование, интегрирование<br /> <br /> Лекция 10<br /> <br /> [http://pastebin.com/xeKeb0k3 Черновик с лекции]<br /> <br /> * Линейная алгебра в символьных вычислениях<br /> * Решение уравнений<br /> * Решение дифференциальный уравнений<br /> <br /> Лекция 11<br /> <br /> [http://pastebin.com/9V7BrUNe Черновик с лекции]<br /> <br /> * Монотонное изображение как матрица, цветное как трехмерных массив<br /> * Чтение, запись<br /> * Преобразования<br /> * Цветовые гаммы</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7858 Python (физики), весна 2016 2016-05-05T13:58:23Z <p>Darnley: </p> <hr /> <div>== План ==<br /> <br /> Лекция 1<br /> <br /> * Хранение вещественных чисел (IEEE floating point)<br /> <br /> Лекция 2<br /> <br /> * Библиотека NumPy<br /> * np.array()<br /> * применение операторов поэлементно (a + b, a == b)<br /> * .ndim<br /> * .shape<br /> * .dtype<br /> * np.arange()<br /> * np.linspace()<br /> * np.ones()<br /> * np.zeros()<br /> * np.eye()<br /> * np.diag()<br /> * np.random.rand()<br /> * np.random.random_sample()<br /> * np.random.random_integers()<br /> * np.tile()<br /> <br /> Лекция 3<br /> <br /> * broadcasting<br /> * адресация в массиве: срезы, a[list], a[predicate]<br /> <br /> Лекция 4<br /> <br /> * masked array<br /> * многочлены (poly1d), операции с ними<br /> <br /> Лекция 5<br /> <br /> [http://pastebin.com/PzxK2FgA Черновик с лекции]<br /> <br /> * Библиотека matplotlib.pyplot<br /> * plt.figure(figsize=, dpi=)<br /> * plt.show()<br /> * plt.plot(x, y, color=, linewidth=, linestyle=, label=)<br /> * plt.xlim()<br /> * plt.xticks(ticks)<br /> * plt.xticks(ticks, label_in_latex)<br /> * plt.legend(loc=)<br /> * plt.scatter(x, y, size)<br /> * plt.annotate(text, xy=)<br /> <br /> Лекция 6<br /> <br /> [http://pastebin.com/0beXcmMW Черновик с лекции]<br /> <br /> * subplot, axes<br /> * bar, pie<br /> * colors, colormap<br /> * np.meshgrip<br /> * contour, contourf<br /> * imshow<br /> * mpl_toolkits.mplot3d.Axes3D: plot_surface, plot_trisurf<br /> <br /> Лекция 7<br /> <br /> [http://pastebin.com/FJR7Ndk2 Черновик с лекции]<br /> <br /> * Примитивы из линейной алгебры<br /> * Интегрирование функции от 1 и более аргумента<br /> <br /> Лекция 8<br /> <br /> [http://pastebin.com/KHyKX6GV Черновик с лекции]<br /> <br /> * Интерполяция<br /> * Приближения набора точек кривой заданного вида<br /> * Оптимизация функции<br /> <br /> Лекция 9<br /> <br /> [http://pastebin.com/Ld661ceH Черновик с лекции]<br /> <br /> * Символьные вычисления<br /> * Рациональные числа, хранение, эффективный поиск НОД<br /> * Символьное задание функций<br /> * Раскрытие скобок, упрощение<br /> * Пределы, дифференцирование, интегрирование<br /> <br /> Лекция 10<br /> <br /> [http://pastebin.com/xeKeb0k3 Черновик с лекции]<br /> <br /> * Линейная алгебра в символьных вычислениях<br /> * Решение уравнений<br /> * Решение дифференциальный уравнений</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7839 Python (физики), весна 2016 2016-04-28T11:10:53Z <p>Darnley: </p> <hr /> <div>== План ==<br /> <br /> Лекция 1<br /> <br /> * Хранение вещественных чисел (IEEE floating point)<br /> <br /> Лекция 2<br /> <br /> * Библиотека NumPy<br /> * np.array()<br /> * применение операторов поэлементно (a + b, a == b)<br /> * .ndim<br /> * .shape<br /> * .dtype<br /> * np.arange()<br /> * np.linspace()<br /> * np.ones()<br /> * np.zeros()<br /> * np.eye()<br /> * np.diag()<br /> * np.random.rand()<br /> * np.random.random_sample()<br /> * np.random.random_integers()<br /> * np.tile()<br /> <br /> Лекция 3<br /> <br /> * broadcasting<br /> * адресация в массиве: срезы, a[list], a[predicate]<br /> <br /> Лекция 4<br /> <br /> * masked array<br /> * многочлены (poly1d), операции с ними<br /> <br /> Лекция 5<br /> <br /> [http://pastebin.com/PzxK2FgA Черновик с лекции]<br /> <br /> * Библиотека matplotlib.pyplot<br /> * plt.figure(figsize=, dpi=)<br /> * plt.show()<br /> * plt.plot(x, y, color=, linewidth=, linestyle=, label=)<br /> * plt.xlim()<br /> * plt.xticks(ticks)<br /> * plt.xticks(ticks, label_in_latex)<br /> * plt.legend(loc=)<br /> * plt.scatter(x, y, size)<br /> * plt.annotate(text, xy=)<br /> <br /> Лекция 6<br /> <br /> [http://pastebin.com/0beXcmMW Черновик с лекции]<br /> <br /> * subplot, axes<br /> * bar, pie<br /> * colors, colormap<br /> * np.meshgrip<br /> * contour, contourf<br /> * imshow<br /> * mpl_toolkits.mplot3d.Axes3D: plot_surface, plot_trisurf<br /> <br /> Лекция 7<br /> <br /> [http://pastebin.com/FJR7Ndk2 Черновик с лекции]<br /> <br /> * Примитивы из линейной алгебры<br /> * Интегрирование функции от 1 и более аргумента<br /> <br /> Лекция 8<br /> <br /> [http://pastebin.com/KHyKX6GV Черновик с лекции]<br /> <br /> * Интерполяция<br /> * Приближения набора точек кривой заданного вида<br /> * Оптимизация функции<br /> <br /> Лекция 9<br /> <br /> [http://pastebin.com/Ld661ceH Черновик с лекции]<br /> <br /> * Символьные вычисления<br /> * Рациональные числа, хранение, эффективный поиск НОД<br /> * Символьное задание функций<br /> * Раскрытие скобок, упрощение<br /> * Пределы, дифференцирование, интегрирование</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_5_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7801 Формальные языки, 5 курс, весна 2016 2016-04-21T13:13:02Z <p>Darnley: </p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Екатерина Вербицкая, Михаил Слабодкин (slabodkinm@gmail.com).<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детеримированные автоматы с магазинной памятью, прием по терминальному состоянию<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> <br /> <br /> == Подгруппа Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/1A_IpQrFM7Qf524oY79ONEvnFxu2zw8bRGx8-XEQm3Rg Результаты]<br /> <br /> == Подгруппа Екатерины Вербицкой ==<br /> <br /> [https://docs.google.com/spreadsheets/d/15YLkdBCmvZyICh9cFCclnz3iXzw_O1PZ-QuOcLo2Y7A/edit?usp=sharing_eid&amp;invite=CL-Lgs8J&amp;ts=56d60b0c Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_2_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7800 Формальные языки, 2 курс, весна 2016 2016-04-21T13:11:31Z <p>Darnley: </p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детеримированные автоматы с магазинной памятью, неэквивалетность двух видов приема<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> Лекция 9<br /> * Иерархия Хомского<br /> * Регулярные грамматики, эквивалентность ДКА<br /> * Контекстно-зависимые грамматики, неукорачивающие грамматики<br /> * Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней<br /> * Неограниченные грамматики, эквивалентность машинам Тьюринга<br /> <br /> == К занятиям Николая Карпова ==<br /> <br /> [https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&amp;usp=sharing Все материалы и табличка].<br /> <br /> [https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]<br /> <br /> === Домашние задания ===<br /> Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе &quot;Все материалы и табличка&quot; выше.<br /> <br /> {| border=&quot;1&quot; cellspacing=&quot;0&quot; cellpadding=&quot;3&quot;<br /> <br /> |-<br /> !№<br /> !Дата<br /> <br /> |-<br /> !1<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]<br /> <br /> |-<br /> !2<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]<br /> <br /> |-<br /> !3<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]<br /> <br /> |-<br /> !4<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]<br /> <br /> |-<br /> !5<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]<br /> <br /> |- <br /> !6<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]<br /> <br /> |- <br /> !7<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]<br /> <br /> |-<br /> !8<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkeDF1TFRDSktuUW8/view На 08.04.2016]<br /> <br /> |-<br /> !9<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWUJ5YTBOb2RoYzQ/view На 22.04.2016]<br /> |}<br /> <br /> == К занятиям Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/13ELlUZn098B5opdQrn1UWfMmDbwosVZ5vKNX7NZDGc8/edit Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7799 Python (физики), весна 2016 2016-04-21T13:09:10Z <p>Darnley: </p> <hr /> <div>== План ==<br /> <br /> Лекция 1<br /> <br /> * Хранение вещественных чисел (IEEE floating point)<br /> <br /> Лекция 2<br /> <br /> * Библиотека NumPy<br /> * np.array()<br /> * применение операторов поэлементно (a + b, a == b)<br /> * .ndim<br /> * .shape<br /> * .dtype<br /> * np.arange()<br /> * np.linspace()<br /> * np.ones()<br /> * np.zeros()<br /> * np.eye()<br /> * np.diag()<br /> * np.random.rand()<br /> * np.random.random_sample()<br /> * np.random.random_integers()<br /> * np.tile()<br /> <br /> Лекция 3<br /> <br /> * broadcasting<br /> * адресация в массиве: срезы, a[list], a[predicate]<br /> <br /> Лекция 4<br /> <br /> * masked array<br /> * многочлены (poly1d), операции с ними<br /> <br /> Лекция 5<br /> <br /> [http://pastebin.com/PzxK2FgA Черновик с лекции]<br /> <br /> * Библиотека matplotlib.pyplot<br /> * plt.figure(figsize=, dpi=)<br /> * plt.show()<br /> * plt.plot(x, y, color=, linewidth=, linestyle=, label=)<br /> * plt.xlim()<br /> * plt.xticks(ticks)<br /> * plt.xticks(ticks, label_in_latex)<br /> * plt.legend(loc=)<br /> * plt.scatter(x, y, size)<br /> * plt.annotate(text, xy=)<br /> <br /> Лекция 6<br /> <br /> [http://pastebin.com/0beXcmMW Черновик с лекции]<br /> <br /> * subplot, axes<br /> * bar, pie<br /> * colors, colormap<br /> * np.meshgrip<br /> * contour, contourf<br /> * imshow<br /> * mpl_toolkits.mplot3d.Axes3D: plot_surface, plot_trisurf<br /> <br /> Лекция 7<br /> <br /> [http://pastebin.com/FJR7Ndk2 Черновик с лекции]<br /> <br /> * Примитивы из линейной алгебры<br /> * Интегрирование функции от 1 и более аргумента<br /> <br /> Лекция 8<br /> <br /> [http://pastebin.com/KHyKX6GV Черновик с лекции]<br /> <br /> * Интерполяция<br /> * Приближения набора точек кривой заданного вида<br /> * Оптимизация функции</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7756 Python (физики), весна 2016 2016-04-14T13:19:51Z <p>Darnley: /* План */</p> <hr /> <div>== План ==<br /> <br /> Лекция 1<br /> <br /> * Хранение вещественных чисел (IEEE floating point)<br /> <br /> Лекция 2<br /> <br /> * Библиотека NumPy<br /> * np.array()<br /> * применение операторов поэлементно (a + b, a == b)<br /> * .ndim<br /> * .shape<br /> * .dtype<br /> * np.arange()<br /> * np.linspace()<br /> * np.ones()<br /> * np.zeros()<br /> * np.eye()<br /> * np.diag()<br /> * np.random.rand()<br /> * np.random.random_sample()<br /> * np.random.random_integers()<br /> * np.tile()<br /> <br /> Лекция 3<br /> <br /> * broadcasting<br /> * адресация в массиве: срезы, a[list], a[predicate]<br /> <br /> Лекция 4<br /> <br /> * masked array<br /> * многочлены (poly1d), операции с ними<br /> <br /> Лекция 5<br /> <br /> [http://pastebin.com/PzxK2FgA Черновик с лекции]<br /> <br /> * Библиотека matplotlib.pyplot<br /> * plt.figure(figsize=, dpi=)<br /> * plt.show()<br /> * plt.plot(x, y, color=, linewidth=, linestyle=, label=)<br /> * plt.xlim()<br /> * plt.xticks(ticks)<br /> * plt.xticks(ticks, label_in_latex)<br /> * plt.legend(loc=)<br /> * plt.scatter(x, y, size)<br /> * plt.annotate(text, xy=)<br /> <br /> Лекция 6<br /> <br /> [http://pastebin.com/0beXcmMW Черновик с лекции]<br /> <br /> * subplot, axes<br /> * bar, pie<br /> * colors, colormap<br /> * np.meshgrip<br /> * contour, contourf<br /> * imshow<br /> * mpl_toolkits.mplot3d.Axes3D: plot_surface, plot_trisurf<br /> <br /> Лекция 7<br /> <br /> [http://pastebin.com/FJR7Ndk2 Черновик с лекции]<br /> <br /> * Примитивы из линейной алгебры<br /> * Интегрирование функции от 1 и более аргумента</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=Python_(%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B8),_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7755 Python (физики), весна 2016 2016-04-14T13:16:24Z <p>Darnley: </p> <hr /> <div>== План ==<br /> <br /> Лекция 1<br /> <br /> * Хранение вещественных чисел (IEEE floating point)<br /> <br /> Лекция 2<br /> <br /> * Библиотека NumPy<br /> * np.array()<br /> * применение операторов поэлементно (a + b, a == b)<br /> * .ndim<br /> * .shape<br /> * .dtype<br /> * np.arange()<br /> * np.linspace()<br /> * np.ones()<br /> * np.zeros()<br /> * np.eye()<br /> * np.diag()<br /> * np.random.rand()<br /> * np.random.random_sample()<br /> * np.random.random_integers()<br /> * np.tile()<br /> <br /> Лекция 3<br /> <br /> * broadcasting<br /> * адресация в массиве: срезы, a[list], a[predicate]<br /> <br /> Лекция 4<br /> <br /> * masked array<br /> * многочлены (poly1d), операции с ними<br /> <br /> Лекция 5<br /> <br /> [http://pastebin.com/PzxK2FgA Черновик с лекции]<br /> <br /> * Библиотека matplotlib.pyplot<br /> * plt.figure(figsize=, dpi=)<br /> * plt.show()<br /> * plt.plot(x, y, color=, linewidth=, linestyle=, label=)<br /> * plt.xlim()<br /> * plt.xticks(ticks)<br /> * plt.xticks(ticks, label_in_latex)<br /> * plt.legend(loc=)<br /> * plt.scatter(x, y, size)<br /> * plt.annotate(text, xy=)<br /> <br /> Лекция 6<br /> <br /> [http://pastebin.com/0beXcmMW Черновик с лекции]<br /> <br /> * subplot, axes<br /> * bar, pie<br /> * colors, colormap<br /> * np.meshgrip<br /> * contour, contourf<br /> * imshow<br /> * mpl_toolkits.mplot3d.Axes3D: plot_surface, plot_trisurf<br /> <br /> Лекция 7<br /> <br /> [http://pastebin.com/FJR7Ndk2 Черновик с лекции]<br /> <br /> * Примитивы из линейной алребры<br /> * Интегрирование функции от 1 и более аргумента</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_5_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7753 Формальные языки, 5 курс, весна 2016 2016-04-13T12:34:25Z <p>Darnley: </p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Екатерина Вербицкая, Михаил Слабодкин (slabodkinm@gmail.com).<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> <br /> == Подгруппа Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/1A_IpQrFM7Qf524oY79ONEvnFxu2zw8bRGx8-XEQm3Rg Результаты]<br /> <br /> == Подгруппа Екатерины Вербицкой ==<br /> <br /> [https://docs.google.com/spreadsheets/d/15YLkdBCmvZyICh9cFCclnz3iXzw_O1PZ-QuOcLo2Y7A/edit?usp=sharing_eid&amp;invite=CL-Lgs8J&amp;ts=56d60b0c Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_2_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7752 Формальные языки, 2 курс, весна 2016 2016-04-13T12:34:12Z <p>Darnley: </p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию<br /> Лекция 8<br /> * Эквивалентность МП-автоматов и КС-грамматик<br /> * Детеримированные автоматы с магазинной памятью, неэквивалетность двух видов приема<br /> * Соотношение регулярных, ДМП- и КС-языков<br /> <br /> == К занятиям Николая Карпова ==<br /> <br /> [https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&amp;usp=sharing Все материалы и табличка].<br /> <br /> [https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]<br /> <br /> === Домашние задания ===<br /> Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе &quot;Все материалы и табличка&quot; выше.<br /> <br /> {| border=&quot;1&quot; cellspacing=&quot;0&quot; cellpadding=&quot;3&quot;<br /> <br /> |-<br /> !№<br /> !Дата<br /> <br /> |-<br /> !1<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]<br /> <br /> |-<br /> !2<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]<br /> <br /> |-<br /> !3<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]<br /> <br /> |-<br /> !4<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]<br /> <br /> |-<br /> !5<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]<br /> <br /> |- <br /> !6<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]<br /> <br /> |- <br /> !7<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]<br /> <br /> |-<br /> !8<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkeDF1TFRDSktuUW8/view На 08.04.2016]<br /> |}<br /> <br /> == К занятиям Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/13ELlUZn098B5opdQrn1UWfMmDbwosVZ5vKNX7NZDGc8/edit Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_5_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7685 Формальные языки, 5 курс, весна 2016 2016-04-04T23:18:04Z <p>Darnley: </p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Екатерина Вербицкая, Михаил Слабодкин (slabodkinm@gmail.com).<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> <br /> == Подгруппа Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/1A_IpQrFM7Qf524oY79ONEvnFxu2zw8bRGx8-XEQm3Rg Результаты]<br /> <br /> == Подгруппа Екатерины Вербицкой ==<br /> <br /> [https://docs.google.com/spreadsheets/d/15YLkdBCmvZyICh9cFCclnz3iXzw_O1PZ-QuOcLo2Y7A/edit?usp=sharing_eid&amp;invite=CL-Lgs8J&amp;ts=56d60b0c Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley http://mit.spbau.ru/sewiki/index.php?title=%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B8,_2_%D0%BA%D1%83%D1%80%D1%81,_%D0%B2%D0%B5%D1%81%D0%BD%D0%B0_2016&diff=7684 Формальные языки, 2 курс, весна 2016 2016-04-04T23:17:53Z <p>Darnley: </p> <hr /> <div>'''Лекции:''' Михаил Эдуардович Дворкин (&lt;b&gt;mikhail.dvorkin@gmail.com&lt;/b&gt;)<br /> <br /> '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).<br /> <br /> == План ==<br /> <br /> Лекция 1<br /> * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.<br /> * Детерминированные конечные автоматы. Принятие слова.<br /> * Эквивалентность состояний. Минимизация ДКА.<br /> Лекция 2<br /> * Правые контексты.<br /> * Эквивалентность ДКА.<br /> * Прямое произведение ДКА.<br /> * Динамическое программирование по ДКА.<br /> Лекция 3<br /> * Академические регулярные выражения.<br /> * Теорема Клини — эквивалентность КА и АРВ.<br /> Лекция 4<br /> * Операции над языками. Свойства регулярных языков.<br /> * Лемма о разрастании.<br /> Лекция 5<br /> * КС-грамматики.<br /> * Вывод, левосторонний вывод, дерево разбора.<br /> * Однозначные КС-грамматики.<br /> * Вложенность регулярных языков в КС-языки.<br /> Лекция 6<br /> * Нормальная форма Хомского.<br /> * Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.<br /> * Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.<br /> Лекция 7<br /> * Лемма о разрастании для КС-грамматик<br /> * Автоматы с магазинной памятью<br /> <br /> == К занятиям Николая Карпова ==<br /> <br /> [https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&amp;usp=sharing Все материалы и табличка].<br /> <br /> [https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]<br /> <br /> === Домашние задания ===<br /> Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе &quot;Все материалы и табличка&quot; выше.<br /> <br /> {| border=&quot;1&quot; cellspacing=&quot;0&quot; cellpadding=&quot;3&quot;<br /> <br /> |-<br /> !№<br /> !Дата<br /> <br /> |-<br /> !1<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]<br /> <br /> |-<br /> !2<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]<br /> <br /> |-<br /> !3<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]<br /> <br /> |-<br /> !4<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]<br /> <br /> |-<br /> !5<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]<br /> <br /> |- <br /> !6<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]<br /> <br /> |- <br /> !7<br /> |align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]<br /> <br /> |}<br /> <br /> == К занятиям Михаила Слабодкина ==<br /> <br /> [https://docs.google.com/spreadsheets/d/13ELlUZn098B5opdQrn1UWfMmDbwosVZ5vKNX7NZDGc8/edit Результаты]<br /> <br /> == Ссылки ==<br /> <br /> * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.<br /> * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]<br /> * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]<br /> * [http://www.eecs.wsu.edu/~ananth/CptS317/]<br /> * [http://users.utu.fi/jkari/automata/fullnotes.pdf]</div> Darnley