| Найдено документов - 8 | Найти похожие: "Индекс ББК" = '22.12' | Версия для печати |
Сортировать по:
1. Книга
Индекс ББК: 22.12+22.1я7
Лихтарников, Л. М.
Математическая логика : курс лекций : Задачник-практикум и решения : учеб. пособие для вузов / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 2009, 1998. - 288 с. - ISBN 5-8114-0082-9. - ISBN 978-5-8114-0082-9 : 25-00.
Математическая логика : курс лекций : Задачник-практикум и решения : учеб. пособие для вузов / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 2009, 1998. - 288 с. - ISBN 5-8114-0082-9. - ISBN 978-5-8114-0082-9 : 25-00.
Авторы: Лихтарников Л. М., Сукачева Т. Г.
Шифры: 22.1 - Л 65
Ключевые слова: Алгебра логики, Алгоритмы, Математическая логика
2. Книга
Индекс ББК: 22.12
Купиллари, А.
Трудности доказательств. Как преодолеть страх перед математикой / А. Купиллари; пер. с англ. С. А. Кулешова. - Москва : Техносфера, 2002. - 304 с. - (Мир математики). - ISBN 5-94836-003-2 : 110-00.
Трудности доказательств. Как преодолеть страх перед математикой / А. Купиллари; пер. с англ. С. А. Кулешова. - Москва : Техносфера, 2002. - 304 с. - (Мир математики). - ISBN 5-94836-003-2 : 110-00.
Авторы: Купиллари А.
Шифры: 22.1 - К 92
Ключевые слова: Математика, Математические основания, Множества, Утверждения математические, Числа
3. Документ
Индекс ББК: 22.12
Демидова, Т. Е.
Теория и практика решения текстовых задач : учеб. пособие для вузов / Т. Е. Демидова, А. П. Тонких. - Москва : Академия, 2002. - 287 с. : ил. - (Серия "Высшее образование"). - ISBN 5-7695-0701-2 : 75-02.
Теория и практика решения текстовых задач : учеб. пособие для вузов / Т. Е. Демидова, А. П. Тонких. - Москва : Академия, 2002. - 287 с. : ил. - (Серия "Высшее образование"). - ISBN 5-7695-0701-2 : 75-02.
Авторы: Демидова Т. Е., Тонких А. П.
Шифры: 22.1 - Д 30
Ключевые слова: Алгебраический метод, Арифметический метод, Геометрический метод, Логическое мышление, Математическая задача
4. Документ
Индекс ББК: 22.12
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 4-е изд. - Москва : Физматлит, 2001. - 256 с. - ISBN 5-9221-0026-2 : 80-83.
Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 4-е изд. - Москва : Физматлит, 2001. - 256 с. - ISBN 5-9221-0026-2 : 80-83.
Авторы: Лавров И. А., Максимова Л. Л.
Шифры: 22.1 - Л 13
Ключевые слова: Аксиома, Математическая логика, Предикаты, Теория алгоритмов, Теория множеств
5. Документ
Индекс ББК: 22.183.4+22.12
Шалыто, А. А.
Логическое управление : Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто. - Санкт-Петербург : Наука, 2000. - 780 с. - ISBN 5-02-024884-3 : 198-00.
Логическое управление : Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто. - Санкт-Петербург : Наука, 2000. - 780 с. - ISBN 5-02-024884-3 : 198-00.
Авторы: Шалыто А. А.
Шифры: 22.18 - Ш 18
Ключевые слова: Булевы формулы, Булевы функции, Логические элементы, Математическое программирование, Мультиплексоры
6. Документ
Индекс ББК: 22.161.6+22.12+22.25
Алексеев, Ю. К.
Введение в теорию катастроф : учеб. пособие для вузов / Ю. К. Алексеев, А. П. Сухоруков. - Москва : МГУ, 2000. - 173 с. - ISBN 5-211-04163-1 : 53-13.
Введение в теорию катастроф : учеб. пособие для вузов / Ю. К. Алексеев, А. П. Сухоруков. - Москва : МГУ, 2000. - 173 с. - ISBN 5-211-04163-1 : 53-13.
Авторы: Алексеев Ю. К., Сухоруков А. П.
Шифры: 22.16 - А 46
Ключевые слова: Деформация, Отображение, Теория катастроф
7. Книга
Индекс ББК: 22.174+22.12+32.973.2-018.1
Набебин, А. А.
Логика и Пролог в дискретной математике / А. А. Набебин. - Москва : МЭИ, 1996. - 452 с. : ил. - ISBN 5-7046-0162-6 : 37-50.
Логика и Пролог в дискретной математике / А. А. Набебин. - Москва : МЭИ, 1996. - 452 с. : ил. - ISBN 5-7046-0162-6 : 37-50.
Авторы: Набебин А. А.
Шифры: 22.17 - Н 13
Ключевые слова: Алгебра логики, Алгоритмы, Дискретная математика, Комбинаторика, Математическая логика, Предикаты, Программирование, Пролог
8. Документ
Индекс ББК: 22.12
Булос, Д.
Вычислимость и логика : пер. с англ. / Д. Булос, Р. Джеффри. - Москва : Мир, 1994. - 396 с. : ил. - ISBN 5-03-003067-0 : 28-00.
Вычислимость и логика : пер. с англ. / Д. Булос, Р. Джеффри. - Москва : Мир, 1994. - 396 с. : ил. - ISBN 5-03-003067-0 : 28-00.
Авторы: Булос Д., Джеффри Р.
Шифры: 22.1 - Б 90
Ключевые слова: Математическая логика, Счет, Диагонализация