Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 10
Отмеченные записи: 0
1.
Подробнее
Котов, Вадим Евгеньевич.
Теория схем программ / В. Е. Котов, В. К. Сабельфельд. - Москва : Наука, 1991. - 248 c. : ил., схем. - Библиогр. : с. 239-245.. - ISBN 5020139742
Рубрики: программирование--теория
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- алгоритмов теория -- автоматов теория -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Сабельфельд, Виктор Карлович
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Котов, Вадим Евгеньевич.
Теория схем программ / В. Е. Котов, В. К. Сабельфельд. - Москва : Наука, 1991. - 248 c. : ил., схем. - Библиогр. : с. 239-245.. - ISBN 5020139742
| УДК |
Рубрики: программирование--теория
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- алгоритмов теория -- автоматов теория -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Сабельфельд, Виктор Карлович
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
2.
Подробнее
Макоха, Анатолий Николаевич.
Дискретная математика : учебное пособие для бакалавров и магистров / А. Н. Макоха, П. А. Сахнюк, Н. И. Червяков. - Москва : Физматлит, 2005. - 368 с. : ил., табл. - Библиогр. : с. 366-368.. - ISBN 5922106309
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
графов теория -- логические функции -- комбинационные схемы -- конечные автоматы (математика) -- модулярное кодирование -- математическое моделирование -- логические операции -- автоматов теория
Доп.точки доступа:
Сахнюк, Павел Анатольевич
Червяков, Николай Иванович
Экземпляры всего: 6
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (4), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (4), Ч/З о. Русский (1)
Макоха, Анатолий Николаевич.
Дискретная математика : учебное пособие для бакалавров и магистров / А. Н. Макоха, П. А. Сахнюк, Н. И. Червяков. - Москва : Физматлит, 2005. - 368 с. : ил., табл. - Библиогр. : с. 366-368.. - ISBN 5922106309
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
графов теория -- логические функции -- комбинационные схемы -- конечные автоматы (математика) -- модулярное кодирование -- математическое моделирование -- логические операции -- автоматов теория
Доп.точки доступа:
Сахнюк, Павел Анатольевич
Червяков, Николай Иванович
Экземпляры всего: 6
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (4), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (4), Ч/З о. Русский (1)
3.
Подробнее
Галушкина, Юлия Ивановна.
Конспект лекций по дискретной математике с упражнениями и контрольными работами / Ю. И. Галушкина, А. Н. Марьямов. - Москва : Айрис-пресс, 2007. - 174 с. : ил. - (Высшее образование). - Библиогр. : с. 174.. - ISBN 9785811225996
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- булевы функции -- Жегалкина многочлены -- множеств теория -- комбинаторный анализ -- отображения (математика) -- Ньютона бином -- теория графов -- графов теория -- кодирования теория -- автоматов теория -- теория кодирования -- теория автоматов -- теория алгоритмов -- алгоритмов теория -- контрольные работы (дискретная математика)
Доп.точки доступа:
Марьямов, Александр Наумович
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Галушкина, Юлия Ивановна.
Конспект лекций по дискретной математике с упражнениями и контрольными работами / Ю. И. Галушкина, А. Н. Марьямов. - Москва : Айрис-пресс, 2007. - 174 с. : ил. - (Высшее образование). - Библиогр. : с. 174.. - ISBN 9785811225996
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- булевы функции -- Жегалкина многочлены -- множеств теория -- комбинаторный анализ -- отображения (математика) -- Ньютона бином -- теория графов -- графов теория -- кодирования теория -- автоматов теория -- теория кодирования -- теория автоматов -- теория алгоритмов -- алгоритмов теория -- контрольные работы (дискретная математика)
Доп.точки доступа:
Марьямов, Александр Наумович
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
4.
Подробнее
Математические структуры и моделирование / Омский государственный университет, Факультет компьютерных наук ; [ред. кол. : А. К. Гуц (гл. ред.) и др.]. - Омск : [УниПак], 2007 - .
вып. 17 / Омский государственный университет, Факультет компьютерных наук. - 124 с. : ил.. - ISBN 9785990133112
Изд-во указ. на обор. тит. л.
Рубрики: математика--периодические издания
теоретическая физика--периодические издания
Кл.слова (ненормированные):
фундаментальная математика -- случайные величины -- обыкновенные дифференциальные уравнения -- лоренцево многообразие -- экономическое поведение -- рынок труда -- физическая реальность -- эвереттика -- квантовая механика -- дискретная математика -- вычислительная математика -- документооборот предприятия -- базы данных (оптимизация запросов) -- интеллектуальные системы -- медицинские экспертные системы -- криптография -- автоматов теория -- криптосистемы -- Блума фильтр (использование)
Доп.точки доступа:
Гуц, А. К. \ед.\
Омский государственный университет. Факультет компьютерных наук
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Математические структуры и моделирование / Омский государственный университет, Факультет компьютерных наук ; [ред. кол. : А. К. Гуц (гл. ред.) и др.]. - Омск : [УниПак], 2007 - .
вып. 17 / Омский государственный университет, Факультет компьютерных наук. - 124 с. : ил.. - ISBN 9785990133112
Изд-во указ. на обор. тит. л.
| УДК |
Рубрики: математика--периодические издания
теоретическая физика--периодические издания
Кл.слова (ненормированные):
фундаментальная математика -- случайные величины -- обыкновенные дифференциальные уравнения -- лоренцево многообразие -- экономическое поведение -- рынок труда -- физическая реальность -- эвереттика -- квантовая механика -- дискретная математика -- вычислительная математика -- документооборот предприятия -- базы данных (оптимизация запросов) -- интеллектуальные системы -- медицинские экспертные системы -- криптография -- автоматов теория -- криптосистемы -- Блума фильтр (использование)
Доп.точки доступа:
Гуц, А. К. \ед.\
Омский государственный университет. Факультет компьютерных наук
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
5.
Подробнее
Шидловский, Станислав Викторович.
Автоматическое управление. Перестраиваемые структуры в системах с распределенными параметрами / С. В. Шидловский. - Томск : [Изд-во Томского университета], 2007. - 191 с. : ил., табл. - Библиогр. : с. 150 - 151.. - ISBN 5946212117. - ISBN 9785946212113
Второй тит. л. на англ. яз.
ББК 32.965 + 32.815
Рубрики: автоматическое управление--перестраиваемые структуры--монографии
автоматов теория--перестраиваемые структуры--логическое управление--монографии
Кл.слова (ненормированные):
автоматов теория -- перестраиваемые структуры -- системы с распределенными параметрами -- автоматическое управление -- логическое управление -- автоматизированное проектирование -- моделирование систем управления -- синтез систем управления -- математическое моделирование -- перестраиваемые автоматы -- синтез вычислительных структур -- моделирование сложных объектов
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Шидловский, Станислав Викторович.
Автоматическое управление. Перестраиваемые структуры в системах с распределенными параметрами / С. В. Шидловский. - Томск : [Изд-во Томского университета], 2007. - 191 с. : ил., табл. - Библиогр. : с. 150 - 151.. - ISBN 5946212117. - ISBN 9785946212113
Второй тит. л. на англ. яз.
Рубрики: автоматическое управление--перестраиваемые структуры--монографии
автоматов теория--перестраиваемые структуры--логическое управление--монографии
Кл.слова (ненормированные):
автоматов теория -- перестраиваемые структуры -- системы с распределенными параметрами -- автоматическое управление -- логическое управление -- автоматизированное проектирование -- моделирование систем управления -- синтез систем управления -- математическое моделирование -- перестраиваемые автоматы -- синтез вычислительных структур -- моделирование сложных объектов
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
6.
Подробнее
Теоретические основы информатики : учебное пособие / [В. Л. Матросов, В. А. Горелик, С. А. Жданов и др.]. - Москва : Академия, 2009. - 345 с. : ил., табл. - (Высшее профессиональное образование). - Библиогр. : с. 341-342. - ISBN 9785769553240
Авт. указ. на обор. тит. л.
Рубрики: информатика--теория--учебные издания для вузов
Кл.слова (ненормированные):
кодирования теория -- Хэмминга коды -- коды линейные -- кодирование -- декодирование -- автоматов теория -- математическая кибернетика -- программирование математическое -- программирование квадратичное -- программирование линейное -- программирование дискретное -- программирование динамическое -- программирование стохастическое -- стохастические процессы, управление -- теория распознавания образов
Доп.точки доступа:
Матросов, Виктор Леонидович
Горелик, Виктор Александрович
Жданов, Сергей Александрович
Экземпляры всего: 19
Хранение ОО и ИЕФ (Пушкинская 10) (1), Ч/З о. Русский (3), ЕКВ ауд.402 учебная (15)
Свободны: Хранение ОО и ИЕФ (Пушкинская 10) (1), Ч/З о. Русский (3), ЕКВ ауд.402 учебная (15)
Теоретические основы информатики : учебное пособие / [В. Л. Матросов, В. А. Горелик, С. А. Жданов и др.]. - Москва : Академия, 2009. - 345 с. : ил., табл. - (Высшее профессиональное образование). - Библиогр. : с. 341-342. - ISBN 9785769553240
Авт. указ. на обор. тит. л.
| УДК |
Рубрики: информатика--теория--учебные издания для вузов
Кл.слова (ненормированные):
кодирования теория -- Хэмминга коды -- коды линейные -- кодирование -- декодирование -- автоматов теория -- математическая кибернетика -- программирование математическое -- программирование квадратичное -- программирование линейное -- программирование дискретное -- программирование динамическое -- программирование стохастическое -- стохастические процессы, управление -- теория распознавания образов
Доп.точки доступа:
Матросов, Виктор Леонидович
Горелик, Виктор Александрович
Жданов, Сергей Александрович
Экземпляры всего: 19
Хранение ОО и ИЕФ (Пушкинская 10) (1), Ч/З о. Русский (3), ЕКВ ауд.402 учебная (15)
Свободны: Хранение ОО и ИЕФ (Пушкинская 10) (1), Ч/З о. Русский (3), ЕКВ ауд.402 учебная (15)
7.
Подробнее
Смирнов, Юрий Александрович.
Основы микроэлектроники и микропроцессорной техники : учебное пособие / Ю. А. Смирнов, С. В. Соколов, Е. В. Титов. - Изд. 2-е, испр. - Санкт-Петербург : Лань, 2013. - 495 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. в конце гл.. - ISBN 9785811413799
Сер. указ. на обор. тит. л. Приложение : Микроконтроллеры импортных фирм.
Рубрики: микроэлектроника--учебные издания для вузов
микропроцессорная техника--учебные издания для вузов
Кл.слова (ненормированные):
полупроводниковая электроника -- интегральные микросхемы -- диоды интегральные -- резисторы интегральные -- конденсаторы интегральные -- интегральные микросхемы биополярные -- интегральные микросхемы полупроводниковые -- интегральные микросхемы гибридные -- цифровые устройства -- логические элементы микросхем -- схемотехника логических элементов -- алгебра логики -- автоматов теория -- электронные схемы цифровые -- программируемые логические матрицы -- программируемая логика -- матричные кристаллы -- вентельные матрицы -- коммутируемые матричные блоки -- микропроцессорные системы -- микроконтролеры -- задачи (электроника)
Доп.точки доступа:
Соколов, Сергей Викторович
Титов, Евгений Вадимович
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Смирнов, Юрий Александрович.
Основы микроэлектроники и микропроцессорной техники : учебное пособие / Ю. А. Смирнов, С. В. Соколов, Е. В. Титов. - Изд. 2-е, испр. - Санкт-Петербург : Лань, 2013. - 495 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. в конце гл.. - ISBN 9785811413799
Сер. указ. на обор. тит. л. Приложение : Микроконтроллеры импортных фирм.
| УДК |
Рубрики: микроэлектроника--учебные издания для вузов
микропроцессорная техника--учебные издания для вузов
Кл.слова (ненормированные):
полупроводниковая электроника -- интегральные микросхемы -- диоды интегральные -- резисторы интегральные -- конденсаторы интегральные -- интегральные микросхемы биополярные -- интегральные микросхемы полупроводниковые -- интегральные микросхемы гибридные -- цифровые устройства -- логические элементы микросхем -- схемотехника логических элементов -- алгебра логики -- автоматов теория -- электронные схемы цифровые -- программируемые логические матрицы -- программируемая логика -- матричные кристаллы -- вентельные матрицы -- коммутируемые матричные блоки -- микропроцессорные системы -- микроконтролеры -- задачи (электроника)
Доп.точки доступа:
Соколов, Сергей Викторович
Титов, Евгений Вадимович
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
8.
Подробнее
Бухараев, Раис Гатич.
Основы теории вероятностных автоматов / Р. Г. Бухараев. - Москва : Наука, 1985. - 287 c. : ил. - Библиогр. : с. 265-285.
Рубрики: вероятностные автоматы--теория
Кл.слова (ненормированные):
модель вероятностного автомата -- автоматы вероятностные (математическая кибернетика) -- стохастические языки -- стохастические матрицы -- задачи (теория вероятностных автоматов) -- проблема редукции (вероятностные автоматы) -- проблема устойчивости (вероятностные автоматы) -- проблема идентификации (вероятностные автоматы) -- декомпозиция вероятностных автоматов -- автоматов теория -- автоматов структурная теория -- математическая кибернетика
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Бухараев, Раис Гатич.
Основы теории вероятностных автоматов / Р. Г. Бухараев. - Москва : Наука, 1985. - 287 c. : ил. - Библиогр. : с. 265-285.
| УДК |
Рубрики: вероятностные автоматы--теория
Кл.слова (ненормированные):
модель вероятностного автомата -- автоматы вероятностные (математическая кибернетика) -- стохастические языки -- стохастические матрицы -- задачи (теория вероятностных автоматов) -- проблема редукции (вероятностные автоматы) -- проблема устойчивости (вероятностные автоматы) -- проблема идентификации (вероятностные автоматы) -- декомпозиция вероятностных автоматов -- автоматов теория -- автоматов структурная теория -- математическая кибернетика
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
9.
Подробнее
Котов, Вадим Евгеньевич.
Введение в теорию схем программ / В. Е. Котов ; отв. ред. А. П. Ершов ; Академия наук СССР, Сибирское отделение, Вычислительный центр. - Новосибирск : Наука, 1978. - 257 c., включ. обл. : ил. - Библиогр. : с. 249-254
Рубрики: программирование--теория--монографии
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- алгоритмов теория -- автоматов теория -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Ершов, Андрей Петрович \ред.\
Академия наук СССР. Сибирское отделение; Вычислительный центр
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Котов, Вадим Евгеньевич.
Введение в теорию схем программ / В. Е. Котов ; отв. ред. А. П. Ершов ; Академия наук СССР, Сибирское отделение, Вычислительный центр. - Новосибирск : Наука, 1978. - 257 c., включ. обл. : ил. - Библиогр. : с. 249-254
| УДК |
Рубрики: программирование--теория--монографии
Кл.слова (ненормированные):
теоретическое программирование -- схематология -- математическая теория программирования -- алгоритмов теория -- автоматов теория -- конечные автоматы -- прикладные задачи -- теория схем программ -- схемы программ стандартные -- классы стандартных схем -- схемы программ рекурсивные -- рекурсивные схемы -- схемы структурированных программ -- трансляция схем (программирование) -- неразрешимые свойства стандартных схем -- стандартных схем эквивалентность -- разрешимые подклассы стандартных схем
Доп.точки доступа:
Ершов, Андрей Петрович \ред.\
Академия наук СССР. Сибирское отделение; Вычислительный центр
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
10.
Подробнее
Ш 475
Шеннон, Клод Эльвуд.
Работы по теории информации и кибернетике : перевод с английского / К. Шеннон ; под редакцией Р. Л. Добрушина, О. Б. Лупанова ; с предисловием А. Н. Колмогорова. - Москва : Иностранная литература, 1963. - 829 c. : ил., табл. - Библиогр.: с. 783-820
Именной указатель: с. 821-823. Предметный указатель: с. 824-827
Кл.слова (ненормированные):
кодирования теория -- связи теория -- радиотехника -- информации теория -- автоматов теория -- кибернетика -- релейные устройства -- управляющих систем теория
Доп.точки доступа:
Добрушин, Роланд Львович \ред.\
Лупанов, О. Б. \ред.\
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент научной литературы (1)
Ш 475
Шеннон, Клод Эльвуд.
Работы по теории информации и кибернетике : перевод с английского / К. Шеннон ; под редакцией Р. Л. Добрушина, О. Б. Лупанова ; с предисловием А. Н. Колмогорова. - Москва : Иностранная литература, 1963. - 829 c. : ил., табл. - Библиогр.: с. 783-820
Именной указатель: с. 821-823. Предметный указатель: с. 824-827
| УДК |
Кл.слова (ненормированные):
кодирования теория -- связи теория -- радиотехника -- информации теория -- автоматов теория -- кибернетика -- релейные устройства -- управляющих систем теория
Доп.точки доступа:
Добрушин, Роланд Львович \ред.\
Лупанов, О. Б. \ред.\
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент научной литературы (1)
Страница 1, Результатов: 10