Поиск ведется по:
Общее количество найденных документов : 79
1-10
11-20
21-30
31-40
41-50
51-60
|
1. 51
Ч-508
Чёрч, Алонзо.
Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р.
ГРНТИ 27.03.19
УДК:510.6(075.8)
Ключевые слова: математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники
Доп.точки доступа: Успенский, В.А. \ред. - редактор.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
>
Ч-508
Чёрч, Алонзо.
Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р.
ГРНТИ 27.03.19
УДК:510.6(075.8)
Ключевые слова: математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники
Доп.точки доступа: Успенский, В.А. \ред. - редактор.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
>
2. 51
Ф19
Фалевич, Борис Яковлевич.
Теория алгоритмов : Учеб. пособие для вузов по напр. "Информатика и выч. техника" / Б.Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. - (Для вузов). - ISBN 5217032499 : 145.19 р.
Допущено МО РФ
ГРНТИ 27.03.17
УДК:510.5(075.8)
Ключевые слова: теория алгоритмов -- алгоритмы -- массовые проблемы -- машины Тьюринга -- Тьюринг -- алгорифмы Маркова -- рекурсивные функции -- теория множеств -- комбинаторные массовые проблемы -- учебные пособия
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
>
Ф19
Фалевич, Борис Яковлевич.
Теория алгоритмов : Учеб. пособие для вузов по напр. "Информатика и выч. техника" / Б.Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. - (Для вузов). - ISBN 5217032499 : 145.19 р.
Допущено МО РФ
ГРНТИ 27.03.17
УДК:510.5(075.8)
Ключевые слова: теория алгоритмов -- алгоритмы -- массовые проблемы -- машины Тьюринга -- Тьюринг -- алгорифмы Маркова -- рекурсивные функции -- теория множеств -- комбинаторные массовые проблемы -- учебные пособия
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
>
3. 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)
Найти похожие
>
С892
Судоплатов, С. В.
Математическая логика и теория алгоритмов : Учеб. для вузов по напр. 654600 Информатика и выч. техника, 654700 Информационные системы, 540200 Физ.-мат. образование / С.В. Судоплатов, Е.В. Овчинникова ; НГТУ. - М., Новосибирск : ИНФРА-М, Изд-во НГТУ, 2004. - 224 с. - (Высшее образование). - ISBN 5778204582. - ISBN 5160019758 : 63.58 р.
ГРНТИ 27.03
УДК:510.6(075.8)
Ключевые слова: логика -- математическая логика -- исчисления предикатов -- теории моделей -- теории алгоритмов -- неклассические логики -- учебники
Доп.точки доступа: Овчинникова, Е.В. ---
Экземпляры всего: 40
Mесто хранения: аб (38), чз (2)
Свободны: аб (38), чз (2)
Найти похожие
>
4. 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)
Найти похожие
>
И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)
Найти похожие
>
5. 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)
Найти похожие
>
А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)
Найти похожие
>
6. 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)
Найти похожие
>
И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)
Найти похожие
>
7. 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)
Найти похожие
>
Л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)
Найти похожие
>
8. 519.6
М158
Макконнелл, Дж.
Анализ алгоритмов. Активный обучающий подход : учеб. пособие по напр. подгот. спец. "Информатика и выч. техника" / Дж. Макконнелл ; Пер. с англ. С.А. Кулешова под ред. С.К. Ландо. - 3-е доп. изд. - М. : Техносфера, 2009. - 415 с. : ил. - (Мир программирования ; VIII, 09). - ISBN 978-5-94836-216-8. - ISBN 978-0-7637-0782-8 : 420 р.
Рек. Учен. Советом МГАПиИ
ГРНТИ 27.03.17
УДК:519.68(075.8)510.5(075.8)
Ключевые слова: алгоритмы -- анализ алгоритмов -- рекурсивные алгоритмы -- алгоритмы поиска -- алгоритмы выборки -- алгоритмы сортировки -- численные алгоритмы -- алгоритмы формальных языков -- алгоритмы сравнения с образцом -- алгоритмы на графах -- параллельные алгоритмы -- вычислимое -- невычислимое -- таблица случайных чисел -- генерирование псевдослучайных чисел -- учебные пособия
Доп.точки доступа: Ландо, С.К. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
>
М158
Макконнелл, Дж.
Анализ алгоритмов. Активный обучающий подход : учеб. пособие по напр. подгот. спец. "Информатика и выч. техника" / Дж. Макконнелл ; Пер. с англ. С.А. Кулешова под ред. С.К. Ландо. - 3-е доп. изд. - М. : Техносфера, 2009. - 415 с. : ил. - (Мир программирования ; VIII, 09). - ISBN 978-5-94836-216-8. - ISBN 978-0-7637-0782-8 : 420 р.
Рек. Учен. Советом МГАПиИ
ГРНТИ 27.03.17
УДК:519.68(075.8)510.5(075.8)
Ключевые слова: алгоритмы -- анализ алгоритмов -- рекурсивные алгоритмы -- алгоритмы поиска -- алгоритмы выборки -- алгоритмы сортировки -- численные алгоритмы -- алгоритмы формальных языков -- алгоритмы сравнения с образцом -- алгоритмы на графах -- параллельные алгоритмы -- вычислимое -- невычислимое -- таблица случайных чисел -- генерирование псевдослучайных чисел -- учебные пособия
Доп.точки доступа: Ландо, С.К. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
>
9. 51
М545
Множества и алгебраические системы : метод. указания к выполнению типового расчета № 1 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; сост. Л. В. Бурлова, А. А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2009. - 51 с. - Б. ц.
ГРНТИ 27.03.19
27.17
УДК:51(075.8)
Ключевые слова: множества -- алгебраические системы -- бинарные отношения -- методические указания -- учебные пособия
Перейти к внешнему ресурсу полный текст,
Перейти к внешнему ресурсу полный текст в ЭБС bookonlime
Доп.точки доступа: Бурлова, Л.В. \сост.\ --- ВСГТУ
Экземпляры всего: 5
Mесто хранения: кх (5)
Свободны: кх (5)
Найти похожие
>
М545
Множества и алгебраические системы : метод. указания к выполнению типового расчета № 1 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; сост. Л. В. Бурлова, А. А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2009. - 51 с. - Б. ц.
ГРНТИ 27.03.19
27.17
УДК:51(075.8)
Ключевые слова: множества -- алгебраические системы -- бинарные отношения -- методические указания -- учебные пособия
Перейти к внешнему ресурсу полный текст,
Перейти к внешнему ресурсу полный текст в ЭБС bookonlime
Доп.точки доступа: Бурлова, Л.В. \сост.\ --- ВСГТУ
Экземпляры всего: 5
Mесто хранения: кх (5)
Свободны: кх (5)
Найти похожие
>
10. 51
О-753
Основы алгебры логики : Метод. указания к выполнению типового расчета № 2 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; Сост. Л.В. Бурлова, А.А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2010. - 64 с. - Б. ц.
ГРНТИ 27.03.19
27.23
УДК:510.6(075.8)519.7(075.8)
Рубрики: Математическая логика--Методические указания--Учебные пособия --- Дискретная математика--Методические указания--Учебные пособия ---Ключевые слова: алгебра логики -- математическая логика -- дискретная математика -- методические указания -- учебные пособия
Перейти к внешнему ресурсу полный текст,
Перейти к внешнему ресурсу полный текст в ЭБС bookonlime
Доп.точки доступа: Бурлова, Л.В. \сост.\ --- Бадлуева, А.А. \сост.\ --- ВСГТУ
Экземпляры всего: 5
Mесто хранения: кх (5)
Свободны: кх (5)
Найти похожие
О-753
Основы алгебры логики : Метод. указания к выполнению типового расчета № 2 по курсу "Дискретная математика" и варианты заданий / ВСГТУ ; Сост. Л.В. Бурлова, А.А. Бадлуева. - Улан-Удэ : Издательство ВСГТУ, 2010. - 64 с. - Б. ц.
ГРНТИ 27.03.19
27.23
УДК:510.6(075.8)519.7(075.8)
Рубрики: Математическая логика--Методические указания--Учебные пособия --- Дискретная математика--Методические указания--Учебные пособия ---
Перейти к внешнему ресурсу полный текст,
Перейти к внешнему ресурсу полный текст в ЭБС bookonlime
Доп.точки доступа: Бурлова, Л.В. \сост.\ --- Бадлуева, А.А. \сост.\ --- ВСГТУ
Экземпляры всего: 5
Mесто хранения: кх (5)
Свободны: кх (5)
Найти похожие