Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Электронный каталог- результаты поиска

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>K=БУЛЕВЫ ФУНКЦИИ<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   22.17
   Н 73

    Новиков, Ф. А.
    Дискретная математика для программистов : [Учебник] / Ф.А.Новиков. - Санкт-Петербург : Питер, 2002. - 301 с. - ISBN 5-272-00183-4 : 75.60 р.
ББК 22.174я7
Рубрики: Математика
Кл.слова (ненормированные):
раскраска графов -- программирование -- покрытия -- множества -- алгебраические структуры -- Булевы функции -- логические исчисления -- комбинаторика -- кодирование -- деревья -- графы -- Дискретная математика -- для программистов

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
2.
   22.12
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для студентов вузов, обучающихся по специальности "Математика" / В. И. Игошин. - Москва : Академия, 2004 (Саратов). - 446, [1] с. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр. : с. 435-442. - ISBN 5-7695-1363-2 (в пер.) : 193.20 р.
ББК 22.12я73
Рубрики: Математика
Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- ПРЕДИКАТЫ -- АЛГОРИТМЫ -- МАШИНЫ ТЬЮРИНГА -- ТЬЮРИНГА МАШИНЫ -- МАРКОВА АЛГОРИТМЫ -- ГЕДЕЛЯ ТЕОРЕМА -- ТЕОРЕМА ГЕДЕЛЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- ЛОГИК-ТЕОРЕТИК, ПРОГРАММА -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКОЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ, ЯЗЫК ПРОГРАММИРОВАНИЯ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- УЧЕБНЫЕ ИЗДАНИЯ ДЛЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
Аннотация: Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Тьюринг, Алан Мэтисон (1912-1954) \о нем\; Turing, Alan Mathison \о нем\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие
3.
   22.17
   Н 73

    Новиков, Федор Александрович.
    Дискретная математика для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки дипломированных специалистов "Информатика и вычислительная техника" / Ф. А. Новиков. - 3-е издание. - Санкт-Петербург [и др.] : Питер : Питер Пресс, 2009 . - 383 с. : ил ; 24 см. - (Учебник для вузов). - Библиогр.: с. 368-369 (31 назв.). - Предм. указ.: с. 370-383. - Об авт. на 4-й с. пер. - ISBN 978-5-91180-759-7 : 166.09 р.
ББК 22.174я73
Рубрики: Математика
Кл.слова (ненормированные):
алгебраические структуры -- Булевы функции -- графы -- деревья -- кодирование -- комбинаторика -- логические исчисления -- множества -- независимость -- отношения -- раскраска -- связность -- циклы -- Дискретная математика -- для программистов

Экземпляры всего: 2
читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие
4.
   22.17
   Т 47

    Тишин, Владимир Викторович.
    Дискретная математика в примерах и задачах : учебное пособие для студентов высших учебных заведений, обучающихся по специальности и направлению "Прикладная математика и информатика" и по направлению "Информационные технологии" / В. В. Тишин. - Санкт-Петербург : БХВ-Петербург, 2008. - 335, [2] с. : ил., табл. ; 21 см. - (Учебная литература для вузов). - Библиогр.: с. 337 (12 назв.). - Об авт.: 4 с. пер. - На пер.: Множества, декартовы произведения, соответствия, отношения ; Булевы функции ; Теория алгоритмов ; Предикаты ; Комбинаторика ; Конечные автоматы. - ISBN 978-5-9775-0232-0 (В пер.) : 155.21 р.
ББК 22.174я73
Рубрики: Математика
Кл.слова (ненормированные):
Булевы функции -- Дискретная математика -- Дискретная математика -- предикаты -- комбинаторика -- конечные автоматы -- автоматы Мили -- Мили автоматы

Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)