- •Алфавит
- •Формальные грамматики.Способы задания языка
- •Преобразование видов грамматики и ее построение
- •Состав формальной грамматики. Примеры
- •Цепочка символов.Операции над цепочками
- •Задание языка
- •Форма бэкуса – наура. Принцип рекурсии
- •1.Введение в прикладное дискретное программирование: модели и вычислительные алгоритмы: Учеб. Пособие / и. Х. Сигал, а. П. Иванова. - 2-е изд., испр. И доп. - м.: физматлит, 2007. - 304 с.
- •2. Введение в теорию алгоритмических языков и компиляторов: учеб. Пособие / л.Г. Гагарина, е.В. Кокорева. - м.: ид форум, 2011.
- •8. Занимательная математика. Множества и отношения / в. В. Дунаев. - сПб.: бхв-Петербург, 2008.
- •12. Курс классической математики в примерах и задачах. В 3-х томах. Том 1 / в. С. Герасимчук, г. С. Васильченко, в. И. Кравцов. - м. : физматлит, 2007. - 672 с.
- •15. Математика и информатика: Учебное пособие / в.Б. Уткин, к.В. Балдин, а.В. Рукосуев. - 4-e изд. - м.: Дашков и к, 2011. - 472 с.:
- •18. Моделирование в интегративном проекте по математике и информатике. Элективный курс : учебное пособие / п. И. Совертков, а. Г. Назин. - Эл. Изд. - м.: бином. Лаборатория знаний, 2012. - 296 с.:
- •19. Новые главы теории управления и компьютерных вычислений. Петров ю. П.-сПб.: бхв-Петербург, 2004. — 192 с.
- •22. Программирование на языках высокого уровня: Учебное пособие / о.Л. Голицына, и.И. Попов. - м.: Форум, 2008.
- •23. Современная логика. Анисов а.М. – м., 2002. – 274 с.
- •27. Труды по дискретной математике. Т. 11, вып. 2 / в. Н. Сачков, а. М. Зубков. - м. : физматлит, 2008. - 208 с.
27. Труды по дискретной математике. Т. 11, вып. 2 / в. Н. Сачков, а. М. Зубков. - м. : физматлит, 2008. - 208 с.
Настоящий сборник продолжает серию «Труды по дискретной математике» и является приложением к журналу «Дискретная математика». В течение года выпускается один том, который начиная с 2008 года состоит из двух выпусков. Второй выпуск настоящего тома содержит 10 статей, посвященных различным вопросам дискретной математики, представляющим интерес для интенсивно развивающейся в последние десятилетия теоретической криптографии: свойствам дискретных алгебраических структур, системам случайных уравнений над конечными полями, свойствам различных комбинаторных объектов и т. п. Материалы сборника представляют интерес для специалистов, занимающихся различными вопросами дискретной математики и теоретической криптографии.
28. Формальная грамматика и интенсиональная логика . Герасимова И.А - М., 2000. - 156 с.
Стратегия, предложенная американским логиком Ричардом Монтегю, используется для построения формальных гpaмматик русского языка. Дается систематическое изложение метода. Строится полимодальная интенсиональная логика, приспособленная для представления модальных и зпистемических контекстов русского языка. Дан анализ проблемы семантического статуса музыкальноrо события. Книга предназначается для логиков, лингвистов, математиков, программистов.
29. Язык с позиций философии, психологии, математики: учеб. пособие / М. К. Тимофеева. - 2-е изд., стер. - М.: ФЛИНТА, 2013.
Учебное пособие содержит базовые сведения, необходимые для междисциплинарных исследований языка, проводимых на стыке лингвистики с философией, психологией, математикой. Рассматривается вклад философии, психологии, математики в познание природы языка, специфика их целей и интересов, особенности терминологии. Предназначено для студентов филологов, а также для тех, кто интересуется проблемами междисциплинарных исследований языка.
30. Языки программирования. Концепции и принципы / В. Ш. Кауфман. - М.: ДМК Пресс, 2010. - 464 с.:
Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках программирования. Представлены разные стили программирования (операционный, ситуационный, функциональный, реляционный, параллельный, объектно-ориентированный). Базовые концепции и принципы рассмотрены с пяти различных позиций (технологической, авторской, математической, семиотической и реализаторской) и проиллюстрированы примерами из таких языков, как Паскаль, Симула-67, Смолток, Рефал, Ада, Модула-2, Оберон, Оккам-2, Турбо Паскаль, С++ и др. Сложность выделена как основополагающая проблема программирования, а абстракция-конкретизация и прогнозирование-контроль – как основные ортогональные методы борьбы со сложностью. На этой общей базе в книге впервые представлена цельная система концепций и принципов, создающая четкие ориентиры в области языков программирования. На основе этой системы сформулированы оригинальные положения, указывающие перспективы развития в этой области (модули исключительных ситуаций, модули управления представлением, и др.). Многие из них в последние годы стали реальностью. Новые подходы применены при изложении известных фактов (пошаговая модификация нормальных алгоритмов Маркова сначала до Рефала, а затем до реляционных языков, сопоставление принципов «сундука» и «чемоданчика» при создании Ады, Модулы-2 и Оберона, развитие концепции наследуемости от модульности до объектной ориентации, систематическое сопоставление концепции параллелизма в Аде и Оккаме-2, и др.). Для всех, серьезно интересующихся программированием, в том числе научных работников, программистов, преподавателей и студентов.
31. http://sp.cs.msu.ru/
Сайт посвящен ВМК МГУ, кафедре системного программирования .На сайте находится информация о преподавателях , сотрудниках, студентах, проектах и научно-исследовательском семинаре
32. http://habrahabr.ru/
Сайт посвящен разработкам на компьютерной основе ,программированию, телекоммуникациям. Здесь можно найти необходимую информацию на самые распространенные темы
33. https://ru.wikipedia.org
Свободная общедоступная мультиязычная универсальная интернет-энциклопедия, Главной особенностью интернет-энциклопедии Википедия (благодаря технологии wiki, лежащей в основе функционирования сайта) является то, что создавать и редактировать её статьи может любой, соблюдающий правила Википедии пользователь сети интернет, причём в абсолютном большинстве случаев даже без регистрации на сайте энциклопедии. Все вносимые такими добровольцами в какую-либо статью этой энциклопедии изменения незамедлительно становятся видными всем посетителям сайта. В декабре 2013 года в заявлении ЮНЕСКО по случаю награждения Джимми Уэйлса, основателя Википедии, Золотой медалью Нильса Бора про Википедию было сказано, что она является «символом эпохи взаимодействия, в которую мы живём, и это не просто инструмент, это воплощение мечты, столь же древней, как человеческий интеллект и собрания Александрийской библиотеки»
34. http://ict.edu.ru/
Портал "Информационно-коммуникационные технологии в образовании" входит в систему федеральных образовательных порталов, созданных в рамках федеральной целевой программы "Развитие единой образовательной информационной среды (2001 - 2005 годы)", и нацелен на обеспечение комплексной информационной поддержки образования в области современных информационных и телекоммуникационных технологий, а также деятельности по применению ИКТ в сфере образования. Портал предназначен для организации оперативного доступа к информационным ресурсам учебного, учебно-методического, справочного и информационного назначения, размещенных как на самом портале, так и на других порталах и сайтах с помощью создания веб-интерфейсов, системы поиска и навигации, баз данных.
35. http://neerc.ifmo.ru/wiki/index.php
На сайте представлены конспекты, которые написаны самостоятельно студентами кафедры компьютерных технологий НИУ ИТМО. Некоторые конспекты проверяются преподавателями, они размещены в разделе "Проверяемые конспекты". Это значит, что в целом сделана попытка поддерживать конспекты в адекватном состоянии. Конспекты, которые студенты пишут самостоятельно, размещены в разделе "Непроверяемые конспекты".
36. https://cloudtips.org/
Этот проект задуман в рамках практики EMC для ознакомления с мыслями автора. Проект впоследствии стал сборником различного IT-контента.
37. http://e-maxx.ru/
Главная цель этого ресурса— распространение информации. Информация выложена в свободном доступе и обладает самой различной тематикой,от PDF редактирования вплоть до языков программирования и азах создания алгоритмов.
38. http://www.studfiles.ru/
Данный портал – файловый архив для студентов. Здесь хранятся самые разнообразные файлы ,утилиты ,программы ,конспекты. Имеется сортировка учебных заведений ,а так же файлов ,которые добавляются самими студентами.
39. http://yazykoznanie.ru/
Языкознание.ру - ресурс, созданный для изучающих различные лингвистические дисциплины. Информация, представленная на сайте, имеет, прежде всего, справочный характер. Данная информация может быть полезна не только студентам-лингвистам, но и преподавателям лингвистики.Особенностью данного сайта является структурирование информации не по уровням языка, а по изучаемым дисциплинам на лингвистических специальностях в вузах России. Таким образом, сайт может помочь студентам в подготовке к экзаменам и семинарским занятиям, а также преподавателям, когда нужно быстро ознакомиться с дисциплиной, составить план лекции.
40. http://window.edu.ru/
Главной идее проекта является обеспечение свободного доступа к интегральному каталогу образовательных интернет-ресурсов и к электронной библиотеке учебно-методических материалов для общего и профессионального образования. Информационная система "Единое окно доступа к образовательным ресурсам" создана по заказу Федерального агентства по образованию в 2005-2008 гг. и является результатом выполненных работ по государственным контрактам
41. http://www.slideshare.net/
SlideShare запустили проект с простой целью:чтобы обмениваться знаниями в режиме онлайн. С тех пор, SlideShare превратилось в крупнейшее в мире сообщество для обмена презентациями и другим профессиональным контентом .SlideShare была основана в октябре 2006 года и приобрела LinkedIn в мае 2012 года Это позволяет пользователям легко загружать и обмениваться презентациями: инфографика, документы, видео, PDF-файлы и веб-семинары. В 4 квартале 2013 года, сайт в среднем 60 млн уникальных посетителей в месяц и 215 миллионов просмотров страниц. SlideShare является одним из главных 120 самых посещаемых сайтов в мире.
42. http://www.intuit.ru/
Негосударственное образовательное частное учреждение «Национальный Открытый Университет «ИНТУИТ» - это образовательный проект, главными целями которого являются свободное распространение знаний во Всемирной Сети и предоставление услуг дистанционного обучения.На сайте проекта представлены в открытом и бесплатном доступе несколько сотен учебных курсов по тематикам компьютерных наук, информационных технологий, математике, физике, экономике, менеджменту и другим областям современных знаний.
43. http://logic.pdmi.ras.ru/
Computer Science -клуб создан в Санкт-Петербурге в сентябре 2007 года при поддержке Антона Лиходедова, на сегодняшний день поддержку клубу оказывают Антон Лиходедов и Юрий Богданов Основная цель — предоставить студентам возможность получить образование в области computer science. Лекции читаются местными и приглашёнными преподавателями. Вход на лекции свободный. За время существования клуба его посетило более тысячи студентов различных вузов. В среднем на лекции присутствует около сорока слушателей, среди которых не только студенты, но и аспиранты, выпускники вузов. Наиболее популярные лекции собирают больше ста человек.
44. http://www.edu.ru/
Портал "Российское образование" был создан в 2002 году в рамках проекта "Создание первой очереди системы федеральных образовательных порталов" ФЦП "Развитие единой образовательной информационной среды" (2001-2005 годы) - (ФЦП РЕОИС).
45. http://www.lektorium.tv/
Лекториум - академический образовательный проект, развивающий два направления:1. Медиатека - коллекция видеолекций лучших лекторов России. Все материалы публикуются только по согласованию с лекторами и учебными заведениями. Доступ к библиотеке - свободный и бесплатный.2. MOOC (Massive Online Open Course) - онлайн курсы нового поколения.
