SEWiki - Вклад участника [ru]

Базы данных (Чернышев) осень 2017

2017-09-18T14:50:27Z

D.v.lapshin:

Преподаватель: Чернышев Г.

== Лекции ==

Материалы можно найти на [http://math.spbu.ru/user/chernishev/window.html сайте].

Результаты тестов [https://docs.google.com/spreadsheets/d/1378rBB29Cgplt7h6muzEUL3BXDjb_OUS3cvp8l62EPk/edit#gid=0 на гугл-таблицах].

== Практика ==

Задание 1: [[Файл:Fal2017 DB Task1.pdf]].

Файл:Fal2017 DB Task1.pdf

2017-09-18T14:48:36Z

D.v.lapshin:

Базы данных (Чернышев) осень 2017

2017-09-18T12:11:32Z

D.v.lapshin: /* Лекции */

С++ 1MIT осень2017

2017-09-15T09:59:41Z

D.v.lapshin: Added C11 standart link

== Лекции ==
Преподаватель: Линский Евгений Михайлович ('''evgeny.linsky@gmail.com''')

* [https://docs.google.com/spreadsheets/d/1uon68I_r3_5v9EXMWy-cYrwi5u6ECdMKmEnxXAyT99A/edit?usp=sharing Электронная ведомость]
* [https://stepic.org/lesson/Как-установить-Linux-4548/step/2?course=Введение-в-Linux&unit=1012 Виртуальная машина с инструкцией установки]
* [[Про стиль (coding convention)]]
* [http://www.funtoo.org/Linux_Fundamentals,_Part_1 Про linux] (на русском: [[Файл:linux-intro-rus.pdf]])
* [http://amse.ru/courses/cpp2/2010_10_13.html Ликбез по C++]

== Лабораторные и домашние ==
* [https://github.com/HFX-TA/cpp/tree/master/F17-S18 HFX-TA/cpp/F17-S18] — гит-репозиторий с описаниями лабораторных (обновляется каждую неделю).
* [http://mit.spbau.ru/trac/cpp17b/wiki/WikiStart Trac] — trac для лабораторных.
* [http://mit.spbau.ru/svn/cpp17b/ svn] — svn для лабораторных.

== Практика Гулецкий ==

Преподаватель: Артур Гулецкий ('''hatless.fox@gmail.com''')

Префикс в теме письма: [C++TA]

[https://github.com/HFX-TA/cpp/tree/master/ta/huletski Код с практик]

Почитать:
* Intro to C++ w/o C ([https://www.amazon.com/Primer-5th-Stanley-B-Lippman/dp/0321714113 C++ Primer, 5th])
* краткое введение в make ([https://www.amazon.com/dp/1593275676 How Linux works, 2nd], sect. 15.2)
* gdb ([https://www.nostarch.com/hacking2.htm Hacking the Art of Exploitation, 2nd], sect. 0x250)
* linker/separate compilation/libs ([https://www.amazon.com/Computer-Systems-Programmers-Perspective-3rd/dp/013409266X CS:PP, 3rd], ch. 7)

== Практика Афанасьев ==

Преподаватель: Антон Афанасьев ('''anton.f.afanasev@yandex.ru''')

== Практика Лапшин ==

Преподаватель: Дмитрий Лапшин, по вопросам курса писать сюда: [mailto:au-cpp@ldvsoft.net au-cpp@ldvsoft.net].

Ссылочки выше тоже полезны!
* Краткое пособие по Ubuntu от меня: https://ldvsoft.net/2017/09/10/ubuntu-course.html.
* Стандарт языка C (версия С11): http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf.

С++ 1MIT осень2017

2017-09-12T12:15:09Z

D.v.lapshin: /* Практика Лапшин */

== Лекции ==
Преподаватель: Линский Евгений Михайлович ('''evgeny.linsky@gmail.com''')

* [https://docs.google.com/spreadsheets/d/1uon68I_r3_5v9EXMWy-cYrwi5u6ECdMKmEnxXAyT99A/edit?usp=sharing Электронная ведомость]
* [https://stepic.org/lesson/Как-установить-Linux-4548/step/2?course=Введение-в-Linux&unit=1012 Виртуальная машина с инструкцией установки]
* [[Про стиль (coding convention)]]
* [http://www.funtoo.org/Linux_Fundamentals,_Part_1 Про linux] (на русском: [[Файл:linux-intro-rus.pdf]])
* [http://amse.ru/courses/cpp2/2010_10_13.html Ликбез по C++]

== Лабораторные и домашние ==
* [https://github.com/HFX-TA/cpp/tree/master/F17-S18 HFX-TA/cpp/F17-S18] — гит-репозиторий с описаниями лабораторных (обновляется каждую неделю).
* [http://mit.spbau.ru/trac/cpp17b/wiki/WikiStart Trac] — trac для лабораторных.
* [http://mit.spbau.ru/svn/cpp17b/ svn] — svn для лабораторных.

== Практика Гулецкий ==

Преподаватель: Артур Гулецкий ('''hatless.fox@gmail.com''')

Префикс в теме письма: [C++TA]

Почитать:
* Intro to C++ w/o C ([https://www.amazon.com/Primer-5th-Stanley-B-Lippman/dp/0321714113 C++ Primer, 5th])
* краткое введение в make ([https://www.amazon.com/dp/1593275676 How Linux works, 2nd], sect. 15.2)
* gdb ([https://www.nostarch.com/hacking2.htm Hacking the Art of Exploitation, 2nd], sect. 0x250)
* linker/separate compilation/libs ([https://www.amazon.com/Computer-Systems-Programmers-Perspective-3rd/dp/013409266X CS:PP, 3rd], ch. 7)

== Практика Афанасьев ==

Преподаватель: Антон Афанасьев ('''anton.f.afanasev@yandex.ru''')

== Практика Лапшин ==

Преподаватель: Дмитрий Лапшин, по вопросам курса писать сюда: [mailto:au-cpp@ldvsoft.net au-cpp@ldvsoft.net ].

Краткое пособие по Ubuntu от меня: https://ldvsoft.net/2017/09/10/ubuntu-course.html.

Компиляторы, 3 курс, 5 семестр, 2016/17

2016-12-18T18:50:13Z

D.v.lapshin: Добавил ссылку на зачётные задания.

Лектор: Булычев Дмитрий Юрьевич.

https://github.com/dboulytchev/sample-compiler

Образ с настроенным софтом для виртуальной машины: [https://www.dropbox.com/s/2ybus3fxyp0ln1d/CompilerCourse.ova?dl=0 OVA] (логин внутри: <code>me</code>, пароль: <code>me</code>).

[https://docs.google.com/spreadsheets/d/1LCcCdSg37du3SfDVyndm5jwgndzCl0OmwRlG8bGVQ4M/edit?ts=57f74d1e#gid=0 Результаты],
[https://docs.google.com/spreadsheets/d/1Dp9KYpRoPlIqDyMQVRrMIfODq09r268hYZYNM2rjzAI/edit?ts=585394f8#gid=0 зачётные задания].

'''Вся информация на этой странице сдублирована из почты!'''

== Домашние задания ==
=== Домашнее задание от 13.09.2016 ===
# Дописать интерпретатор стековой машины с символическим стеком (там надо поддержать оставшиеся 5 инструкций).
# Реализовать печать инструкций в правильном формате ассемблера x86 (см., например, https://en.wikibooks.org/wiki/X86_Assembly/GAS_Syntax).
# Реализовать правильное "обрамление" порожденной программы:
<syntaxhighlight lang="asm">
.text
.globl main

main:
<тут идет текст ассемблерного порождения>
ret
</syntaxhighlight>

=== Конструкции управления ===

Базовые:
# <code>if E then S1 else S2 fi</code>, где <code>E</code> — выражение, а <code>S1</code> и <code>S2</code> — операторы. Если значение <code>E</code> вычисляется не в ноль, то исполняется <code>S1</code>, иначе — <code>S2</code>.
# <code>while E do S od</code>, где <code>E</code> — выражение, <code>S</code> — оператор. Если значение <code>E</code> вычисляется в не ноль, то исполняется <code>S</code>, а потом весь <code>while</code> заново; иначе не делается ничего.

Дополнительные:
# <code>if E1 then S1 {elif E2 then S2 elif E3 then S3} ... [else Sk] fi</code> эквивалентно:
<pre>
if E1 then S1
else if E2 then S2
else if E3 then S3
....
[else Sk]
fi
</pre>
<ol start="2">
<li><code>repeat S until E</code> эквивалентно <code>S; while E == 0 do S od</code></li>
<li><code>for S1, E, S2 do S od</code> эквивалентно <code>S1; while E do S; S2 od</code></li>
</ol>

=== Поддержка функций ===

На уровне выражений язык расширяется конструкцией вызова функции: <code><ident> (<expr>, <expr>, ...)</code>. Список аргументов может быть пустым, но скобки нужны в любом случае.

На уровне операторов язык расширяется двумя конструкциями:
# <code><ident> (<expr> , <expr>, ... )</code> — вызов функции. Список аргументов может быть пустым, но скобки нужны в любом случае.
# <code>return <expr></code> — возврат значения. Выполнение функции должно всегда заканчиваться выполнением оператора <code>return</code>; если функция вызывается как оператор, то её результат теряется.

Кроме того, теперь перед самой программой может идти одно или несколько описаний функций. Каждое описание имеет следующий вид:
<pre>
fun <ident> (<ident> , <ident>, ... )
begin
<stmt>
end
</pre>
Список формальных параметров може быть пуст, но скобки нужны в любом случае.

Правила видимости для переменных внутри функции: каждая функция "видит" свои параметры; все остальные используемые переменные считаются локальными для данного вызова функции. Глобальные переменные не видны. Функции могут быть рекурсивными, в том числе взаимно-рекурсивными.

Расширение системы команд стековой машины:
# <code>CALL of string * string list</code> — инструкция вызова. Получает имя функции и список имен её параметров.
# <code>RET</code> — возврат из функции.
# <code>END</code> — конец программы (завершает выполнение, даже если "хвост" инструкций не пуст).

Пример:

<pre>
fun fact (n)
begin
if n < 2
then return 1
else return n * fact (n-1)
fi
end

read (n);
write (fact (n))
</pre>

=== Builtins и строки ===

Встроенная функция --- это (в нашем случае) некоторая предопределенная функция. Для
эталонного и стекового интерпретаторов встроенные функции реализованы на языке
реализации интерпретатора (в нашем случае --- OCaml), в нативном случае --- на
языке реализации рантайма (в нашем случае --- C). Встроенные функции могут оказать влияние
на входной и выходной потоки (но не на состояние), это надо учесть при реализации.

Соответственно, для поддержки встроенной функции в интерпретаторе надо, в случае, когда
вызываемая функция не обнаружена, проверить, не является ли она встроенной (по имени), и если
является, то соответствующим образом её отынтерпретировать.

Для поддержки строенной функции в стековой машине надо добавить в машину инструкцию
BUILTIN (f, n), где f --- имя функции, n --- количество её аргументов. Эту инструкцию надо генерировать
в стековом интерпретаторе в ситуации, когда встречается вызов неопределенной функции.

Для поддержки встроенных функций в нативном коде ничего специального не требуется ---
надо сгенерировать для инструкции BUILTIN точно такой же код, что и для инструкции CALL (ну и,
конечно, реализовать саму встроенную функцию в рантайме).

Следует избегать дублирования кода при реализации встроенных функций для эталонного и стекового
интерпретаторов (в обоих случаях это должен быть один и тот же код).

Соответственно, из AST языка пропадают конструкции READ и WRITE, из систем команд
стековой машины пропадают инструкции READ и WRITE (но добавляется BUILTIN).

Потребуются некоторые изменения в парсере: надо выбросить ключевые слова read и write и
убрать разбор соответствующих операторов. Теперь вместо read(x) надо будет писать x := read ().
Все тесты должны проходить по-старому (надеюсь, ни у кого не возникнет трудностей с переделыванием
существующих тестов на новый синтаксис).

Поддержка строковых значений в языке обеспечивается добавлением следующих конструкций:
# Строковых констант вида <code>"....."</code> в выражениях. Для их представления потребуется новый узел AST для выражений и новая инструкция SPUSH (s) в стековой машине.
# Целочисленных констант вида <code>'<один символ>'</code> в выражениях. Это просто синтаксический сахар на уровне парсера.
# Набора встроенных функций.

Заметим, что теперь значениями в программе являются не только целые числа, но и строки --- поэтому
на уровне интерпретатора предлагается завести модуль для значений:

<pre>
module Value =
struct
type t = Int of int | String of bytes

let of_int : int -> t = ...
let of_string : bytes -> t = ...
let to_int : t -> int = ...
let to_string : t -> string = ...
end
</pre>

Эти изменения надо "протянуть" через весь код (это не так страшно, как может показаться на первый взгляд).
Набор встроенных функций таков:

* <code>strmake (n, c)</code> --- делает строку длины n, заполненную символами с (n >= 0, иначе неизвестно, что), и возвращает эту строку.
* <code>strset (s, i, c)</code> --- присваивает i-му элементу строки s значение c и возвращает измененную строку.
* <code>strget (s, i)</code> --- возвращает i-й элемент строки s.
* <code>strdup (s)</code> --- возвращает копию строки s.
* <code>strcat (s1, s2)</code> --- возвращает конкатенацию строк s1 и s2.
* <code>strcmp (s1, s2)</code> --- сравнивает строки s1 и s2 лексикографически и возвращает -1, если s1<s2, 0, если s1=s2, и 1 --- иначе.
* <code>strlen (s)</code> --- возвращает длину строки s.
* <code>strsub (s, i, l)</code> --- возвращает подстроку длины l строки s, начиная с i-й позиции включительно (т.е. strcmp (s, strsub (s, 0, strlen (s))) == 0).

=== Массивы ===
Для поддержки массивов язык расширяется

# На уровне выражений --- конструкциями:
## <code>[ expr_1, expr_2, ..., expr_k ]</code>, где <math>k \ge 0</math>, <code>expr_i</code> --- целое выражение. Это unboxed-массив целых.
## <code>{ expr_1, expr_2, ..., expr_k }</code>, где <math>k \ge 0</math>, <code>expr_i</code> --- выражение, вычисляющееся в строку или массив. Это boxed-массив.
## <code>expr [index]</code> --- выборка элемента массива; здесь expr --- выражение, вычисляющееся в массив (то есть идентификатор, выборка из массива или вызов функции), index --- целое выражение.
# На уровне операторов --- присваиванием вида <code>ident[index_1][index_2]...[index_k] := value</code>, где ident -- идентификатор массива, <code>index_i</code> --- целое выражение, value --- произвольное выражение.
# На уровне builtins --- функциями:
## <code>arrlen (a)</code> --- возвращает число элементов массива а
## <code>arrmake (n, v)</code> --- возвращает массив целых длины n, все элементы которого равны v.
## <code>Arrmake (n, v)</code> --- возвращает boxed-массив массивов или строк длины n, все элементы которого равны v.

В интерпретатор добавлется новый вид значений:
<pre>
module Value =
struct
type t = .... | Array of value array

...

let of_array = ...
let to_array = ...
end
</pre>

В стековую машину добавляются инструкции:

# <code>ARRAY of bool * int</code>; <code>ARRAY(boxed, n)</code> снимает со стека n значений, создает boxed или unboxed массив и кладет этот массив на стек.
# <code>ELEM</code> --- снимает со стека массив и индекс и кладет обратно элемент по данному индексу.
# <code>STA of string * int</code>; <code>STA (x, n)</code> снимает со стека n+1 значение i_1, i_2, ..., i_n, v и осуществляет присваивание <code>x[i_1][i_2]...[i_n] := v</code>.

== Документация ==
=== Система сборки (новая) ===
Используется [http://opam.ocaml.org/ opam] - это пакетный менеджер для OCaml.

Подготовка (альтернативно можно запустить [https://gist.github.com/LDVSOFT/ea030ba8ec24f12c8c579522bd99e90a скрипт от Димы]):
# Требуется установить opam версии хотя бы 1.2.2. Есть в репозиториях Debian/Ubuntu (<code>sudo apt-get install opam</code>).
# Должен автоматически поставится компилятор ocaml. Проверяем версию: <code>ocaml -version</code>.
# Если версия хотя бы 4.02 - запускаем из домашнего каталога <code>opam init</code>. Если версия древнее — запускаем <code>opam init --comp 4.03.0</code>.
# Чтобы подцепить изменения в окружении в текущей сессии, надо запустить <code>eval `opam config env`</code>. Теперь версия компилятора точно должна быть хотя бы 4.02.
# Выполняем команды:
<pre>
opam pin add logger https://github.com/dboulytchev/logger.git -y -n
opam pin add GT https://github.com/dboulytchev/GT.git -y -n
opam pin add ostap https://github.com/dboulytchev/ostap.git -y -n
opam pin add ocanren https://github.com/dboulytchev/ocanren.git -y -n
opam install ostap
opam install ocanren
</pre>
<ol start="6">
<li>Также для сборки <code>runtime.o</code> на Debian/Ubuntu может потребоваться пакет <code>g++-multilib</code>.</li>
</ol>

Как собирать:
* Если вы находитесь в корне репозитория: <code>make -f Makefile.ob</code>.
* Если вы находитесь не в корне, а, скажем, в папке src, то надо добавить параметр <code>-C <путь-до-корня></code>: <code>make -C .. -f Makefile.ob</code>.

Участник:D.v.lapshin

2016-09-07T08:29:09Z

D.v.lapshin:

== Контакты ==

* Зовут меня Лапшин Дмитрий
* LDVSOFT и Элегантный Бумеранг --- я же.
* E-mail: [mailto:lapshin.dv@mail.ru lapshin.dv@mail.ru]
* Телефон: [tel:+7(921)569-81-08 +7 (921) 569-81-08]
** Telegram
** Viber
* ВК: [https://vk.com/elebum elebum]

Формальные языки, 2 курс, весна 2016

2016-06-06T14:47:08Z

D.v.lapshin: Уточнён билет №15

'''Лекции:''' Михаил Эдуардович Дворкин (mikhail.dvorkin@gmail.com)

'''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).

Конспект http://yeputons.net/spbau/term4-formal_languages-lectures.pdf

== План ==

Лекция 1
* Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.
* Детерминированные конечные автоматы. Принятие слова.
* Эквивалентность состояний. Минимизация ДКА.
Лекция 2
* Правые контексты.
* Эквивалентность ДКА.
* Прямое произведение ДКА.
* Динамическое программирование по ДКА.
Лекция 3
* Академические регулярные выражения.
* Теорема Клини — эквивалентность КА и АРВ.
Лекция 4
* Операции над языками. Свойства регулярных языков.
* Лемма о разрастании.
Лекция 5
* КС-грамматики.
* Вывод, левосторонний вывод, дерево разбора.
* Однозначные КС-грамматики.
* Вложенность регулярных языков в КС-языки.
Лекция 6
* Нормальная форма Хомского.
* Удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.
* Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.
Лекция 7
* Лемма о разрастании для КС-грамматик
* Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию
Лекция 8
* Эквивалентность МП-автоматов и КС-грамматик
* Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема
* Соотношение регулярных, ДМП- и КС-языков
Лекция 9
* Иерархия Хомского
* Регулярные грамматики, эквивалентность ДКА
* Контекстно-зависимые грамматики, неукорачивающие грамматики
* Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней
* Неограниченные грамматики, эквивалентность машинам Тьюринга
Лекция 10 (правильнее: 6.5)
* Нормальная форма Грейбах, ослабленная нормальная форма Грейбах, приведение произвольной КС-грамматики к ослабленной НФГ.

== Список вопросов ==

UPDATE: Билет №14 появился в этом документе позже, заметьте его, пожалуйста.
UPDATE: Билет №15 уточнён.

# Детерминированные конечные автоматы. Определение. Принятие слова. Эквивалентность состояний. Минимизация ДКА.
# Правые контексты. Связь с размером минимального ДКА. Прямое произведение ДКА. Динамическое программирование по ДКА, примеры.
# Недетерминированные конечные автоматы с eps-переходами. Детерминизация НКА.
# Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из КА в АРВ.
# Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ: из АРВ в КА.
# Лемма о разрастании для регулярных языков.
# КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Вложенность регулярных языков в КС-языки.
# Нормальная форма Хомского. Приведение к ней: удаление бесполезных нетерминалов, \eps-продукций, цепных продукций, терминалов в длинных продукциях, длинных продукций.
# Нормальная и ослабленная нормальная форма Грейбах. Приведение к ослабленной НФГ.
# Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.
# Лемма о разрастании для КС-языков.
# Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из АМП в КСГ.
# Автоматы с магазинной памятью. Эквивалентность МП-автоматов и КС-грамматик: из КСГ в АМП.
# Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема. Соотношение регулярных, ДМП- и КС-языков.
# Иерархия Хомского. Регулярные грамматики, их эквивалентность регулярным языкам. Контекстно-зависимые грамматики, неукорачивающие грамматики, их эквивалентность.
# Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней

== К занятиям Николая Карпова ==

[https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&usp=sharing Все материалы и табличка].

[https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]

=== Домашние задания ===
Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе "Все материалы и табличка" выше.

{| border="1" cellspacing="0" cellpadding="3"

|-
!№
!Дата

|-
!1
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]

|-
!2
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]

|-
!3
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]

|-
!4
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]

|-
!5
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]

|-
!6
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]

|-
!7
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]

|-
!8
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkeDF1TFRDSktuUW8/view На 08.04.2016]

|-
!9
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWUJ5YTBOb2RoYzQ/view На 22.04.2016]

|-
!10
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkUGlYUEY2NjVxMFE/view На 29.04.2016]

|-
!11
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkc2wwa2JReU5ranM/view На 06.05.2016]
|}

== К занятиям Михаила Слабодкина ==

[https://docs.google.com/spreadsheets/d/13ELlUZn098B5opdQrn1UWfMmDbwosVZ5vKNX7NZDGc8/edit Результаты]

== Ссылки ==

* Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.
* [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков]
* [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/]
* [http://www.eecs.wsu.edu/~ananth/CptS317/]
* [http://users.utu.fi/jkari/automata/fullnotes.pdf]

Расписание 2 курса, весна 2016

2016-02-29T12:17:36Z

D.v.lapshin: Fixed table style

== Официальное расписание ==

[[Медиа:Расписание_АФТУ_весна_2016_бакалавриат.pdf|Официальное расписание]] (письмо от А.М.Кузнецова от 05.02.2016).

=== [https://vk.com/wall-75307394_1553 Изменение от 07.02.2016] ===
Первая группа занимается на практиках по формальным языкам с Николаем Карповым, а на практиках по теории сложности — с Дмитрием Соколовым.
Так вот, по средам на второй паре у нашей группы будут занятия с Дмитрием Соколовым по теории сложности, а в пятницу, наоборот, практика по формальным языкам с Николаем Карповым.
Изменение постоянное и касается только первой группы.

=== Основные даты ===
Озвучено на оргсобрании 08.02.2016 и выслано в письме от 09.02.2016.

{| class="wikitable"
!20 февраля
|рабочая суббота с отдельным расписанием (уточняется)
|-
!22-23 февраля
|выходной
|-
!5 марта
|рабочая суббота с отдельным расписанием (уточняется)
|-
!7-8 марта
|выходной
|-
!30 мая - 5 июня
|Зачётная неделя
|-
!6 июня - 26 июня
|Сессия
|-
!27 июня - 3 июля
|Допсессия
|-
!7-8 сентября
|Вторая допсессия*
|}

Коллоквиумов не будет.

Стипендия за января - такая же как в прошлом семестре
Стипендия за февраль (и далее) - по итогам прошедшей сессии

''*'' - вторая допсессия - исключительная мера для исключительных случаев, только по личному согласованию, не стоит думать, что на неё можно автоматически пройти, завалив и основную, и дополнительную.

== Google Calendar ==
Каждый календарь поддерживается соответствующим ответственным в актуальном состоянии, учитывая переносы (в том числе устно заявленные преподавателем), смены аудитории и преподавателей, массовые объявления.
В каждом мероприятии указаны название, аудитория (поле "место"), преподаватель (в описании), время проведения.
По умолчанию все мероприятия повторяются каждую неделю. Когда станет известны даты последних пар (обычно это неделя перед зачётной), это будет отражено в календаре.
Если вы считаете, что календарь содержит неактуальную/неверную информацию - сообщите ответственному.

Все необычные события с обязательным присутствием будут попадать в календарь общих пар. Важные массовые изменения также там будут отражены (например, если массово отменяется английский - будет создано короткое событие в соответствующий момент).
Все пары, где подгрупп больше двух (или же они отличаются от стандартных), будут попадать в календарь "Сборная солянка".
Напоминаем, что при использовании Google Calendar можно выборочно копировать некоторые пары из общего календаря к себе, однако изменения в общем календари в вашей копии отображаться не будут.

Идеология, которой стараемся придерживаться: правятся только будущие мероприятия, информация о старых меняется только если она была неверной. Например, если поменялась аудитория, в которой проводится пара - это меняется только в будущих мероприятиях, таким образом, для каждого конкретного дня можно вспомнить, где что в этот день было.

{| class="wikitable"
!Google Calendar
!iCalendar (ICS)
!Ответственный
!Описание
|-
|[https://calendar.google.com/calendar/embed?src=qrv35cjpmlkrvsbh9b2uc2qf2s%40group.calendar.google.com&ctz=Europe/Moscow Общие пары Google Calendar]
|[https://calendar.google.com/calendar/ical/qrv35cjpmlkrvsbh9b2uc2qf2s%40group.calendar.google.com/public/basic.ics Общие пары iCalendar]
|[[user:E.f.suvorov|Егор Суворов]]
|Общие лекции и важные мероприятия (оргсобрания, презентации, каникулы)
|-
|[https://calendar.google.com/calendar/embed?src=h1i80r9jqopu2ta1ufp9rd8aak%40group.calendar.google.com&ctz=Europe/Moscow I подгруппа Google Calendar]
|[https://calendar.google.com/calendar/ical/h1i80r9jqopu2ta1ufp9rd8aak%40group.calendar.google.com/public/basic.ics I подгруппа iCalendar]
|[[user:E.f.suvorov|Егор Суворов]]
|Только занятия первой подгруппы
|-
|[https://calendar.google.com/calendar/embed?src=3tpsara51hgvs1lo3l8qdrsp8k%40group.calendar.google.com&ctz=Europe/Moscow II подгруппа Google Calendar]
|[https://calendar.google.com/calendar/ical/3tpsara51hgvs1lo3l8qdrsp8k%40group.calendar.google.com/public/basic.ics II подгруппа iCalendar]
|[[user:A.v.gaydashenko|Настя Гайдашенко]]
|Только занятия второй подгруппы
|-
|[https://calendar.google.com/calendar/embed?src=9o9t9lk5c9rspj0f9869jbcmbg%40group.calendar.google.com&ctz=Europe/Moscow Сборная солянка Google Calendar]
|[https://calendar.google.com/calendar/ical/9o9t9lk5c9rspj0f9869jbcmbg%40group.calendar.google.com/public/basic.ics Сборная солянка iCalendar]
|[[user:E.f.suvorov|Егор Суворов]]
|Занятия, не вошедшие в предыдущие календари, без указания аудиторий и преподавателей: физкультура, английский язык, время на НИР
|-
|[https://calendar.google.com/calendar/embed?src=c8irlf10tgri925p5rp37oc7v0%40group.calendar.google.com&ctz=Europe/Moscow Английский 1 Google Calendar]
|[https://calendar.google.com/calendar/ical/c8irlf10tgri925p5rp37oc7v0%40group.calendar.google.com/public/basic.ics Английский 1 iCalendar]
|[[user:E.f.suvorov|Егор Суворов]]
|Английский язык, подгруппа 1 (Силинский С.В., ауд. 515)
|}

== Экзамены ==
По непрофильному предмету (экономика) точно будет недифференцированный зачёт.

Экзамены, скорее всего (но точно неизвестно!) будут следующие: дискретная математика, ТФКП, формальные языки и, возможно, теория сложности.

По Java будет зачёт с оценкой, по ОС - зачёт с оценкой с вероятностью 90%.

Расписание 2 курса, весна 2016

2016-02-29T12:11:04Z

D.v.lapshin: Fixed table position

== Официальное расписание ==

[[Медиа:Расписание_АФТУ_весна_2016_бакалавриат.pdf|Официальное расписание]] (письмо от А.М.Кузнецова от 05.02.2016).

=== [https://vk.com/wall-75307394_1553 Изменение от 07.02.2016] ===
Первая группа занимается на практиках по формальным языкам с Николаем Карповым, а на практиках по теории сложности — с Дмитрием Соколовым.
Так вот, по средам на второй паре у нашей группы будут занятия с Дмитрием Соколовым по теории сложности, а в пятницу, наоборот, практика по формальным языкам с Николаем Карповым.
Изменение постоянное и касается только первой группы.

=== Основные даты ===
Озвучено на оргсобрании 08.02.2016 и выслано в письме от 09.02.2016.

{| border="1"
|20 февраля
|рабочая суббота с отдельным расписанием (уточняется)
|-
|22-23 февраля
|выходной
|-
|5 марта
|рабочая суббота с отдельным расписанием (уточняется)
|-
|7-8 марта
|выходной
|-
|30 мая - 5 июня
|Зачётная неделя
|-
|6 июня - 26 июня
|Сессия
|-
|27 июня - 3 июля
|Допсессия
|-
|7-8 сентября
|Вторая допсессия*
|}

Коллоквиумов не будет.

Стипендия за января - такая же как в прошлом семестре
Стипендия за февраль (и далее) - по итогам прошедшей сессии

''*'' - вторая допсессия - исключительная мера для исключительных случаев, только по личному согласованию, не стоит думать, что на неё можно автоматически пройти, завалив и основную, и дополнительную.

== Google Calendar ==
Каждый календарь поддерживается соответствующим ответственным в актуальном состоянии, учитывая переносы (в том числе устно заявленные преподавателем), смены аудитории и преподавателей, массовые объявления.
В каждом мероприятии указаны название, аудитория (поле "место"), преподаватель (в описании), время проведения.
По умолчанию все мероприятия повторяются каждую неделю. Когда станет известны даты последних пар (обычно это неделя перед зачётной), это будет отражено в календаре.
Если вы считаете, что календарь содержит неактуальную/неверную информацию - сообщите ответственному.

Все необычные события с обязательным присутствием будут попадать в календарь общих пар. Важные массовые изменения также там будут отражены (например, если массово отменяется английский - будет создано короткое событие в соответствующий момент).
Все пары, где подгрупп больше двух (или же они отличаются от стандартных), будут попадать в календарь "Сборная солянка".
Напоминаем, что при использовании Google Calendar можно выборочно копировать некоторые пары из общего календаря к себе, однако изменения в общем календари в вашей копии отображаться не будут.

Идеология, которой стараемся придерживаться: правятся только будущие мероприятия, информация о старых меняется только если она была неверной. Например, если поменялась аудитория, в которой проводится пара - это меняется только в будущих мероприятиях, таким образом, для каждого конкретного дня можно вспомнить, где что в этот день было.

{| class="wikitable"
!Google Calendar
!iCalendar (ICS)
!Ответственный
!Описание
|-
|[https://calendar.google.com/calendar/embed?src=qrv35cjpmlkrvsbh9b2uc2qf2s%40group.calendar.google.com&ctz=Europe/Moscow Общие пары Google Calendar]
|[https://calendar.google.com/calendar/ical/qrv35cjpmlkrvsbh9b2uc2qf2s%40group.calendar.google.com/public/basic.ics Общие пары iCalendar]
|[[user:E.f.suvorov|Егор Суворов]]
|Общие лекции и важные мероприятия (оргсобрания, презентации, каникулы)
|-
|[https://calendar.google.com/calendar/embed?src=h1i80r9jqopu2ta1ufp9rd8aak%40group.calendar.google.com&ctz=Europe/Moscow I подгруппа Google Calendar]
|[https://calendar.google.com/calendar/ical/h1i80r9jqopu2ta1ufp9rd8aak%40group.calendar.google.com/public/basic.ics I подгруппа iCalendar]
|[[user:E.f.suvorov|Егор Суворов]]
|Только занятия первой подгруппы
|-
|[https://calendar.google.com/calendar/embed?src=3tpsara51hgvs1lo3l8qdrsp8k%40group.calendar.google.com&ctz=Europe/Moscow II подгруппа Google Calendar]
|[https://calendar.google.com/calendar/ical/3tpsara51hgvs1lo3l8qdrsp8k%40group.calendar.google.com/public/basic.ics II подгруппа iCalendar]
|[[user:A.v.gaydashenko|Настя Гайдашенко]]
|Только занятия второй подгруппы
|-
|[https://calendar.google.com/calendar/embed?src=9o9t9lk5c9rspj0f9869jbcmbg%40group.calendar.google.com&ctz=Europe/Moscow Сборная солянка Google Calendar]
|[https://calendar.google.com/calendar/ical/9o9t9lk5c9rspj0f9869jbcmbg%40group.calendar.google.com/public/basic.ics Сборная солянка iCalendar]
|[[user:E.f.suvorov|Егор Суворов]]
|Занятия, не вошедшие в предыдущие календари, без указания аудиторий и преподавателей: физкультура, английский язык, время на НИР
|-
|[https://calendar.google.com/calendar/embed?src=c8irlf10tgri925p5rp37oc7v0%40group.calendar.google.com&ctz=Europe/Moscow Английский 1 Google Calendar]
|[https://calendar.google.com/calendar/ical/c8irlf10tgri925p5rp37oc7v0%40group.calendar.google.com/public/basic.ics Английский 1 iCalendar]
|[[user:E.f.suvorov|Егор Суворов]]
|Английский язык, подгруппа 1 (Силинский С.В., ауд. 515)
|}

== Экзамены ==
По непрофильному предмету (экономика) точно будет недифференцированный зачёт.

Экзамены, скорее всего (но точно неизвестно!) будут следующие: дискретная математика, ТФКП, формальные языки и, возможно, теория сложности.

По Java будет зачёт с оценкой, по ОС - зачёт с оценкой с вероятностью 90%.

Дискретная математика 2 2015

2015-09-04T11:25:50Z

D.v.lapshin:

Лектор — Александр Владимирович Омельченко (avo.travel@gmail.com)

Практика — Александр Анатольевич Кноп (aaknop@gmail.com), Алексей Валерьевич Пышкин (aapyshkin@gmail.com)

== Кноп ==
Всё тама: [http://logic.pdmi.ras.ru/~knop/au/bachelors/combinatorics/2015/ тык].

SE Wiki

2015-09-02T13:21:11Z

D.v.lapshin: /* Учебная информация */

== Учебная информация ==

=== 1 курс ===

=== 2 курс ===
1. [[Java_autumn2015|Java]]

=== 5 курс ===

=== 6 курс ===

=== DevDays autumn 2015 ===
* [[Идеи на Devdays]]
* [[Странички проектов]]

== Всякая информация ==

На четвёртом этаже в комнате отдыха в шкафах у входа (снизу) лежит куча пилотов.

Открытые исходящие порты в WirelessForAll: 22, 25, 80, 110, 443, 465, 993, 4244, 5190, 5222, 5242

== Дни разработчика ==
* [[Devdays2h2012| Дни разработчика (Осень 2012)]]
* [[Devdays1h2013| Дни разработчика (Весна 2013)]]
* [[devdays_fall_2013| Дни разработчика (Осень 2013)]]
* [[devdays_spring_2014| Дни разработчика (Весна 2014)]]
* [[ prpojects_fall_2013|Странички проектов (Осень 2013)]]
* [[ prpojects_spring_2014|Страничка проектов (Весна 2014)]]
* [[devdays_fall_2014|Дни разработчика (Осень 2014)]]
* [[projects_fall_2014|Страничка проектов (Осень 2014)]]
* [[devdays_spring_2015|Дни разработчика (Весна 2015)]]

== Архив за прошлые семестры ==
* [[Весна_2015|Весенний семестр 2015]]
* [[Осень_2014|Осенний семестр 2014]]
* [[Весна_2014|Весенний семестр 2014]]
* [[Осень_2013|Осенний семестр 2013]]
* [[Весна_2013|Весенний семестр 2013]]
* [[Осень_2012|Осенний семестр 2012]]
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]

== Практики ==
* [[НИР_5SE_осень_2014|Темы практик, осень 2014-го года]]
* [[НИР_5SE_весна_2014|Темы практик, весна 2014-го года]]
* [[НИР_5SE_осень_2013|Темы практик, осень 2013-го года]]
* [[НИР_5SE_весна_2013|Темы практик, весна 2013-го года]]
* [[НИР 5SE осень 2012|Темы практик, осень 2012-го года]]
* [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dG9CRFdGa2tLeV9ab1l1QWlkOFp3bFE&output=html Темы практик, лето 2012-го года]
* [[Темы практик, 5SE, осень 2011-го года | Темы практик, осень 2011-го года]]
* [[Темы практик |Темы практик, весна 2011-го года]]

== Студенты ==
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]
* [[2013|Набор 2013-го года]]
* [[2014|Набор 2014-го года]]

== Важные ссылки ==

== Дополнительно ==
* [[Q&A]]
* [[Мероприятия]]

SE Wiki

2015-09-02T13:20:47Z

D.v.lapshin: /* 1 курс */

== Учебная информация ==

=== 1 курс ===
1. [[Java_autumn2015|Java]]

=== 2 курс ===

=== 5 курс ===

=== 6 курс ===

=== DevDays autumn 2015 ===
* [[Идеи на Devdays]]
* [[Странички проектов]]

== Всякая информация ==

На четвёртом этаже в комнате отдыха в шкафах у входа (снизу) лежит куча пилотов.

Открытые исходящие порты в WirelessForAll: 22, 25, 80, 110, 443, 465, 993, 4244, 5190, 5222, 5242

== Дни разработчика ==
* [[Devdays2h2012| Дни разработчика (Осень 2012)]]
* [[Devdays1h2013| Дни разработчика (Весна 2013)]]
* [[devdays_fall_2013| Дни разработчика (Осень 2013)]]
* [[devdays_spring_2014| Дни разработчика (Весна 2014)]]
* [[ prpojects_fall_2013|Странички проектов (Осень 2013)]]
* [[ prpojects_spring_2014|Страничка проектов (Весна 2014)]]
* [[devdays_fall_2014|Дни разработчика (Осень 2014)]]
* [[projects_fall_2014|Страничка проектов (Осень 2014)]]
* [[devdays_spring_2015|Дни разработчика (Весна 2015)]]

== Архив за прошлые семестры ==
* [[Весна_2015|Весенний семестр 2015]]
* [[Осень_2014|Осенний семестр 2014]]
* [[Весна_2014|Весенний семестр 2014]]
* [[Осень_2013|Осенний семестр 2013]]
* [[Весна_2013|Весенний семестр 2013]]
* [[Осень_2012|Осенний семестр 2012]]
* [[Весна_2012|Весенний семестр 2012]]
* [[Осень_2011|Осенний семестр 2011]]

== Практики ==
* [[НИР_5SE_осень_2014|Темы практик, осень 2014-го года]]
* [[НИР_5SE_весна_2014|Темы практик, весна 2014-го года]]
* [[НИР_5SE_осень_2013|Темы практик, осень 2013-го года]]
* [[НИР_5SE_весна_2013|Темы практик, весна 2013-го года]]
* [[НИР 5SE осень 2012|Темы практик, осень 2012-го года]]
* [https://docs.google.com/spreadsheet/pub?key=0Aif17q2hwUt4dG9CRFdGa2tLeV9ab1l1QWlkOFp3bFE&output=html Темы практик, лето 2012-го года]
* [[Темы практик, 5SE, осень 2011-го года | Темы практик, осень 2011-го года]]
* [[Темы практик |Темы практик, весна 2011-го года]]

== Студенты ==
* [[2010|Набор 2010-го года]]
* [[2011|Набор 2011-го года]]
* [[2012|Набор 2012-го года]]
* [[2013|Набор 2013-го года]]
* [[2014|Набор 2014-го года]]

== Важные ссылки ==

== Дополнительно ==
* [[Q&A]]
* [[Мероприятия]]

Участник:D.v.lapshin

2014-09-19T17:58:06Z

D.v.lapshin:

== Контакты ==

* Зовут меня Лапшин Дмитрий
* LDVSOFT и Элегантный Бумеранг --- я же.
* E-mail: [mailto:lapshin.dv@mail.ru|lapshin.dv@mail.ru]
* Телефон: [tel:+7(921)569-81-08|+7 (921) 569-81-08]
** Telegram
** Viber
* ВК: [http://vk.com/elegantboomerang]

Участник:D.v.lapshin

2014-09-13T17:11:03Z

D.v.lapshin:

Участник:D.v.lapshin

2014-09-04T19:01:08Z

D.v.lapshin: /* Лапшин Дмитрий Владимирович */

== Лапшин Дмитрий Владимирович ==
e-mail: lapshin.dv@mail.ru
Телефон: +7(921)569-81-08

Участник:D.v.lapshin

2014-09-04T19:00:33Z

D.v.lapshin: Новая страница: «=== Лапшин Дмитрий Владимирович === e-mail: [mailto://lapshin.dv@mail.ru] Телефон: [tel://+7(921)569-81-08]»

=== Лапшин Дмитрий Владимирович ===
e-mail: [mailto://lapshin.dv@mail.ru]
Телефон: [tel://+7(921)569-81-08]