ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХПоиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> ГАСНТИ 27.03
Печать списка
--> ГАСНТИ 27.03
Рубрика
- Название:
- ГАСНТИ 27.03
Печать списка
Связанные описания:
Заказать 
На полку
Книга
Финаев В. И.
Математическая логика: Учебное пособие для вузов
Изд-во ТРТУ, 2001 г.
ISBN отсутствует
Финаев В. И.
Математическая логика: Учебное пособие для вузов
Изд-во ТРТУ, 2001 г.
ISBN отсутствует
Книга
Математическая логика: учебное пособие для математических специальностей педагогических институтов
Вышэйшая школа, 1991 г.
ISBN 5-339-00342-6
Математическая логика: учебное пособие для математических специальностей педагогических институтов
Вышэйшая школа, 1991 г.
ISBN 5-339-00342-6
Книга
Ершов Ю. Л.
Математическая логика: Учебное пособие для математических специальностей вузов
Наука, 1979 г.
ISBN отсутствует
Ершов Ю. Л.
Математическая логика: Учебное пособие для математических специальностей вузов
Наука, 1979 г.
ISBN отсутствует
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
Книга
Математическая логика и алгоритмические проблемы: сборник статей
ISBN отсутствует
Математическая логика и алгоритмические проблемы: сборник статей
Серия: Труды института математики
Наука, 1989 г.ISBN отсутствует
Книга
Харин, Н. Н.
Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Харин, Н. Н.
Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Книга
Лихтарников Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0082-9
Лихтарников Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0082-9
Книга
Лихтарников Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие для вузов по математическим специальностям
Лань-Пресс, 1998 г.
ISBN 5-8114-0082-9
Лихтарников Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие для вузов по математическим специальностям
Лань-Пресс, 1998 г.
ISBN 5-8114-0082-9
Книга
Математические методы построения и анализа алгоритмов: сборник статей
Наука, 1990 г.
ISBN отсутствует
Математические методы построения и анализа алгоритмов: сборник статей
Наука, 1990 г.
ISBN отсутствует
Книга
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию докозательств
Наука, 1979 г.
ISBN отсутствует
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию докозательств
Наука, 1979 г.
ISBN отсутствует
Книга
Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ: Сборник научных трудов
[б.и.], 1983 г.
ISBN отсутствует
Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ: Сборник научных трудов
[б.и.], 1983 г.
ISBN отсутствует
Книга
Менделеев, И. Д.
Метод математики. Логика и гносеология математических знаний
Эдиториал УРСС, 2011 г.
ISBN 978-5-382-01314-5
Менделеев, И. Д.
Метод математики. Логика и гносеология математических знаний
Эдиториал УРСС, 2011 г.
ISBN 978-5-382-01314-5
Книга
Методические указания и описания лабораторных работ по курсу "Математическая логика": Основы язык...
1996 г.
ISBN отсутствует
Методические указания и описания лабораторных работ по курсу "Математическая логика": Основы язык...
1996 г.
ISBN отсутствует
Книга
Методические указания к повторению курса элементарной математики. Алгебра. Тригонометрия. Элемент...
1962 г.
ISBN отсутствует
Методические указания к повторению курса элементарной математики. Алгебра. Тригонометрия. Элемент...
1962 г.
ISBN отсутствует
Книга
Методические указания по курсу "Математическая логика и теория алгоритмов" : Язык программировани...
1992 г.
ISBN отсутствует
Методические указания по курсу "Математическая логика и теория алгоритмов" : Язык программировани...
1992 г.
ISBN отсутствует
Книга
Набебин А. А.
Методические указания по курсу "Основы математического моделирования" : Монадическая логика и Про...
1992 г.
ISBN отсутствует
Набебин А. А.
Методические указания по курсу "Основы математического моделирования" : Монадическая логика и Про...
1992 г.
ISBN отсутствует
Книга
Рвачев, В. Л.
Методы алгебры логики в математической физике
Наукова думка, 1974 г.
ISBN отсутствует
Рвачев, В. Л.
Методы алгебры логики в математической физике
Наукова думка, 1974 г.
ISBN отсутствует
Книга
Методы дискретного анализа в синтезе реализаций булевых функций. Вып. 51: сборник научных трудов
[б. и.], 1991 г.
ISBN отсутствует
Методы дискретного анализа в синтезе реализаций булевых функций. Вып. 51: сборник научных трудов
[б. и.], 1991 г.
ISBN отсутствует
Книга
Каипов, В. Х.
Методы обработки данных в системах с нечеткой информацией
Илим, 1988 г.
ISBN отсутствует
Каипов, В. Х.
Методы обработки данных в системах с нечеткой информацией
Илим, 1988 г.
ISBN отсутствует
Отчет
Методы поддержки принятия решений на основе обработки разноструктурированных и полиформатных данн...: НИР
2022 г.
ISBN отсутствует
Методы поддержки принятия решений на основе обработки разноструктурированных и полиформатных данн...: НИР
2022 г.
ISBN отсутствует
Книга
Многозначные логики и их применения. Т.1. Логические исчисления, алгебры и функциональные свойства
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00768-7
Многозначные логики и их применения. Т.1. Логические исчисления, алгебры и функциональные свойства
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00768-7
Книга
Многозначные логики и их применения. Т.2. Логики в системах искусственного интеллекта
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00777-9
Многозначные логики и их применения. Т.2. Логики в системах искусственного интеллекта
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00777-9
Книга
Столл, Р. Р.
Множества. Логика. Аксиоматические теории
ISBN отсутствует
Столл, Р. Р.
Множества. Логика. Аксиоматические теории
Серия: Математическое просвящение
Просвещение, 1968 г.ISBN отсутствует
Отчет
Моделирование рассуждений когнитивного агента на основе неклассических логик. 1. Заключительный о...: НИР
2022 г.
ISBN отсутствует
Моделирование рассуждений когнитивного агента на основе неклассических логик. 1. Заключительный о...: НИР
2022 г.
ISBN отсутствует
Книга
Волгин Л. И.
Непрерывная логика и ее схемотехнические применения: Пять лекций по курсу"Логические основы и модели нейронных сетей"
УГТУ, 1996 г.
ISBN 5-230-18368-3
Волгин Л. И.
Непрерывная логика и ее схемотехнические применения: Пять лекций по курсу"Логические основы и модели нейронных сетей"
УГТУ, 1996 г.
ISBN 5-230-18368-3
Книга
Пенроуз Р.
Новый ум короля. О компьютерах, мышлении и законах физики
The emperor`s new mind. Concerning Computers, Minds and The Laws of Physics
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00744-1
Пенроуз Р.
Новый ум короля. О компьютерах, мышлении и законах физики
The emperor`s new mind. Concerning Computers, Minds and The Laws of Physics
Эдиториал УРСС, 2008 г.
ISBN 978-5-382-00744-1
Книга
Пенроуз Р.
Новый ум короля. О компьютерах, мышлении и законах физики
The emperor`s new mind. Concerning Computers, Minds and The Laws of Physics
Эдиториал УРСС, 2011 г.
ISBN 978-5-453-00013-5
Пенроуз Р.
Новый ум короля. О компьютерах, мышлении и законах физики
The emperor`s new mind. Concerning Computers, Minds and The Laws of Physics
Эдиториал УРСС, 2011 г.
ISBN 978-5-453-00013-5
Книга
Пенроуз Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2005 г.
ISBN 5-354-00993-6
Пенроуз Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2005 г.
ISBN 5-354-00993-6
Книга
Пенроуз Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2003 г.
ISBN 5-354-00005-X
Пенроуз Р.
Новый ум короля: О компьютерах, мышлении и законах физики
Эдиториал УРСС, 2003 г.
ISBN 5-354-00005-X
Книга
Ивс, Г.
О математической логике и философии математики (Начальные сведения об основаниях математики)
Знание, 1968 г.
ISBN отсутствует
Ивс, Г.
О математической логике и философии математики (Начальные сведения об основаниях математики)
Знание, 1968 г.
ISBN отсутствует
Книга
Рузавин, Г. И.
О природе математического знания (Очерки по методологии математики)
Мысль, 1968 г.
ISBN отсутствует
Рузавин, Г. И.
О природе математического знания (Очерки по методологии математики)
Мысль, 1968 г.
ISBN отсутствует
Книга
Оптимизация и моделирование: Межвузовский сборник научных трудов
Горьковский гос.ун-т, 1988 г.
ISBN отсутствует
Оптимизация и моделирование: Межвузовский сборник научных трудов
Горьковский гос.ун-т, 1988 г.
ISBN отсутствует
Книга
Бирюков С. И.
Оптимизация. Элементы теории. Численные методы: Учебное пособие
МЗ-ПРЕСС, 2003 г.
ISBN отсутствует
Бирюков С. И.
Оптимизация. Элементы теории. Численные методы: Учебное пособие
МЗ-ПРЕСС, 2003 г.
ISBN отсутствует
Книга
Аржаных, И. С.
Опыт классификации математических исследований: категории математического познания
Фан, 1982 г.
ISBN отсутствует
Аржаных, И. С.
Опыт классификации математических исследований: категории математического познания
Фан, 1982 г.
ISBN отсутствует
Книга
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Книга
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Гильберт, Д.
Основание математики. Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Книга
Клини, С. К.
Основания интуиционистской математики с точки зрения теории рекурсивных фунуций
Наука, 1978 г.
ISBN отсутствует
Клини, С. К.
Основания интуиционистской математики с точки зрения теории рекурсивных фунуций
Наука, 1978 г.
ISBN отсутствует
Книга
Лукас В. А.
Основы фази-управления: Учебное пособие для вузов по направлению "Автоматизация и управление"
Изд-во УГГГА, 2000 г.
ISBN 5-8019-0022-5
Лукас В. А.
Основы фази-управления: Учебное пособие для вузов по направлению "Автоматизация и управление"
Изд-во УГГГА, 2000 г.
ISBN 5-8019-0022-5
Книга
Яблонский С. В.
Предполные классы в многозначных логиках: Учебное пособие по курсу"Дискретная математика"
Изд-во МЭИ, 1997 г.
ISBN 5-7046-0214-2
Яблонский С. В.
Предполные классы в многозначных логиках: Учебное пособие по курсу"Дискретная математика"
Изд-во МЭИ, 1997 г.
ISBN 5-7046-0214-2
Диссертация
Энтресс Г.
Представление функций нескольких независимых переменных на основе непрерывной логики: Диссертация кандидата технических наук
1964 г.
ISBN отсутствует
Энтресс Г.
Представление функций нескольких независимых переменных на основе непрерывной логики: Диссертация кандидата технических наук
1964 г.
ISBN отсутствует
Книга
Сойер, У. У
Прелюдия к математике. Рассказ о некоторых любопытных и удивительных областях математики с предва...
Просвещение, 1972 г.
ISBN отсутствует
Сойер, У. У
Прелюдия к математике. Рассказ о некоторых любопытных и удивительных областях математики с предва...
Просвещение, 1972 г.
ISBN отсутствует
Книга
Антипенко, Л. Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует
Антипенко, Л. Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует
Книга
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
Книга
Аверкин А. Н.
Программное окружение разработки нечетких регуляторов: Методические указания по курсу "Мягкие вычисления"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Аверкин А. Н.
Программное окружение разработки нечетких регуляторов: Методические указания по курсу "Мягкие вычисления"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Книга
Салий, В. Н.
Решетки с единственными дополнениями
ISBN отсутствует
Салий, В. Н.
Решетки с единственными дополнениями
Серия: Современная алгебра
Наука, 1984 г.ISBN отсутствует
Книга
Петрушко И. М.
Сборник задач по алгебре, геометрии и началам анализа: учебное пособие для довузовской подготовки
Изд-во МЭИ, 2005 г.
ISBN 5-7046-1260-1
Петрушко И. М.
Сборник задач по алгебре, геометрии и началам анализа: учебное пособие для довузовской подготовки
Изд-во МЭИ, 2005 г.
ISBN 5-7046-1260-1
Книга
Петрушко И. М.
Сборник задач по алгебре, геометрии и началам анализа: учебное пособие
Лань-Пресс, 2007 г.
ISBN 978-5-8114-0726-2
Петрушко И. М.
Сборник задач по алгебре, геометрии и началам анализа: учебное пособие
Лань-Пресс, 2007 г.
ISBN 978-5-8114-0726-2
Книга
Петрушко И. М.
Сборник задач по алгебре, геометрии и началам анализа: учебное пособие
Лань-Пресс, 2019 г.
ISBN 978-5-8114-0726-2
Петрушко И. М.
Сборник задач по алгебре, геометрии и началам анализа: учебное пособие
Лань-Пресс, 2019 г.
ISBN 978-5-8114-0726-2
Книга
Беркли, Э.
Символическая логика и разумные машины
Изд-во иностранной лит., 1961 г.
ISBN отсутствует
Беркли, Э.
Символическая логика и разумные машины
Изд-во иностранной лит., 1961 г.
ISBN отсутствует
Книга
Глушков, В. М.
Синтез цифровых автоматов
Эдиториал УРСС, Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2703-3
Глушков, В. М.
Синтез цифровых автоматов
Эдиториал УРСС, Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2703-3
Книга
Современная математика и ее приложения. Т.108: Тематические обзоры
ISBN отсутствует
Современная математика и ее приложения. Т.108: Тематические обзоры
Серия: Итоги науки и техники
ВИНИТИ, 2006 г.ISBN отсутствует
Книга
Вагин, В. Н.
Теория алгоритмов и математическая логика: учебное пособие по курсам "Дискретная математика", "Математическая логика", по направлениям "Прикладная математика и
Издательский дом МЭИ, 2012 г.
ISBN отсутствует
Вагин, В. Н.
Теория алгоритмов и математическая логика: учебное пособие по курсам "Дискретная математика", "Математическая логика", по направлениям "Прикладная математика и
Издательский дом МЭИ, 2012 г.
ISBN отсутствует
Книга
Успенский, В. А.
Теория алгоритмов: основные открытия и приложения
Наука, 1987 г.
ISBN отсутствует
Успенский, В. А.
Теория алгоритмов: основные открытия и приложения
Наука, 1987 г.
ISBN отсутствует
Книга
Кочергин В. И.
Теория многомерных цифро-векторных множеств
Изд-во Томского ун-та, 2006 г.
ISBN отсутствует
Кочергин В. И.
Теория многомерных цифро-векторных множеств
Изд-во Томского ун-та, 2006 г.
ISBN отсутствует
Книга
Песин Я. Б.
Теория размерности и динамические системы: Современный взгляд и приложения
ISBN 5-939722-61-X
Песин Я. Б.
Теория размерности и динамические системы: Современный взгляд и приложения
Серия: Современная математика
Ин-т компьют. исслед., 2002 г.ISBN 5-939722-61-X
Книга
Плоткин, Б. И.
Универсальная алгебра, алгебраическая логика и базы данных
Наука, 1991 г.
ISBN отсутствует
Плоткин, Б. И.
Универсальная алгебра, алгебраическая логика и базы данных
Наука, 1991 г.
ISBN отсутствует
Отчет
Упреждающее планирование потоков структурированных заданий в распределенных гетерогенных вычислит...: НИР
2020 г.
ISBN отсутствует
Упреждающее планирование потоков структурированных заданий в распределенных гетерогенных вычислит...: НИР
2020 г.
ISBN отсутствует