Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 28
Отмеченные записи: 0
1.
Подробнее
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
| УДК |
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Сложность вычислений и алгоритмов : сборник переводов / под ред. В. А. Козмидиади, А. Н. Маслова, Н. В. Петри. - Москва : Мир, 1974. - 389 c. - (Кибернетический сборник)
Кл.слова (ненормированные):
алгоритмы -- Тьюринга машины -- модели вычислительных систем -- математика -- контекстно-свободные языки -- рекурсивные функции
Доп.точки доступа:
Козмидиади, В. А. \ред.\
Маслов, А. Н. \ред.\
Петри, Н. В. \ред.\
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Сложность вычислений и алгоритмов : сборник переводов / под ред. В. А. Козмидиади, А. Н. Маслова, Н. В. Петри. - Москва : Мир, 1974. - 389 c. - (Кибернетический сборник)
| УДК |
Кл.слова (ненормированные):
алгоритмы -- Тьюринга машины -- модели вычислительных систем -- математика -- контекстно-свободные языки -- рекурсивные функции
Доп.точки доступа:
Козмидиади, В. А. \ред.\
Маслов, А. Н. \ред.\
Петри, Н. В. \ред.\
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
3.
Подробнее
Арбиб, Майкл А.
Мозг, машина и математика / М. Арбиб ; пер. с англ. А. Д. Коршунова. - Москва : Наука, 1968. - 224 c. : ил. - Библиогр. : с. 217-224.
Кл.слова (ненормированные):
нервные сети -- кибернетика -- Тьюринга машины -- математика -- Генделя теорема
Доп.точки доступа:
Коршунов, А. Д. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Арбиб, Майкл А.
Мозг, машина и математика / М. Арбиб ; пер. с англ. А. Д. Коршунова. - Москва : Наука, 1968. - 224 c. : ил. - Библиогр. : с. 217-224.
| УДК |
Кл.слова (ненормированные):
нервные сети -- кибернетика -- Тьюринга машины -- математика -- Генделя теорема
Доп.точки доступа:
Коршунов, А. Д. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Теоретические проблемы кибернетики / [ред. кол. : А. М. Богомолов (отв. ред.) и др.]. - [Саратов] : Изд-во Саратовского университета, 1986 - .
ч. 1. - 160 c. - Библиогр. в конце гл.
Кл.слова (ненормированные):
дискретные экстремальные задачи -- математика -- сложные управляющие системы -- процессы контроля -- аппарат распознавания автоматов -- алгоритмизация процессов -- процессы диагноза (математика) -- кибернетика -- Тьюринга машины
Доп.точки доступа:
Богомолов, А. М. \ед.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Теоретические проблемы кибернетики / [ред. кол. : А. М. Богомолов (отв. ред.) и др.]. - [Саратов] : Изд-во Саратовского университета, 1986 - .
ч. 1. - 160 c. - Библиогр. в конце гл.
| УДК |
Кл.слова (ненормированные):
дискретные экстремальные задачи -- математика -- сложные управляющие системы -- процессы контроля -- аппарат распознавания автоматов -- алгоритмизация процессов -- процессы диагноза (математика) -- кибернетика -- Тьюринга машины
Доп.точки доступа:
Богомолов, А. М. \ед.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
5.
Подробнее
Карпов, Юрий Глебович.
Теория автоматов : учебник для вузов / Ю. Г. Карпов. - Санкт-Петербург : Питер, 2002. - 206 с. : ил., табл. - Библиогр. : с. 204-206. - ISBN 5318005373
Рубрики: автоматов теория--учебные издания для вузов
Кл.слова (ненормированные):
математическая кибернетика -- булевы функции -- Поста теорема -- булевы алгебры -- математическая логика -- логическое программирование -- Мура теорема -- автоматные языки -- Тьюринга машины -- Клини теорема -- триггеры
Экземпляры всего: 3
Хранение ОО и ИЕФ (Пушкинская 10) (1), ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение ОО и ИЕФ (Пушкинская 10) (1), ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
Карпов, Юрий Глебович.
Теория автоматов : учебник для вузов / Ю. Г. Карпов. - Санкт-Петербург : Питер, 2002. - 206 с. : ил., табл. - Библиогр. : с. 204-206. - ISBN 5318005373
| УДК |
Рубрики: автоматов теория--учебные издания для вузов
Кл.слова (ненормированные):
математическая кибернетика -- булевы функции -- Поста теорема -- булевы алгебры -- математическая логика -- логическое программирование -- Мура теорема -- автоматные языки -- Тьюринга машины -- Клини теорема -- триггеры
Экземпляры всего: 3
Хранение ОО и ИЕФ (Пушкинская 10) (1), ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение ОО и ИЕФ (Пушкинская 10) (1), ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
6.
Подробнее
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 4-е, стер. - Санкт-Петербург : Лань, 2005. - 395 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389. - ISBN 5811405707
Рубрики: дискретная математика
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- автоматы (дискретная математика)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 4-е, стер. - Санкт-Петербург : Лань, 2005. - 395 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389. - ISBN 5811405707
| УДК |
Рубрики: дискретная математика
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- автоматы (дискретная математика)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
7.
Подробнее
Любимский, Эдуард Зиновьевич.
Программирование : учебное пособие для вузов / Э. З. Любимский, В. В. Мартынюк, Н. П. Трифонов ; под ред. Э. З. Любимского. - Москва : Наука, 1980. - 607 с. : ил.
Кл.слова (ненормированные):
программирование -- алгоритмов теория -- Тьюринга машины -- приемы программирования -- ЭВМ -- Фортран, язык программирования -- автокод -- операционные системы -- языки программирования -- алгоритмические языки
Доп.точки доступа:
Мартынюк, Владимир Владимирович
Трифонов, Николай Павлович
Экземпляры всего: 4
Абонемент учебной и научной литературы (3), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (3), Ч/З о. Русский (1)
Любимский, Эдуард Зиновьевич.
Программирование : учебное пособие для вузов / Э. З. Любимский, В. В. Мартынюк, Н. П. Трифонов ; под ред. Э. З. Любимского. - Москва : Наука, 1980. - 607 с. : ил.
| УДК |
Кл.слова (ненормированные):
программирование -- алгоритмов теория -- Тьюринга машины -- приемы программирования -- ЭВМ -- Фортран, язык программирования -- автокод -- операционные системы -- языки программирования -- алгоритмические языки
Доп.точки доступа:
Мартынюк, Владимир Владимирович
Трифонов, Николай Павлович
Экземпляры всего: 4
Абонемент учебной и научной литературы (3), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (3), Ч/З о. Русский (1)
8.
Подробнее
Информатика для химиков-технологов : учебное пособие для вузов по химико-технологическим направлениям / [Л. С. Гордеев, В. Ф. Корнюшко, В. С. Боридко и др.] ; под ред. Л. С. Гордеева, В. Ф. Корнюшко. - Москва : Высшая школа, 2006. - 286 с. : ил., табл.. - ISBN 5060048659
Авт. указ. на обор. тит. л.
Рубрики: информационные технологии--применение в химической технологии--учебные издания для вузов
химическая технология--задачи--решение на компьютерах--учебные издания для вузов
Кл.слова (ненормированные):
информатика (химия) -- Шеннона теория информации -- Тьюринга машины -- аналого-цифровое преобразование информации -- алгоритмы, разработка -- программы компьютерные, разработка -- мультимедийные системы, построение -- вычислительные системы -- процессоры (информационные технологии) -- Windows, операционная система -- файловые системы в Word -- ChemWin, компьютерная программа -- редактирование химических формул -- Microsoft Access, система управления базами данных -- Microsoft Excel, электронные таблицы -- СУБД (система управления базами данных) -- базы данных -- Visual Basic for Applications, среда программирования -- Microsoft Visual Basic for Applications, язык программирования -- компьютерные сети -- сетевые технологии -- сети INTERNET -- браузеры Интернета -- информационная безопасность -- защита информации -- математическое моделирование (химия) -- химические равновесия, моделирование -- химическая кинетика -- задачи (химия)
Доп.точки доступа:
Боридко, Владимир Станиславович
Гордеев, Лев Сергеевич \ред.\
Корнюшко, Валерий Федорович \ред.\
Экземпляры всего: 10
Ч/З о. Русский (2), ЕКВ ауд.301 учебная (5), Абонемент учебной и научной литературы (3)
Свободны: Ч/З о. Русский (2), ЕКВ ауд.301 учебная (5), Абонемент учебной и научной литературы (3)
Информатика для химиков-технологов : учебное пособие для вузов по химико-технологическим направлениям / [Л. С. Гордеев, В. Ф. Корнюшко, В. С. Боридко и др.] ; под ред. Л. С. Гордеева, В. Ф. Корнюшко. - Москва : Высшая школа, 2006. - 286 с. : ил., табл.. - ISBN 5060048659
Авт. указ. на обор. тит. л.
| УДК |
Рубрики: информационные технологии--применение в химической технологии--учебные издания для вузов
химическая технология--задачи--решение на компьютерах--учебные издания для вузов
Кл.слова (ненормированные):
информатика (химия) -- Шеннона теория информации -- Тьюринга машины -- аналого-цифровое преобразование информации -- алгоритмы, разработка -- программы компьютерные, разработка -- мультимедийные системы, построение -- вычислительные системы -- процессоры (информационные технологии) -- Windows, операционная система -- файловые системы в Word -- ChemWin, компьютерная программа -- редактирование химических формул -- Microsoft Access, система управления базами данных -- Microsoft Excel, электронные таблицы -- СУБД (система управления базами данных) -- базы данных -- Visual Basic for Applications, среда программирования -- Microsoft Visual Basic for Applications, язык программирования -- компьютерные сети -- сетевые технологии -- сети INTERNET -- браузеры Интернета -- информационная безопасность -- защита информации -- математическое моделирование (химия) -- химические равновесия, моделирование -- химическая кинетика -- задачи (химия)
Доп.точки доступа:
Боридко, Владимир Станиславович
Гордеев, Лев Сергеевич \ред.\
Корнюшко, Валерий Федорович \ред.\
Экземпляры всего: 10
Ч/З о. Русский (2), ЕКВ ауд.301 учебная (5), Абонемент учебной и научной литературы (3)
Свободны: Ч/З о. Русский (2), ЕКВ ауд.301 учебная (5), Абонемент учебной и научной литературы (3)
9.
Подробнее
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 303 с. : табл. - (Высшее профессиональное образование). - ISBN 5769529148
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- Маркова алгоритмы -- Тьюринга машины
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 303 с. : табл. - (Высшее профессиональное образование). - ISBN 5769529148
| УДК |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- Маркова алгоритмы -- Тьюринга машины
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
10.
Подробнее
Дехтярь, Михаил Иосифович.
Лекции по дискретной математике : учебное пособие / М. И. Дехтярь. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2007. - 259 с. : ил., табл. - (Основы информационных технологий). - Библиогр. : с. 258-259.. - ISBN 9785947747140. - ISBN 9785955601106
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
множества (математика) -- комбинаторика -- математическая индукция -- булевы функции -- Жегалкина многочлены -- булевы формулы -- Поста теорема -- хорновские формулы -- логика предикатов (дискретная математика) -- деревья (математика) -- графы (математика) -- упорядоченные бинарные диаграммы решений -- конечные автоматы (математика) -- регулярные языки -- автоматные языки -- алгоритмы -- рекурсивные функции -- Тьюринга машины -- тьюрингово программирование -- вычислимые функции -- алгоритмически неразрешимые проблемы
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Дехтярь, Михаил Иосифович.
Лекции по дискретной математике : учебное пособие / М. И. Дехтярь. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2007. - 259 с. : ил., табл. - (Основы информационных технологий). - Библиогр. : с. 258-259.. - ISBN 9785947747140. - ISBN 9785955601106
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
множества (математика) -- комбинаторика -- математическая индукция -- булевы функции -- Жегалкина многочлены -- булевы формулы -- Поста теорема -- хорновские формулы -- логика предикатов (дискретная математика) -- деревья (математика) -- графы (математика) -- упорядоченные бинарные диаграммы решений -- конечные автоматы (математика) -- регулярные языки -- автоматные языки -- алгоритмы -- рекурсивные функции -- Тьюринга машины -- тьюрингово программирование -- вычислимые функции -- алгоритмически неразрешимые проблемы
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Страница 1, Результатов: 28