- результаты поиска

Базы данных:

"Руконт"-Национальный цифровой ресурс

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Найдено в других БД:

Электронный каталог МУБиНТ, г. Ярославль (15)

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формальные<.>)
Общее количество найденных документов : 5 Показаны документы с 1 по 5

1..5

    Английский структурный синтаксис (книга) [Текст] / Валерий Александрович Дорошенков. - [Б. м. : б. и.], 2009. - 100 с. ; нет. - Б. ц.
Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint
Кл.слова (ненормированные):
Юнкционные -- модели -- компоненты -- предложения -- синтаксические -- связи -- компонентные -- модели -- предложений -- простые -- и -- сложные -- синтагмы -- субординативные -- синтагмы -- формальные -- признаки -- компонентов -- предложения -- содержательные -- признаки -- компонентов -- предложения.
Аннотация: В практике преподавания синтаксиса в высшем учебном заведении впервые в Российской Федерации в течение многих лет успешно апробируется инновационная методика обучения структурному синтаксису предложения по юнкционным моделям. Моделирование предложений с компонентной системой любой сложности встречено студентами факультета лингвистики с большим энтузиазмом, особенно нравится им раздел пособия для самостоятельной работы. Студенты видят, что узнают нечто новое, не встреченное в школе и понимают, что могут освоить совершенно иное более глубокое понимание английского синтаксиса

Файл:  rucont.ru - 0Перейти: http://rucont.ru/efd/148479?urlId=k/a0hTljSQLIWb6BfQ8RAcxPTG3V7sgge3t0owF0PFJBQdPrEFEF29XSn9kOmk04YlyecrZPYnKHLE6ek2brGg==

Доп.точки доступа:
Дорошенков, Валерий Александрович
Свободных экз. нет
Найти похожие

    Ишакова, Е. Н.
    Теория формальных языков, грамматик и автоматов [Текст] : метод. указания к лаб. практикуму / Е. Н. Ишакова. - Оренбург : ГОУ ОГУ, 2005. - 55 с. - Б. ц.
Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint
Кл.слова (ненормированные):
формальные -- языки -- языки -- программирования -- автоматизированные -- системы

Файл:  rucont.ru - 0Перейти: http://rucont.ru/efd/213062?urlId=TV2m7MFWvrdMCOScqPYE1fIN95YdY5guU4SJE+HFGGAunftgTGhMRgpbTitI7yYjivXVLbPEADleAqRAi5Lhdw==
Свободных экз. нет
Найти похожие

519.7
К 89

Кузьмин, Е. В..
Автоматные счетчиковые машины [Текст] : монография / Е. В. Кузьмин, В. А. Соколов. - Ярославль : ЯрГУ, 2012. - 81 с. ; нет. - ISBN 978-5-8397-0893-8 : Б. ц.
Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint

УДК

519.7

ББК 32.97+22.1

Кл.слова (ненормированные):
автоматные -- счетчиковые -- машины -- математические -- машины -- теоретическая -- информатика -- прикладная -- математика -- машины -- Тьюринга -- двухсчетчиковые -- машины -- однорегистровые -- машины -- языки -- сетей -- Петри -- квазипорядок -- счетчиковые -- машины -- Минского -- модели -- вычислений -- формальные -- языки -- теория -- счетчиковых -- машин -- абстрактные -- математические -- модели
Аннотация: Монография посвящена автоматным счетчиковым машинам и тем формальным языкам, которые способны распознавать/задавать эти абстрактные математические машины. Приведенные здесь результаты представляют интерес как для теории формальных моделей вычислений, так и для теории формальных языков, поскольку автоматные счетчиковые машины (и соответственно их языки) занимают особое положение в иерархии формализмов в границах от конечных автоматов до машин Тьюринга (счетчиковых машин Минского). Свойства автоматных счетчиковых машин изучаются с привлечением теории правильных квазипорядков и теории вполне структурированных систем переходов, которые оказываются полезными для решения задач анализа семантических свойств различных формальных моделей, являющихся более слабыми по вычислительной мощности (выразительной способности), чем машины Тьюринга.

Файл: rucont.ru - 0Перейти: http://rucont.ru/efd/238176?urlId=FL+Wb+tVjRzQUK7ywOO6Dq7ETsB8lDhUWDs9D5KsrxK+d8IpikbA68D5ipxN1Nh6zPVtw8tqq1UQ4ZAljn+/jA==

Доп.точки доступа:
Соколов, В. А.; Яросл. гос. ун-т им. П. Г. Демидова
Свободных экз. нет
Найти похожие

004.4’422(075.8)
И 97

Ишакова, Е. Н..
Теория автоматов и формальных языков [Текст] : метод. указания к выполнению курсовой работы / Е. Н. Ишакова. - Оренбург : ОГУ, 2014. - 63 с. ; нет. - Б. ц.
Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint

УДК

004.4’422(075.8)

ББК 32.973.26-018.1я73

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

Файл: rucont.ru - 0Перейти: http://rucont.ru/efd/293620?urlId=Uaq9+Ofk74VT0GK4peT8oIt1pdhCNlVpxDTiHycn7UP0+B+NLAgWs0eexhprFtM1KKnusK9zbaCevwdDCy0Gbw==

Доп.точки доступа:
Оренбургский гос. ун- т
Свободных экз. нет
Найти похожие

    Институциональная экономика: практикум [Текст] / Татьяна Валентиновна Дьяченко. - [Б. м. : б. и.], 2014. - 93 с. ; нет. - Б. ц.
Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint
Кл.слова (ненормированные):
Актор -- Бюрократия -- Вертикальная -- интеграция -- Внешние -- эффекты -- Вывод -- активов -- Гибридные -- соглашения -- Горизонтальная -- интеграция -- Государство -- Демократия -- Институт -- Институционализм -- Институциональная -- ловушка -- Институциональное -- равновесие -- Институциональные -- соглашения -- Институциональная -- среда -- Институциональное -- изменение -- Капитализм -- Классический -- контракт -- Коммунальная -- собственность -- Контракт -- Легитимность -- Методологический -- индивидуализм -- Модель -- принципала -- и -- агента -- Моральный -- риск -- Неоинституционализм -- Неоклассический -- контракт -- Неполный -- контракт -- Неформальные -- институты -- Норма -- Общественные -- блага -- Ограниченная -- рациональность -- Оппортунистическое -- поведение -- Организация -- Отношенческий -- контракт -- Полный -- контакт -- Потребительский -- внешний -- эффект -- Права -- собственности -- Правило -- Проблема -- безбилетника -- Рассеянная -- компания -- Рациональность -- Рекомбинированная -- собственность -- Рутины -- Рынок -- Сетевой -- рынок -- Сеть -- Собственность -- инсайдеров -- (аутсайдеров) -- Социальный -- капитал -- Социальный -- контракт -- Специфический -- актив -- Старый -- Стимулы -- Теорема -- Коуза -- Теория -- общественного -- выбора -- Технологический -- внешний -- эффект -- Трансакционные -- издержки -- Трансакционный -- сектор -- Трансакция -- Трансформационный -- сектор -- Управленческая -- структура -- Фирма -- Формальные -- институты -- Частная -- собственность -- Человек -- экономический -- Экономическая -- ментальность -- Экономическая -- реструктуризация
Аннотация: Практикум содержит разработки по основным темам курса, включающие вопросы для обсуждения, примеры решения типичных задач, задания для закрепления и проверки знаний, тесты, задания для выполнения контрольной работы.

Файл:  rucont.ru - 0Перейти: http://rucont.ru/efd/336181?urlId=BAD2igym1mtbiPDXzopHJrCM4PbanE02fN+tWdNjd5JXbw6JUeb+RTnewFB4Fgt2jnQqvLZWdaqvb5a9UnrS4w==

Доп.точки доступа:
Дьяченко, Татьяна Валентиновна
Свободных экз. нет
Найти похожие

1..5