510(075) В 31 Верещагин, Н. К. Лекции по математической логике и теории алгоритмов [Text] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999 - . Ч. 1 : Начала теории множеств. - 128 с. : ил. - Библиогр.: с. 121-122.- Предм. указ.: с. 123-126.- Указ. имен: с. 127. - ISBN 5-900916-36-7 : 25-00 р. На обл. авт. не указ.
Кл.слова (ненормированные): теория множеств -- математическая логика -- множества (математика) -- Кантора теорема -- Рамсея теорема -- Цермело теорема Доп.точки доступа: Шень, А. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
510(075) К 66 Кормен, Т. Алгоритмы [Text] : построение и анализ / Кормен, Т., Лейзерсон, Ч., Ривест, Р. - М. : Изд-во МЦНМО, 1999. - 960 с. : ил. - (Класс. учеб. : computer science). - Библиогр.: с. 891- 913.-Предм. указ.: с. 915- 949.-Имен. указ.: с. 951- 955. - ISBN 5-900916-37-5 (В пер.) : 120-00 р. Перевод заглавия: Introduction to Algorithms
Кл.слова (ненормированные): алгоритмы -- анализ алгоритмов -- сортировка алгоритмов -- структура данных -- хеш-таблицы -- деревья поиска -- динамическое программирование -- б-деревья -- графы-обработка Доп.точки доступа: Лейзерсон, Ч.; Ривест, Р. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
519.1(075) И 20 Иванов, Б. Н. Дискретная математика [Text] : алгоритмы и программы : учеб. пособие для вузов / Иванов Б. Н. - М. : Лаборатория Базовых Знаний, 2002. - 288 с. : ил. - (Технический университет). - Библиогр.: с. 285. - Предм. указ.: с. 286- 288. - ISBN 5-93208-093-0 (в пер.) : 107.00 ; 109.00 ; 120.00 ; 135.00 р.
Кл.слова (ненормированные): дискретная математика -- алгоритмы -- программирование -- сортировка -- теория групп -- теория чисел -- графов теория -- комбинаторика Экземпляры всего: 8 ОХиИФ (5), ООЛ (3) Свободны: ОХиИФ (5), ООЛ (3) |
519.1(075) И 20 Иванов, Б. Н. Дискретная математика [Text] : алгоритмы и программы: Учеб. пособие для вузов / Иванов Б. Н. - М. : Лаб. Базовых Знаний, 2003. - 288 с. : ил. - (Технический ун-т). - Библиогр.: с. 285.-Предм. указ.: с. 286- 288. - ISBN 5-93208-093-0 (в пер.) : 110.00 р., 128.50 р., 135.00 р.
Кл.слова (ненормированные): дискретная математика -- алгоритмы -- программирование -- сортировка -- теория групп -- теория чисел -- графов теория -- комбинаторика Экземпляры всего: 6 ЧЗ№1 (1), ООЛ (5) Свободны: ЧЗ№1 (1), ООЛ (5) |
519.1(075) И 20 Иванов, Б. Н. Дискретная математика [Text] : алгоритмы и программы : учебное пособие для вузов / Иванов Б. Н. - М. : Лаб. Базовых Знаний, 2001. - 288 с. : ил. - (Технический университет). - Библиогр.: с. 285.-Предм. указ.: с. 286- 288. - ISBN 5-93208-093-0 (в пер.) : 115.00 р., 70.00 р.
Кл.слова (ненормированные): дискретная математика -- алгоритмы -- программирование -- сортировка -- теория групп -- теория чисел -- графов теория -- комбинаторика Экземпляры всего: 2 ОХиИФ (1), ООЛ (1) Свободны: ОХиИФ (1), ООЛ (1) |
510(075) И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Text] : учеб. пособие для вузов / Игошин В. И. - 4-е изд., стер. - М. : Академия, 2010. - 446 с. : ил. - (Высшее профессиональное образование) (Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 (в пер.) : 439.97 р.
Кл.слова (ненормированные): алгебра высказываний -- Булевы функции -- исчисление высказываний -- логика предикатов -- аксиоматические теории -- теории алгоритмов -- математическая логика -- программное обеспечение -- логическое программирование -- искусственный интеллект Экземпляры всего: 12 ОХиИФ (1), ООЛ (11) Свободны: ОХиИФ (1), ООЛ (11) |
510(075) Г 85 Гринченков, Д. В. Математическая логика и теория алгоритмов для программистов [Text] : учебное пособие для вузов / Гринченков, Д. В., Потоцкий, С. И. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - Библиогр.: с. 205-206. - ISBN 978-5-406-02434-8 (в пер.) : 252.00 р.
Кл.слова (ненормированные): теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп.точки доступа: Потоцкий, С. И. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
510(075) Г 85 Гринченков, Д. В. Математическая логика и теория алгоритмов для программистов [Текст] : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 (в пер.) : 188.50 р. ВПО
Кл.слова (ненормированные): теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп.точки доступа: Потоцкий, С. И. Экземпляры всего: 5 ОХиИФ (1), ООЛ (4) Свободны: ОХиИФ (1), ООЛ (4) |
510(075) К 83 Кропачев, Л. А. Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов : в 2 ч. / Л. А. Кропачев ; М-во образования и науки РФ, ФГБОУ ВПО "ИжГТУ имени М. Т. Калашникова". - Ижевск : Изд-во ИжГТУ. Ч. 1 : Синтез комбинационных схем. - 2013. - 224, [2] с. : ил., табл. - ). - Библиогр.: с. 222-223. - Алф.-Предм. указ.: с. 224-225. - ISBN 978-5-7526-0615-1 (в пер.) : 510.08 р. ВПО
Кл.слова (ненормированные): алгебра логики -- минимизация булевых функций -- нетрадиционные логики -- дешифраторы -- мультиплексоры -- ИжГТУ Экземпляры всего: 5 ОХиИФ (3), ООЛ (2) Свободны: ОХиИФ (3), ООЛ (2) |