681.3.06 Г962 Гусева, А. И. Учимся информатике [Текст] : задачи и методы их решения: Учеб. пособие для вузов / А.И. Гусева. - москва : Диалог-МИФИ, 1998. - 320 с. - ISBN 5864041122 : 35.00 р. ГРНТИ 50 УДК:004(075.8) Ключевые слова: Дискретная математика -- Математическая логика -- QBASIC -- PASCAL 7.0 -- Задачи -- Учебные пособия Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
51 Э687 Энциклопедия для детей / Гл. ред. М. Д. Аксенова. - Москва : Аванта+, 1999 - . Т. 11 : Математика : энциклопедия. - 685 с. : ил. - ISBN 5895010180 : 200.00 р. ГРНТИ 27 УДК:51(035) Ключевые слова: математика -- история математики -- математика Древнего Востока -- античная математика -- средневековая математика -- математика Эпохи Возрождения -- математики -- числа -- геометрия -- математические рассуждения -- математический анализ -- математическая логика -- энцтклопедии Доп.точки доступа: Аксенова, М. Д. \ред.\ --- Экземпляры всего: 1 Mесто хранения: нбо (1) Свободны: нбо (1) |
519.1 М823 Моксинова, Г. И. Дискретная математика. Математика для менеджера в примерах и упражнениях : Учеб. пособие для экон. и упр. спец. вузов / Г.И. Моксинова. - москва : Логос, 2000. - 240 с. : ил. - ISBN 5940100163 : 58.50 р. ГРНТИ 27.41 УДК:519.1(075.8) Ключевые слова: дискретная математика -- теории множеств -- математическая логика -- учебные пособия Экземпляры всего: 2 Mесто хранения: кх (1), чз (1) Свободны: кх (1), чз (1) |
Ю4 И202 Иванов, Е. А. Логика : Учеб. для юрид. вузов / Е.А. Иванов. - 2-е изд., перераб. и доп. - москва : БЕК, 2000. - 368 с. - ISBN 5856392809 : 67.70 р. ГРНТИ 02.21 ББК Ю4я73 Ключевые слова: логика -- диалектическая логика -- суждения -- умозаключения -- доказательства -- законы мышления -- математическая логика -- учебники Экземпляры всего: 2 Mесто хранения: чз (2) Свободны: чз (2) |
Ю25 Ф86 Фреге, Готлоб Основоположения арифметики : Логико-математическое исследование о понятии числа: Пер. с нем. / Фреге, Готлоб. - Томск : Водолей, 2000. - 128 с. - ISBN 5713701581 : 53.50 р. ГРНТИ 02 ББК Ю251 Ключевые слова: Философия математики -- Математическая логика -- Арифметика -- Логико-математические исследования -- Числа Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
681.3 Г962 Гусева, А. И. Учимся информатике [Текст] : задачи и методы их решения: Учеб. пособие / Гусева А.И. - 2-е изд., испр. и доп. - москва : ДИАЛОГ-МИФИ, 2001. - 382 с. : ил. - (Школа. Лицей. Вуз). - ISBN 5864041122 : 61.58 р. ГРНТИ 20 УДК:004(075.8) Ключевые слова: Информатика -- Дискретная математика -- Арифметические основы ЭВМ -- Математическая логика -- PASCAL 7.0 -- QBASIC -- Вычислительная техника -- учебные пособия Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
51 Ж794 Жолков, Сергей Юрьевич. Математика и информатика для гуманитариев : Учеб. для гуманит. спец. вузов / С.Ю. Жолков. - москва : Гардарики, 2002. - 531 с. : ил. - (Univers). - ISBN 5829700891 : 111.66 р. Допущено МО РФ ГРНТИ 27 20 УДК:51(075.8) Ключевые слова: математика -- информатика -- числа -- линейная алгебра -- алгебра логики -- алгебра множеств -- математический анализ -- дифференциальные исчисления -- интегральные исчисления -- математическая логика -- алгоритмы -- автоматы -- учебники Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
519.7 К265 Карпов, Юрий Глебович. Теория автоматов : Учеб. для вузов по спец. "Вычислит. машины, комплексы, системы и сети" / Ю.Г. Карпов. - СПб. : Питер, 2002. - 206 с. : ил. - ISBN 5318005373 : 114.17 р. Допущено МО РФ ГРНТИ 50.01 УДК:519.7(075.8) Ключевые слова: теория автоматов -- преобразователи информации -- функциональные преобразователи -- булевы функции -- математическая логика -- логическое программирование -- конечные автоматы -- автоматное преобразование информации -- автоматные языки -- машины Тьюринга -- учебники Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
51 Ч-508 Чёрч, Алонзо. Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники Доп.точки доступа: Успенский, В.А. \ред. - редактор.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
519.1 К891 Кузнецов, Олег Петрович. Дискретная математика для инженера : [Учеб. пособие для вузов] / О.П. Кузнецов, Изд. 3-е, перераб. и доп. - М. ; СПб. ; Краснодар : Лань, 2004. - 395 с. : ил. - (Учебники для вузов. Специальная литература). - ISBN 5811405707 : 142.12 р. ГРНТИ 27.29.25 УДК:519.1(075.8) Ключевые слова: дискретная математика -- множества -- функции -- отношения -- общая алгебра -- математическая логика -- графы -- алгоритмы -- теория алгоритмов -- формальные системы -- языки -- грамматики -- математическая лингвистика -- автоматы -- учебные пособия Экземпляры всего: 27 Mесто хранения: чз (3), аб (24) Свободны: чз (3), аб (23) |
51 С892 Судоплатов, С. В. Математическая логика и теория алгоритмов : Учеб. для вузов по напр. 654600 Информатика и выч. техника, 654700 Информационные системы, 540200 Физ.-мат. образование / С.В. Судоплатов, Е.В. Овчинникова ; НГТУ. - М., Новосибирск : ИНФРА-М, Изд-во НГТУ, 2004. - 224 с. - (Высшее образование). - ISBN 5778204582. - ISBN 5160019758 : 63.58 р. ГРНТИ 27.03 УДК:510.6(075.8) Ключевые слова: логика -- математическая логика -- исчисления предикатов -- теории моделей -- теории алгоритмов -- неклассические логики -- учебники Доп.точки доступа: Овчинникова, Е.В. --- Экземпляры всего: 40 Mесто хранения: аб (38), чз (2) Свободны: аб (38), чз (2) |
004 И741 Информатика и математика для юристов : Учеб. для вузов по спец. "Юриспруденция" (021100) / Под ред. С.Я. Казанцева, Н.М. Дубининой. - 2-е изд., перераб. и доп. - М. : ЮНИТИ-ДАНА, 2006. - 558 с. : ил. - ISBN 5-238-00928-3 : 220.50 р. Рек. МО РФ. Допущено МВД РФ ГРНТИ 50.41 УДК:004(075.8) Ключевые слова: информатика юридическая -- математика -- системное программное обеспечение -- сервисное программное обеспечение -- персональные компьютеры -- информационные технологии -- программное обеспечение -- информационно-вычислительные сети -- математическая логика -- теория вероятностей -- математическая статистика -- Excel -- правоохранительная деятельность -- компьютерные технологии -- информационное обеспечение правоохранительных органов -- информационная безопасность -- правовое обеспечение информационной безопасности -- защита информации -- компьютерные преступления -- учебники Доп.точки доступа: Казанцев, Сергей Яковлевич \ред.\ --- Дубинина, Н.М. \ред.\ --- Экземпляры всего: 5 Mесто хранения: кх (3), аб (2) Свободны: кх (3), аб (2) |
004 И741 Информатика и математика для юристов : учеб. для вузов по спец. "Юриспруденция" (021100) / Под ред. С.Я. Казанцева, Н.М. Дубининой. - 2-е изд., перераб. и доп. - М. : ЮНИТИ-ДАНА, 2008. - 557 с. - ISBN 978-5-238-00928-5 : 217.83 р., 207.06 р. Рек. МО РФ ГРНТИ 50 УДК:004(075.8) Ключевые слова: информатика -- информационные технологии в правоохранительной деятельности -- персональные компьютеры -- информационные технологии -- математическая логика -- правоприменительная деятельность -- информационная безопасность -- компьютерные преступления -- учебники Доп.точки доступа: Казанцев, Сергей Яковлевич \ред.\ --- Дубинина, Н.М. \ред.\ --- Экземпляры всего: 25 Mесто хранения: аб (23), кх (2) Свободны: аб (23), кх (2) |
51 И269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5200-7 : 372.00 р., 372.00 р. Допущено МО РФ ГРНТИ 27.03.19 27.03.17 УДК:510.6(075.8) Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованное исчисление -- логика предикатов -- аксиоматические теории -- программирование -- логическое программирование -- искусственный интеллект -- учебные пособия Экземпляры всего: 5 Mесто хранения: чз (2), аб (3) Свободны: чз (2), аб (3) |
519.7 А603 Аляев, Юрий Александрович. Дискретная математика и математическая логика : Учеб. для вузов по спец. "Прикладная информатика (по обл.)" и др. экон. спец. / Ю.А. Аляев, С.Ф. Тюрин. - М. : Финансы и статистика, 2006. - 364 с. : ил. - ISBN 5-279-03045-7 : 150.00 р. Доп. УМО ГРНТИ 27.47 27.03 УДК:519.7(075.8)510.6(075.8) Ключевые слова: дискретная математика -- математическая логика -- теория множеств -- булевы алгебры -- общая алгебра -- комбинаторика -- теория графов -- теория переключательных функций -- теория автоматов -- теория кодирования -- математическая логика -- теория алгоритмов -- теория нечетких множеств -- учебники Доп.точки доступа: Тюрин, Сергей Феофентович --- Экземпляры всего: 2 Mесто хранения: чз (2) Свободны: чз (2) |
51 И269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 4-е изд. - М. : Академия, 2008. - 302 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5272-4 : 267.00 р. Допущено МО РФ ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованные исчисления высказываний -- логика предикатов -- элементы теории алгоритмов -- учебные пособия Экземпляры всего: 2 Mесто хранения: аб (1), чз (1) Свободны: аб (1), чз (1) |
51 С544 Соболева, Татьяна Сергеевна. Дискретная математика : Учеб. для вузов по спец. напр. подгот. "Информатика и вычисл. техника", "Информ. системы", "Информ. безопасность" / Т.С. Соболева, А.В. Чечкин ; Под ред. А.В. Чечкина. - М. : Академия, 2006. - 254 с. : ил. - (Университетский учебник) (Прикладная математика и информатика). - ISBN 5-7695-2823-0 : 108.24 р. Доп. МО РФ ГРНТИ 27 УДК:51(075.8) Ключевые слова: дискретная математика -- теория множеств -- алгебра -- топология -- математическая логика -- математическая кибернетика -- математическая информатика -- учебники Доп.точки доступа: Чечкин, Александр Витальевич --- Чечкин, Александр Витальевич \ред.\ --- Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
51 Б73 Богатов, Д. Ф. Конспект лекций и практикум по математике для юристов [Текст] : учеб. пособие для образоват. учреждений юрид. профиля / Д.Ф. Богатов, Ф.Г. Богатов. - М. : Приор-издат, 2003. - 442 с. : ил. - (В помощь студенту). - ISBN 5-9512-0085-7 : 130.00 р. ГРНТИ 27 УДК:51(075.8) Ключевые слова: математика -- арифметические основы -- проценты -- множества -- математическая логика -- комбинаторика -- функции -- графики -- производные -- теория вероятностей -- статистические исследования -- математическая статистика -- динамические процессы -- прогнозирование -- математическое программирование -- линейное программирование -- искусственный интеллект -- конспекты лекций -- практикумы -- учебные пособия Доп.точки доступа: Богатов, Ф.Г. --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
004 П58 Попов, Александр Михайлович. Информатика и математика [Текст] : учеб. пособие для вузов по спец. "Юриспруденция" (030501) / А.М. Попов, В.Н. Сотников, Е.И. Нагаева ; Под ред. А.М. Попова. - М. : ЮНИТИ-ДАНА, 2008. - 302 с. : ил. - ISBN 978-5-238-01396-1 : 270.00 р. Рек. УМЦ ГРНТИ 20 УДК:004(075.8)51(075.8) Ключевые слова: информатика -- математика -- математическая логика -- теория вероятностей -- математическая статистика -- программирование -- языки -- алгоритмы -- компьютерный практикум -- защита информации -- учебные пособия Доп.точки доступа: Сотников, Валерий Николаевич --- Нагаева, Елена Игоревна --- Попов, Александр Михайлович \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
51 Л656 Лихтарников, Леонид Моисеевич. Математическая логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 339.22 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна --- Экземпляры всего: 5 Mесто хранения: чз (2), зал ППС (1), аб (2) Свободны: чз (2), зал ППС (1), аб (2) |