Изменения
Перейти к навигации
Перейти к поиску
Строка 1:
Строка 1: − + − + + + + + + + + + − Курс «Теория и реализация языков программирования» (ТРЯП) посвящён изучению теории формальных языков (ТФЯ) и ряду её применений в программировании, из которых основное внимание уделено построению компиляторов. + − == О содержании курса ==+ − Сама теория формальных языков возникла в середине ХХ века, в том числе в связи с изучением возможностей машинного перевода с одного языка на другой, в ходе чего ещё раз была отмечена неоднозначность естественных языков (русского, немецкого, китайского и т.д.) как существенная сложность для решения этой задачи, а заодно сформулированы условия построения формальных языков, с помощью которых можно будет качественно более точно и однозначно обмениваться данными в т.ч. в технических системах. − Такие формальные языки были созданы. Среди них не только множество языков программирования, но и входные языки САПР, метаязыки описания больших данных и т.д. + − ТФЯ изучает две большие задачи:+ − # как породить (описать) всевозможные допустимые цепочки данного формального языка (к примеру, формально правильные программы языка программирования, допустимые цепочки входных данных при тестировании сложной программы, у которой достаточно часто меняются как её коды, так и, возможно, структура обрабатываемых данных, состав правильно построенной СБИС или иной сложной технической системы вплоть до самолёта, правильную молекулу или вещество (ген в молекулярной биологии, лекарственное средство, имеющее заданный набор лечебных воздействий и не имеющее известных отрицательных последствий применения, в т.ч. в различном биохимическом окружении), непротиворечивую систему законодательных актов (на уровне компании, отрасли, государства) и т.д.) − # как распознать цепочки из заданного языка (синтаксически правильные программы для ЭВМ, искомые цепочки для поисковиков программ-обозревателей интернета, программы поддержки секвенирования генома (каждый ген также может быть представлен как цепочка знаков или своего рода слова из допустимого языка Природы для данного вида) и т.д. − == ТРЯП на Физтехе ==+ − Исторически сложилось так, что на ФУПМе студентам предлагают изучать только приложения ТФЯ, связанные с программированием. Задача разработки разновидностей курса, учитывающего познавательные потребности студентов с других факультетов (прежде всего, ФРТК) не ставится, а их возможное участие в изучении курса с получением соответствующих зачётов и экзаменов затруднено (отчасти, возможно, и потому, что предлагавшийся в середине 2000-х в течение пары лет очный вариант курса по выбору для студентов иных факультетов не собирал минимально необходимого числа желающих). − Из других факультетов МФТИ подобный курс ныне читается только на ФИВТ и другой командой преподавателей (требования преподавателей ФУПМа к студентам ФИВТ в деканате последнего показались слишком строги).+ − + − Но количество выделенных для курса часов и общая высокая учебная нагрузка на студентов по сию пору не позволяет это осуществить. В тоже время для интересующихся студентов разработан и доступен разработанный В.А. Серебряковым пакет программ к курсу ТРЯП на Java (ссылка ниже).+ − === Основатели и первые преподаватели ===+ − Курс был создан среди первых факультетских курсов после образования ФУПМа руководителем лаборатории программирования (позже – одного из отделов) ВЦ АН СССР к.ф.-м.н. Владимиром Михайловичем Курочкином [1926-1999], под руководством которого были созданы компиляторы с языка «Алгол» для отечественных БЭСМ-2 и БЭСМ-6, языка «Алгамс» и проведён целый ряд других разработок в этой области, многие из которых широко и успешно использовались в нашей стране. − Среди первых преподавателей курса, известных также как авторы первого учебного пособия по ТРЯП, вышедшего в МФТИ в 1973 г. (2-е изд. – 1978 г.), проф. [[Столяров Лев Николаевич|Л.Н. Столяров]], доц. Б.Г. Сушков и чл.-корр. РАН [[Флёров Юрий Арсениевич|Ю.А. Флёров]].+ − Лекции по курсу до конца 1990-х годов читал сам В.М. Курочкин. В начале 2000-х его преемником стал ученик Владимира Михайловича проф. В.А. Серебряков.+ + + + + + + + + − + − Возникшая в середине прошлого века наука в соответствии с новыми потребностями и возможностями вычислительных техники и технологий продолжала развиваться и дальше. Это отражалось и на содержании читаемых разделов, явилось одной из причин подготовки и выпуска нового учебного пособия по ТРЯП (автор - В.А. Серебряков и др.) в 2003 г., весьма заметно отличающегося по программе от учебных пособий 1970-х годов. − За прошедшие со времени 2-го издания этого пособия (2006 г.) годы, в том числе и под влиянием знакомства с переведёнными в начале 2000-х новыми зарубежными пособиями по близким курсам, изучения представленных в сети новых научных трудов по данному направлению и опыта преподавания по новой программе, у команды преподавателей собрался материал для дальнейшего пополнения состава изучаемых алгоритмов. В связи в том числе с тем, что с начала 2000-х годов курс (в связи с уплотнением учебного графика) из годового стал семестровым, некоторые традиционные разделы курса при этом стали изучаться менее подробно, а какие-то (включая традиционные в течение многих десятилетий с основания курса НС-грамматики) вообще исключены из семестровых контрольных и экзаменов.+ + − Также это привело и к тому, что не все разделы читаемого в настоящее время лекционного курса отражены в пособии В.А. Серебрякова и соавт. Размещение конспектов по некоторым дополнениям курса в сети см. ниже.+ − == См. также ==+ − === Первые преподаватели курса === − * [https://ru.wikipedia.org/wiki/Курочкин,_Владимир_Михайлович_(учёный) В.М. Курочкин] (о нём и его научных трудах) в Википедии − * [https://ru.wikipedia.org/wiki/Сушков,_Борис_Григорьевич Б.Г. Сушков] (о нём и его научных трудах) в Википедии − === Книги и учебные пособия в сети ===+ − * ''Курочкин В. М., Столяров Л. Н., Сушков Б. Г., Флёров Ю. А.'' [http://trpl7.ru/t-books/guides.htm Теория и реализация языков программирования: Курс лекций] М., МФТИ, 1973. (2-е изд., 1978 г.) – электр. версия в сети с разреш. авторов.+ − * ''Серебряков В.А., Галочкин М.П., Гончар Д.Р., Фуругян М.Г.'' [http://trpl7.ru/t-books/_TRYAPBOOK_pdf.pdf Теория и реализация языков программирования: учеб. пос.] М., МЗ-Пресс, 2003. (2-е изд., 2006 г.) – электр. версия в сети с разреш. авторов. − * ''Мартыненко Б.К.'' [http://trpl7.ru/t-books/Martin/Martinenko_FLT_Cont.htm Языки и трансляции: учеб. пос.] СПб.ГУ, 2002 г. (ранее было разм. на странице автора на портале СПб.ГУ). − * ''Шень А. Х.'' [https://www.mccme.ru/free-books/shen/shen-progbook.pdf Программирование: теоремы и задачи]. М.: МЦНМО, 2004. (разм. на портале МЦНМО с разр. автора) – здесь можно посмотреть алгоритм Кнута-Морриса-Пратта. − * [http://www.mou.mipt.ru/fund.html Задание, программа и учеб. пос. по курсу ТРЯП] на портале каф. МОУ. − * [http://www.rubtsov.su/fl_course18/index Материалы по ТРЯП] преп. курса [[Рубцов Александр Александрович|А.А. Рубцова]] − * [http://trpl7.ru/t-books/RegExpr_Aho_Ullman.pdf Уравнения с регулярными коэффициентами] (консп. из Ахо-Ульмана, 4 с.) − * [http://trpl7.ru/Conspectus/MyHill-Nerode_theorem.pdf Теорема Майхилла-Нероуда (необх. и дост. условие регулярности языка)] консп. лекции проф. В.А. Серебрякова (2018 г.). − * [http://trpl7.ru/AutoLang.htm Пакет программ к курсу ТРЯП] (В.А. Серебрякова) – пробный выпуск. − === В библиотеке МФТИ ===+ − * ''Ахо А., Сети Р., Ульман Дж.'' Компиляторы. Принципы, технологии, инструменты. М., СПб., Киев: Вильямс, 2001. (10 шт.) − * ''Хопкрофт Дж., Мотвани Р., Ульман Дж.'' Введение в теорию автоматов, языков и вычислений. М.: Вильямс, 2002. (16 шт.) − * ''Ахо А., Лам М., Сети Р., Ульман Дж.'' Компиляторы. Принципы, технологии и инструментарий. М., СПб., Киев: Вильямс, 2011. 1184 c. (добавлен большой раздел о параллельных методах компиляции – для семестрового курса на 2-м году обучения мало актуально, а вес большой). − + + + + + + + + + + + + + + + + + + + + + + +
Факультет аэрофизики и космических исследований (посмотреть исходный код)
Версия от 16:32, 19 ноября 2016
, 16:32, 19 ноября 2016нет описания правки
{{Предмет
{{Факультет
|Читается на кафедрах=Кафедра математических основ управления
|Краткое название=ФАКИ МФТИ
|Номер=3
|Логотип=Факультет Аэрофизики и Космических Исследований.jpeg
|Декан=Негодяев Сергей Серафимович
|Зам. декана=Щелик Герман Сергеевич, Копнин Сергей Игоревич, Автайкин Сергей Владимирович
|Год основания=1951
|Год реформирования=1965
|Сайт=http://mipt.ru/dasr/
|ВКонтакт=http://vk.com/faki_mipt
}}
}}
ФАКИ — центр подготовки кадров в области изучения космоса, один из первых факультетов Физтеха (утверждён приказом министра высшего образования СССР Всеволода Николаевича Столетова № 477 от 01.10.1951 об образовании Физтеха). Идея создания принадлежала одному из основателей Физтеха, Герою Социалистического Труда, академику [[Христианович Сергей Алексеевич|Сергею Алексеевичу Христиановичу]].
В 1965 году факультет, изначально называвшийся аэромеханическим («аэромехом»), переименовали в ФАМП (факультет аэрофизики и механики полёта). На нём было 12 студенческих групп, но возникли трудности качественной подготовки специалистов разного профиля. На базе ФАМП был создан [[ФАЛТ]] ([[факультет аэромеханики и летательной техники]]) в городе Жуковском Московской области. Все специальности, связанные с самолётостроением, летательными аппаратами, исследованиями в области аэродинамики, были переданы на молодой факультет. В эти же годы из авиационной промышленности выделилась ракетно-космическая промышленность — Министерство общего машиностроения (МОМ). В связи с увеличением числа направлений факультет переименовали в ФАПМ (факультет аэрофизики и прикладной математики).
Спустя четыре года, в 1969 году, появился [[ФУПМ]] ([[факультет управления и прикладной математики]]), ему были переданы часть дисциплин, связанных с математикой, а ФАПМ, в свою очередь, был переименован в ФАКИ (факультет аэрофизики и космических исследований) с учётом новых перспектив развития.
После «перестройки» декан ФАКИ [[Ткаченко Борис Константинович|Борис Константинович Ткаченко]] смог экономически укрепить факультет, оказал поддержку кафедрам и задал новый вектор развития. Коренным образом был перестроен учебный план факультета. Борис Константинович особое внимание уделял факультетскому циклу образования, с этой целью были введены курсы прикладной информатики, компьютерных технологий, дискретного анализа.
Программа факультетского цикла уточнялась в соответствии с потребностями базовых кафедр и отдельных заказчиков, выпускников. Большая работа проводилась по совершенствованию учебной базы факультета.
В 2008 году возрос интерес ряда базовых организаций к целевому набору абитуриентов. Исследовательский Центр им. М. В. Келдыша и ФГУП ЦНИИМаш провели целевой набор и оплатили обучение 15 студентов. Развивается специализация «Нефтяной инжиниринг» в интересах компаний «Шлюмберже» и «Роснефть». Тематика дипломных работ физтехов в этих компаниях связана с плановыми исследовательскими работами.
В предисловии к своей известной книге А. Ахо и Дж. Ульман<ref>А. Ахо, Дж. Ульман «Теория синтаксического анализа, перевода и компиляции». Т. 1. пер. с англ. под ред. В.М. Курочкина. М.: Мир, 1978. С. 9</ref> писали «Чтение курса по этой книге рекомендуется сопровождать лабораторными работами по программированию, в ходе которых должны быть спроектированы и реализованы какие-то части компилятора. В конце некоторых разделов книги приведены упражнения на программирование, которые можно использовать в этих лабораторных работах».
В том же году был выигран конкурс ведущей научной школы РФ «Физика, кинетика, гидродинамика и турбулентность низкотемпературной плазмы», руководитель школы член-корреспондент РАН, Заслуженный деятель науки РФ, профессор [[Сон Эдуард Евгеньевич|Эдуард Евгеньевич Сон]]. Выигран грант Европейского космического агентства по плазменной аэродинамике. Выполнена работа по Федеральной целевой программе «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007—2012 годы».
В 2008 году за счёт средств по грантам и проектам лаборатории были оснащены современным оборудованием, а 16-процессорный вычислительный комплекс кафедры — новым программным обеспечением.
Ежегодно ФАКИ выпускает около 70-80 студентов, из них около 30 человек продолжают работать по специальности.
== Руководители факультета ==
# [[Симонов Лев Алексеевич]], профессор;
# [[Моисеев Никита Николаевич]], академик;
# [[Юргенс Владимир Федорович]], профессор;
# [[Жемчужин Николай Алексеевич]], генерал-майор авиации;
# [[Артамонов Константин Иванович]], профессор;
# [[Ноздрин Владимир Иванович]], полковник, доцент;
# [[Ширко Игорь Владимирович]], профессор, выпускник ФАКИ;
# [[Ткаченко Борис Константинович]], доцент, Заслуженный работник высшей школы, выпускник ФАКИ;
# [[Негодяев Сергей Серафимович]], кандидат технических наук, доцент, выпускник ФАКИ.
== Об особенностях преподавания ==
=== Факультетские кафедры ===
{{#ask:[[Категория:Кафедры по алфавиту]][[Тип кафедры::Факультетская]][[Факультет::{{PAGENAME}}]]|format=ul}}
[[Форма:Кафедра|Добавить...]]
=== Базовые кафедры ===
На ФАКИ представлено 19 базовых кафедр.
{{#ask:[[Категория:Кафедры по алфавиту]][[Тип кафедры::Базовая]][[Факультет::{{PAGENAME}}]]|format=ul}}
[[Форма:Кафедра|Добавить...]]
На кафедрах работают [[Академик|академики]] [[Российская академия наук|РАН]] [[Анфимов Николай Аполлонович|Н. А. Анфимов]], [[Голицын Георгий Сергеевич|Г. С. Голицын]], [[Климов Дмитрий Михайлович|Д. М. Климов]], [[Коротеев Анатолий Сазонович|А. С. Коротеев]], [[Черноусько Феликс Леонидович|Ф. Л. Черноусько]], [[Адушкин Виталий Васильевич|В. В. Адушкин]], [[Горячева Ирина Георгиевна|И. Г. Горячева]], [[Журавлев Виктор Филиппович|В. Ф. Журавлев]], [[Легостаев Виктор Павлович|В. П. Легостаев]], [[Е. А. Микрин]], [[Ганиев Ривнер Фазылович|Р. Ф. Ганиев]]; [[Член-корреспондент|члены-корреспонденты]] РАН [[А. С. Холодов]], [[Сон Эдуард Евгеньевич|Э. Е. Сон]], [[Р. А. Ибраев]], [[Мохов Игорь Иванович|И. И. Мохов]], [[Н. Н. Болотник]].
{{Предмет преподают}}
== Общежитие ==
Большинство студентов факультета с первого курса и до конца обучения живут в общежитии № 3, расположенном на территории студенческого городка напротив нового корпуса МФТИ. Все учебные корпуса находятся в пяти минутах ходьбы от общежития.
В общежитии имеются столовая, спортивный зал с тренажерами, клуб «Романтики», в котором проходят разные студенческие мероприятия. Также есть «СТЭМовка» — комната для собраний членов студенческого театра «ЭТО ТьМА». В общежитии есть читальная комната.
В общежитии проживает около 500 студентов и аспирантов. Студенткам предоставлен второй этаж. На каждом студенческом этаже 38 комнат. В большинстве комнат студенты и аспиранты живут по 2 человека, в остальных — по 3 и 4. Последний раз комнаты были укомплектованы новой мебелью в 2007 году .<ref>[http://mipt.ru/students/campus/campus/3ka.html Общежитие № 3]</ref>
== Интересные факты ==
Для того, чтобы произвести впечатление на генералов, [[Лаврентьев Михаил Алексеевич|Михаил Алексеевич Лаврентьев]] придумал такую демонстрацию. В тонкую картонную коробку насыпается много мокрой земли. Если коробку поднять, она рвётся. Но если под неё и вокруг насыпать слой взрывчатки определённой толщины, то взрывом легко перенести коробку на приличное расстояние.
Эффект генералов потряс, финансирование работ было обеспечено.<ref>''Щука А. А.'' Физтех и физтехи, издание 5-е, перераб. и доп. — М.: Физматкнига, 2012. С. 174—194. ISBN 978-5-89155-217-3</ref>.
== Выпускники ФАКИ — преподаватели МФТИ ==
<div style="-moz-column-count:3; column-count:3; -webkit-column-count:3">
{{#ask:[[Категория:Преподаватели по алфавиту]][[Альма-матер::{{PAGENAME}}]]|limit=100|format=ul}}
</div>
[[Форма:Преподаватель|Добавить...]]
== Примечания ==
{{примечания}}
== Литература ==
* ''Щука А. А.'' Физтех и физтехи, издание 3-е, перераб. и доп. — М.: «Физтех-полиграф», 2010. ISBN 978-5-91333-009-3.
* ''Щука А. А.'' Физтех и физтехи, издание 5-е, перераб. и доп. — М.: Физматкнига, 2012. С. 174—194. ISBN 978-5-89155-217-3.
* [http://mipt.ru/dasr/upload/207/zanauku_spec-arpezzx2yjt.pdf Журнал ''«За Науку»''. Спецвыпуск, Март, 2007].
{{комментарии}}
{{комментарии}}