Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики и математическая логика
Печать списка
--> Математика
----> основания математики и математическая логика
Рубрика
- Название:
- основания математики и математическая логика
Печать списка
Связанные описания:
Заказать 
На полку
Книга
Люксембург А. А.
Автоматизированное построение математических теорий
ISBN 5-354-01005-5
Люксембург А. А.
Автоматизированное построение математических теорий
Серия: Relata Refero
Эдиториал УРСС, 2005 г.ISBN 5-354-01005-5
Книга
Волгин Л. И.
Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника
УлГТУ, 2005 г.
ISBN 5-89146-558-2
Волгин Л. И.
Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника
УлГТУ, 2005 г.
ISBN 5-89146-558-2
Книга
Тарский, А
Введение в логику и методологию дедуктивных наук
Изд-во иностранной литературы, 1948 г.
ISBN отсутствует
Тарский, А
Введение в логику и методологию дедуктивных наук
Изд-во иностранной литературы, 1948 г.
ISBN отсутствует
Книга
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование: Сборник статей
1992 г.
ISBN 5-7623-0417-5
Вычислительные системы. Сборник научных трудов. Вып.146. Логика и семантическое программирование: Сборник статей
1992 г.
ISBN 5-7623-0417-5
Книга
Кузнецова, И. С
Гносеологические проблемы математического знания
Изд-во ЛГУ, 1984 г.
ISBN отсутствует
Кузнецова, И. С
Гносеологические проблемы математического знания
Изд-во ЛГУ, 1984 г.
ISBN отсутствует
Книга
Гастев Ю. А.
Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
ISBN 978-5-397-00585-2
Гастев Ю. А.
Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
Серия: Из истории логики XX века
Эдиториал УРСС, 2009 г.ISBN 978-5-397-00585-2
Книга
Макоха А. Н.
Дискретная математика: учебное пособие по направлению подготовки бакалавров и магистров 511600 "Прикладные математика и физика"
Физматлит, 2005 г.
ISBN 5-922106-30-9
Макоха А. Н.
Дискретная математика: учебное пособие по направлению подготовки бакалавров и магистров 511600 "Прикладные математика и физика"
Физматлит, 2005 г.
ISBN 5-922106-30-9
Книга
Аляев Ю. А.
Дискретная математика и математическая логика: учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям
Финансы и статистика, 2006 г.
ISBN 5-279-03045-7
Аляев Ю. А.
Дискретная математика и математическая логика: учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям
Финансы и статистика, 2006 г.
ISBN 5-279-03045-7
Книга
Акимов О. Е.
Дискретная математика: логика, группы, графы, фракталы
Акимова, 2005 г.
ISBN отсутствует
Акимов О. Е.
Дискретная математика: логика, группы, графы, фракталы
Акимова, 2005 г.
ISBN отсутствует
Книга
Лихтарников Л. М.
Занимательные логические задачи: Для учащихся начальной школы
Лань-Пресс, 1996 г.
ISBN 5-86617-029-9
Лихтарников Л. М.
Занимательные логические задачи: Для учащихся начальной школы
Лань-Пресс, 1996 г.
ISBN 5-86617-029-9
Книга
Избранные задачи из журнала " American mathematical monthly". Задачи и олимпиады: [Сборник]
Мир, 1977 г.
ISBN отсутствует
Избранные задачи из журнала " American mathematical monthly". Задачи и олимпиады: [Сборник]
Мир, 1977 г.
ISBN отсутствует
Книга
Вейль, Г.
Избранные труды. Математика. Теоретическая физика
ISBN отсутствует
Вейль, Г.
Избранные труды. Математика. Теоретическая физика
Серия: Классики науки
Наука, 1984 г.ISBN отсутствует
Книга
Кутергин, В. А.
Инженерные теории с конструктивной точки зрения. Множество геометрий и множество моделей искусств...: монография
Лань-Пресс, 2015 г.
ISBN 978-5-8114-1879-4
Кутергин, В. А.
Инженерные теории с конструктивной точки зрения. Множество геометрий и множество моделей искусств...: монография
Лань-Пресс, 2015 г.
ISBN 978-5-8114-1879-4
Книга
Исследования по конструктивной математике и математической логике. VIII
Наука, 1979 г.
ISBN отсутствует
Исследования по конструктивной математике и математической логике. VIII
Наука, 1979 г.
ISBN отсутствует
Книга
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Книга
Имре Ш.
Квантовые вычисления и связь. Инженерный подход
Физматлит, 2008 г.
ISBN 978-5-922109-93-2
Имре Ш.
Квантовые вычисления и связь. Инженерный подход
Физматлит, 2008 г.
ISBN 978-5-922109-93-2
Книга
Континуальные алгебраические логики , исчисления и нейроматематика в науке, технике и экономике (...: труды
УлГТУ, 2002 г.
ISBN отсутствует
Континуальные алгебраические логики , исчисления и нейроматематика в науке, технике и экономике (...: труды
УлГТУ, 2002 г.
ISBN отсутствует
Книга
Континуальные алгебраические логики, исчисления и нейроматематика в науке , технике и экономике" ...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Континуальные алгебраические логики, исчисления и нейроматематика в науке , технике и экономике" ...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Книга
Континуальные алгебраические логики, исчисления и нейроматематика в науке , технике и экономике" ...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Континуальные алгебраические логики, исчисления и нейроматематика в науке , технике и экономике" ...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Книга
Континуальные алгебраические логики, исчисления и нейроматематика в науке, технике и экономике. (...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Континуальные алгебраические логики, исчисления и нейроматематика в науке, технике и экономике. (...: Труды
УлГТУ, 2002 г.
ISBN отсутствует
Книга
Континуальные логико-алгебраические исчисления и нейроматематика в науке , технике, экономике" (У...: Труды
УлГТУ, 2001 г.
ISBN отсутствует
Континуальные логико-алгебраические исчисления и нейроматематика в науке , технике, экономике" (У...: Труды
УлГТУ, 2001 г.
ISBN отсутствует
Книга
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Книга
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Книга
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Континуальные логико-алгебраические исчисления и нейроматематика в науке, технике и экономике (Ул...: труды
УлГТУ, 2001 г.
ISBN отсутствует
Книга
Успенский, В. А.
Лекции о вычислимых функциях
Гос. изд-во физико-математической литературы, 1960 г.
ISBN отсутствует
Успенский, В. А.
Лекции о вычислимых функциях
Гос. изд-во физико-математической литературы, 1960 г.
ISBN отсутствует
Книга
Босс, В.
Лекции по математике. Т.16. Теория множеств: От Кантора до Коэна: учебное пособие
Эдиториал УРСС, 2011 г.
ISBN 978-5-397-02162-3
Босс, В.
Лекции по математике. Т.16. Теория множеств: От Кантора до Коэна: учебное пособие
Эдиториал УРСС, 2011 г.
ISBN 978-5-397-02162-3
Книга
Волгин Л. И.
Логика исчисления иммитансов многоэлементных электрических двухполюсников: Две лекции по курсу "Радиотехнические цепи и сигналы"
УлГТУ, 1998 г.
ISBN отсутствует
Волгин Л. И.
Логика исчисления иммитансов многоэлементных электрических двухполюсников: Две лекции по курсу "Радиотехнические цепи и сигналы"
УлГТУ, 1998 г.
ISBN отсутствует
Книга
Теребилов, О. Ф.
Логика математического мышления
Изд-во Ленингр. ун-та, 1987 г.
ISBN отсутствует
Теребилов, О. Ф.
Логика математического мышления
Изд-во Ленингр. ун-та, 1987 г.
ISBN отсутствует
Книга
Волгин Л. И.
Логические основы математической теории надежности: три лекции по курсу "Математическая теория надежности"
УлГТУ, 2005 г.
ISBN отсутствует
Волгин Л. И.
Логические основы математической теории надежности: три лекции по курсу "Математическая теория надежности"
УлГТУ, 2005 г.
ISBN отсутствует
Книга
Куликова, Т. А.
Математика золотого сечения: учебное пособие
Изд-во МЭИ, 2018 г.
ISBN 978-5-7046-1940-6
Куликова, Т. А.
Математика золотого сечения: учебное пособие
Изд-во МЭИ, 2018 г.
ISBN 978-5-7046-1940-6
Книга
Финаев В. И.
Математическая логика: Учебное пособие для вузов
Изд-во ТРТУ, 2001 г.
ISBN отсутствует
Финаев В. И.
Математическая логика: Учебное пособие для вузов
Изд-во ТРТУ, 2001 г.
ISBN отсутствует
Книга
Математическая логика: учебное пособие для математических специальностей педагогических институтов
Вышэйшая школа, 1991 г.
ISBN 5-339-00342-6
Математическая логика: учебное пособие для математических специальностей педагогических институтов
Вышэйшая школа, 1991 г.
ISBN 5-339-00342-6
Книга
Ершов Ю. Л.
Математическая логика: Учебное пособие для математических специальностей вузов
Наука, 1979 г.
ISBN отсутствует
Ершов Ю. Л.
Математическая логика: Учебное пособие для математических специальностей вузов
Наука, 1979 г.
ISBN отсутствует
Книга
Эдельман, С. Л.
Математическая логика: учебное пособие для педагогических ин-тов
Высшая школа, 1975 г.
ISBN отсутствует
Эдельман, С. Л.
Математическая логика: учебное пособие для педагогических ин-тов
Высшая школа, 1975 г.
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 отсутствует
Книга
Менделеев, И. Д.
Метод математики. Логика и гносеология математических знаний
Эдиториал УРСС, 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 отсутствует