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