http://mit.spbau.ru/sewiki/api.php?action=feedcontributions&feedformat=atom&user=U.n.kravchenko 2026-05-11T02:59:17Z Вклад участника MediaWiki 1.26.2 http://mit.spbau.ru/sewiki/index.php?title=%D0%A1%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0_%D1%8F%D0%B7%D1%8B%D0%BA%D0%BE%D0%B2_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F,_3_%D0%BA%D1%83%D1%80%D1%81,_6_%D1%81%D0%B5%D0%BC%D0%B5%D1%81%D1%82%D1%80_2016/17&diff=10711 2017-03-17T13:35:04Z

<p>U.n.kravchenko: /* Материалы к курсу */</p> <hr /> <div>Преподаватель -- Булычев Дмитрий Юрьевич<br /> <br /> == Лекции ==<br /> <br /> <br /> == Практика ==<br /> <br /> <br /> == Материалы к курсу ==<br /> <br /> 1. Интерпретатор + описание семантики: http://oops.math.spbu.ru/plm/L.html<br /> <br /> 2. Описание на Coq с недоказанными леммами для самостоятельной работы (будет<br /> пополняться): https://github.com/dboulytchev/coq-supplementary</div>

U.n.kravchenko http://mit.spbau.ru/sewiki/index.php?title=%D0%A1%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0_%D1%8F%D0%B7%D1%8B%D0%BA%D0%BE%D0%B2_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F,_3_%D0%BA%D1%83%D1%80%D1%81,_6_%D1%81%D0%B5%D0%BC%D0%B5%D1%81%D1%82%D1%80_2016/17&diff=10710 2017-03-17T13:34:57Z

<p>U.n.kravchenko: </p> <hr /> <div>Преподаватель -- Булычев Дмитрий Юрьевич<br /> <br /> == Лекции ==<br /> <br /> <br /> == Практика ==<br /> <br /> <br /> == Материалы к курсу ==</div>

U.n.kravchenko http://mit.spbau.ru/sewiki/index.php?title=Java_2_2015&diff=6420 2015-09-18T07:11:06Z

<p>U.n.kravchenko: /* Проекты */</p> <hr /> <div>Лектор — Антон Михайлович Кузнецов (&lt;b&gt;anton.m.kuznetsov@gmail.com&lt;/b&gt;)<br /> <br /> Практика — Денис Сергеевич Жарков (&lt;b&gt;denis.zharkov@jetbrains.com&lt;/b&gt;), Николай Вадимович Обедин (&lt;b&gt;nikolay.obedin@jetbrains.com&lt;/b&gt;)<br /> <br /> == Лекции ==<br /> <br /> :[[Медиа:Java_B_2015_01-1.pdf|Лекция 01 (часть 1)]]<br /> :[[Медиа:Java_B_2015_01-2.pdf|Лекция 01 (часть 2)]]<br /> :[[Медиа:Java_B_2015_02-1.pdf|Лекция 02 (часть 1)]]<br /> :[[Медиа:Java_B_2015_02-2.pdf|Лекция 02 (часть 2)]]<br /> :[[Медиа:Java2014 05 Examples.zip|Лекция 02 (примеры)]]<br /> <br /> == Проекты ==<br /> <br /> #Юрий Кравченко, Надежда Бугакова - контроллер для ПК с помощью android устройства<br /> #Настя Гайдашенко, Саша Малышева - игра &quot;гонки&quot; с акселерометром<br /> #Старкова Анастасия - финансовый помощник<br /> #Дмитрий Лапшин - Война Вирусов<br /> #Глеб Валин - Тайное послание<br /> #Лиза Третьякова, Черникова Оля - календарь<br /> #Дима Кравченко, Розплохас Дмитрий - расписание<br /> #Подгузов Никита - приложение для прохождения квестов по городу<br /> #Беляев Стас - Feed-агрегатор<br /> <br /> == Домашние задания ==<br /> <br /> [https://github.com/java-course-au/assignments/blob/master/README.mkdn Общая информация]<br /> <br /> ; StringSet (до 23.09)<br /> : [https://github.com/java-course-au/assignments/tree/01-serializable-string-set Ссылка на ветку репозитория]<br /> UPDATE: Строки состоят из только из заглавных и прописных букв латинского алфавита =&gt; сложные структуры данных (вроде HashMap/TreeMap) использовать нельзя<br /> <br /> == Практики (Николай Обедин) ==<br /> <br /> ; 2015-09-02<br /> : [[Медиа:java-practice-obedin-2015-09-02.pdf|Слайды]]<br /> : [https://github.com/dancingrobot84/java-practice-2015/tree/master/2015-09-02 Примеры с практики]<br /> : [http://rosettacode.org/wiki/Category:Java Примеры кода на Java c Rosetta Code]<br /> <br /> ; 2015-09-16<br /> : [[Медиа:java-practice-2015-09-16.pdf|Слайды]]<br /> <br /> == Практики (Денис Жарков) ==<br /> <br /> : [https://github.com/openjdk-mirror/jdk/tree/jdk7/jdk7/master/src/share/classes/java Исходники стандартной библиотеки, как пример &lt;&lt;правильного&gt;&gt; кода]<br /> <br /> ; 2015-09-16<br /> : [[Медиа:Java-16-09-2015.pdf|Слайды]]</div>

U.n.kravchenko http://mit.spbau.ru/sewiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:U.n.kravchenko&diff=4216 2014-10-09T06:22:38Z

<p>U.n.kravchenko: Новая страница: «krav4enkoyura@yandex.ru +79214487043»</p> <hr /> <div>krav4enkoyura@yandex.ru +79214487043</div>

U.n.kravchenko