| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


ЭБС "РУКОНТ" - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :5
 В других БД по вашему запросу найдено:Электронный каталог (4)ЭБС "ЛАНЬ" (1)ЭБС "IPRBOOKS" (10)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (21)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=519.7<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.

Вид документа : Однотомное издание
Шифр издания : 519.7/К 89
Автор(ы) : Кузьмин, Е. В.,
Заглавие : Счетчиковые машины : учеб. пособие/ Е. В. Кузьмин
Выходные данные : Ярославль: ЯрГУ, 2010
Колич.характеристики :128 с.: нет
Примечания : Рис. 33. Библиогр.: 32 назв.
ISBN, Цена 978-5-8397-0732-0: Б.ц.
УДК : 519.7
ББК : 32.97я73+22.1я73
Ключевые слова (''Своб.индексиров.''): счетчиковые машины--теория счетчиковых машин--абстрактные математические модели--теоретическая информатика--прикладная математика--модели вычислений
Аннотация: Посвящено теории счетчиковых машин, представляющих собой абстрактные математические модели вычислений. Затрагивает интересные факты из теорий вычислимости и сетей Петри, не вошедшие в известные классические монографии. Основное внимание уделяется счетчиковым машинам «малой размерности», т.е. машинам, содержащим один, два или три счетчика. Наибольший интерес представляют занимающие центральное положение в этом пособии результаты исследований Р. Шреппеля о «чистой» вычислительной способности двухсчетчиковых машин Минского и результаты Дж. Хопкрофта и Ж.-Ж. Пансио о полулинейности множества достижимости двумерных систем векторного сложения с состояниями.
Полный текст/внешний ресурс   скачать: rucont.ru 
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 519.7/К 89
Автор(ы) : Кузьмин, Е. В., Соколов, В. А.,
Заглавие : Автоматные счетчиковые машины : монография/ Е. В. Кузьмин, В. А. Соколов
Выходные данные : Ярославль: ЯрГУ, 2012
Колич.характеристики :81 с.: нет
Примечания : Рис. 50. Библиогр.: 40 назв.
ISBN, Цена 978-5-8397-0893-8: Б.ц.
УДК : 519.7
ББК : 32.97+22.1
Ключевые слова (''Своб.индексиров.''): автоматные счетчиковые машины--математические машины--теоретическая информатика--прикладная математика--машины тьюринга--двухсчетчиковые машины--однорегистровые машины--языки сетей петри--квазипорядок--счетчиковые машины минского--модели вычислений--формальные языки--теория счетчиковых машин--абстрактные математические модели
Аннотация: Монография посвящена автоматным счетчиковым машинам и тем формальным языкам, которые способны распознавать/задавать эти абстрактные математические машины. Приведенные здесь результаты представляют интерес как для теории формальных моделей вычислений, так и для теории формальных языков, поскольку автоматные счетчиковые машины (и соответственно их языки) занимают особое положение в иерархии формализмов в границах от конечных автоматов до машин Тьюринга (счетчиковых машин Минского). Свойства автоматных счетчиковых машин изучаются с привлечением теории правильных квазипорядков и теории вполне структурированных систем переходов, которые оказываются полезными для решения задач анализа семантических свойств различных формальных моделей, являющихся более слабыми по вычислительной мощности (выразительной способности), чем машины Тьюринга.
Полный текст/внешний ресурс   скачать: rucont.ru 
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 519.7/М 74
Заглавие : Моделирование химико-технологических процессов : метод. указания по выполнению лаб. работ
Выходные данные : Уфа: УГАЭС, 2007
Колич.характеристики :52 с.: нет
Цена : Б.ц.
УДК : 519.7
ББК : 22.18
Ключевые слова (''Своб.индексиров.''): математическое моделирование--химико-технологические процессы--химическая технология--математические модели
Аннотация: В методических указаниях рассматриваются корреляционный и регрессионный анализ, планирование эксперимента, методы оптимизации процессов: метод крутого восхождения и симплексный метод. Также рассматривается моделирование структуры потоков с помощью ячеечной модели и моделирование кинетики химических реакций. В каждой лабораторной работе приводится краткая теория, порядок выполнения работы и требования к оформлению отчета.
Полный текст/внешний ресурс   скачать: rucont.ru 
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 519.7/М 74
Заглавие : Моделирование химико-технологических процессов : метод. указания по выполнению курсового проекта
Выходные данные : Уфа: УГАЭС, 2007
Колич.характеристики :20 с.: нет
Цена : Б.ц.
УДК : 519.7
ББК : 22.18
Ключевые слова (''Своб.индексиров.''): химическая технология--моделирование процессов--крашение целлюлозы--текстильные материалы--компьютерное моделирование
Аннотация: В методических указаниях рассматриваются основные этапы выполнения курсового проекта по моделированию и оптимизации химико-технологического процесса. Выполнение проекта показано на примере моделирования и оптимизации процесса крашения целлюлозных волокон прямыми красителями. Все расчеты проводятся в программе Excel.
Полный текст/внешний ресурс   скачать: rucont.ru 
Найти похожие

5.

Вид документа : Однотомное издание
Шифр издания : 519.7/М 54
Заглавие : Методы спектрального анализа : метод. указания к лаб. работам
Выходные данные : Казань: КГТУ, 2009
Колич.характеристики :29 с.: нет
Цена : Б.ц.
УДК : 519.7
ББК : 22.18
Ключевые слова (''Своб.индексиров.''): дискретная математика--сигналы--обработка сигналов--теория информации--информатика--кибернетика--математическая кибернетика--обработка изображений--спектральный анализ
Аннотация: Изложен материал по подготовке и проведению лабораторных работ по теме «Методы спектрального анализа». Методические указания предназначены для студентов очной формы обучения специальности 220200, изучающих дисциплину «Цифровые методы анализа».
Полный текст/внешний ресурс   скачать: rucont.ru 
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)