Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 5
Отмеченные записи: 0
1.
Подробнее
Середа, Сергей Николаевич.
Основы теории алгоритмов : учебное пособие / С. Н. Середа, К. В. Макаров ; Владимирский государственный университет, Муромский институт (филиал). - Муром : [Изд-во МИ ВлГУ], 2007. - 117 с. : ил., табл. - Библиогр. : с. 115.. - ISBN 9785843901462
Рубрики: алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- классификация алгоритмов -- параллельные вычисления -- распараллеливание алгоритмов, методы -- сложность алгоритмов -- эффективные алгоритмы -- алгоритмы генетические -- параллельные алгоритмы
Доп.точки доступа:
Макаров, Кирилл Владимирович
Владимирский государственный университет. Муромский институт (филиал)
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Середа, Сергей Николаевич.
Основы теории алгоритмов : учебное пособие / С. Н. Середа, К. В. Макаров ; Владимирский государственный университет, Муромский институт (филиал). - Муром : [Изд-во МИ ВлГУ], 2007. - 117 с. : ил., табл. - Библиогр. : с. 115.. - ISBN 9785843901462
| УДК |
Рубрики: алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- классификация алгоритмов -- параллельные вычисления -- распараллеливание алгоритмов, методы -- сложность алгоритмов -- эффективные алгоритмы -- алгоритмы генетические -- параллельные алгоритмы
Доп.точки доступа:
Макаров, Кирилл Владимирович
Владимирский государственный университет. Муромский институт (филиал)
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Гринченков, Дмитрий Валерьевич.
Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил., табл. - Библиогр. : с. 205 - 206.. - ISBN 9785406001202
Рубрики: алгоритмов теория--учебные издания для вузов
математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
булева алгебра -- теория множеств -- теория алгоритмов -- логическое программирование -- Пролог, язык программирования -- логические функции -- эквивалентные преобразования
Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Гринченков, Дмитрий Валерьевич.
Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил., табл. - Библиогр. : с. 205 - 206.. - ISBN 9785406001202
| УДК |
Рубрики: алгоритмов теория--учебные издания для вузов
математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
булева алгебра -- теория множеств -- теория алгоритмов -- логическое программирование -- Пролог, язык программирования -- логические функции -- эквивалентные преобразования
Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 447 с. - (Высшее профессиональное образование). - Библиогр. : с. 435-442.. - ISBN 5769513632
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
алгебра высказываний -- высказывания (математическая логика) -- формулы (математическая логика) -- булевы функции -- системы булевых функций -- формализованное исчисление высказываний -- логика предикатов -- логические операции -- предикаты (математическая логика) -- формализованное исчисление предикатов -- аксиоматические теории -- теория алгоритмов -- Тьюринга машины -- Маркова алгоритмы -- искусственный интеллект
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 447 с. - (Высшее профессиональное образование). - Библиогр. : с. 435-442.. - ISBN 5769513632
| УДК |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
алгебра высказываний -- высказывания (математическая логика) -- формулы (математическая логика) -- булевы функции -- системы булевых функций -- формализованное исчисление высказываний -- логика предикатов -- логические операции -- предикаты (математическая логика) -- формализованное исчисление предикатов -- аксиоматические теории -- теория алгоритмов -- Тьюринга машины -- Маркова алгоритмы -- искусственный интеллект
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Герасимов, Александр Сергеевич.
Курс математической логики и теории вычислимости : учебное пособие / А. С. Герасимов. - Изд. 4-е, перераб. и доп. - Санкт-Петербург : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 380-383.. - ISBN 9785811416660
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- аксиоматические теории -- теория вычислимости -- Тьюринга машины -- вычислимые функции
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Герасимов, Александр Сергеевич.
Курс математической логики и теории вычислимости : учебное пособие / А. С. Герасимов. - Изд. 4-е, перераб. и доп. - Санкт-Петербург : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 380-383.. - ISBN 9785811416660
| УДК |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- аксиоматические теории -- теория вычислимости -- Тьюринга машины -- вычислимые функции
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
5.
Подробнее
Кормен, Томас.
Алгоритмы: построение и анализ : перевод с английского / Т. Кормен, Ч. Лейзерсон, Р. Ривест. - Москва : Изд-во Московского центра непрерывного математического образования, 1999. - 955 с. : ил. - (Классические учебники: Computer science). - Библиогр. : с. 901-913. - ISBN 5900916375
Парал. тит. л. на англ. яз.
Рубрики: алгоритмы--анализ--учебные издания для вузов
алгоритмы--построение--учебные издания для вузов
Кл.слова (ненормированные):
программы компьютерные -- анализ алгоритмов, математические основы -- построение алгоритмов -- алгоритмы на графах -- порядковые статистики -- вычислительная геометрия -- приближенные алгоритмы -- алгоритмы быстрые -- алгоритмы сортировки -- алгоритмы эффективные -- структуры данных -- двоичные деревья поиска -- методы построения алгоритмов -- жадные алгоритмы -- Фурье преобразование -- алгоритмы теоретико-числовые -- алгоритмы параллельных вычислений -- арифметические схемы -- компараторов сети -- вычислительные модели
Доп.точки доступа:
Лейзерсон, Чарльз
Ривест, Рональд
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Кормен, Томас.
Алгоритмы: построение и анализ : перевод с английского / Т. Кормен, Ч. Лейзерсон, Р. Ривест. - Москва : Изд-во Московского центра непрерывного математического образования, 1999. - 955 с. : ил. - (Классические учебники: Computer science). - Библиогр. : с. 901-913. - ISBN 5900916375
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: алгоритмы--анализ--учебные издания для вузов
алгоритмы--построение--учебные издания для вузов
Кл.слова (ненормированные):
программы компьютерные -- анализ алгоритмов, математические основы -- построение алгоритмов -- алгоритмы на графах -- порядковые статистики -- вычислительная геометрия -- приближенные алгоритмы -- алгоритмы быстрые -- алгоритмы сортировки -- алгоритмы эффективные -- структуры данных -- двоичные деревья поиска -- методы построения алгоритмов -- жадные алгоритмы -- Фурье преобразование -- алгоритмы теоретико-числовые -- алгоритмы параллельных вычислений -- арифметические схемы -- компараторов сети -- вычислительные модели
Доп.точки доступа:
Лейзерсон, Чарльз
Ривест, Рональд
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Страница 1, Результатов: 5