ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХПоиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики и математическая логика
Печать списка
--> Математика
----> основания математики и математическая логика
Рубрика
- Название:
- основания математики и математическая логика
Печать списка
Связанные описания:
Заказать 
На полку
Книга
Волгин Л. И.
Логика исчисления иммитансов многоэлементных электрических двухполюсников: Две лекции по курсу "Радиотехнические цепи и сигналы"
УлГТУ, 1998 г.
ISBN отсутствует
Волгин Л. И.
Логика исчисления иммитансов многоэлементных электрических двухполюсников: Две лекции по курсу "Радиотехнические цепи и сигналы"
УлГТУ, 1998 г.
ISBN отсутствует
Книга
Теребилов, О. Ф.
Логика математического мышления
Изд-во Ленингр. ун-та, 1987 г.
ISBN отсутствует
Теребилов, О. Ф.
Логика математического мышления
Изд-во Ленингр. ун-та, 1987 г.
ISBN отсутствует
Книга
Волгин Л. И.
Логические основы математической теории надежности: три лекции по курсу "Математическая теория надежности"
УлГТУ, 2005 г.
ISBN отсутствует
Волгин Л. И.
Логические основы математической теории надежности: три лекции по курсу "Математическая теория надежности"
УлГТУ, 2005 г.
ISBN отсутствует
Книга
Попов, В. А.
Математика в социогуманитарной сфере: учебное пособие для студентов вузов направления подготовки " Культурология"
Лань, 2021 г.
ISBN 978-5-8114-2205-0
Попов, В. А.
Математика в социогуманитарной сфере: учебное пособие для студентов вузов направления подготовки " Культурология"
Лань, 2021 г.
ISBN 978-5-8114-2205-0
Книга
Куликова, Т. А.
Математика золотого сечения: учебное пособие
Изд-во МЭИ, 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 отсутствует
Книга
Методы дискретного анализа в синтезе реализаций булевых функций. Вып. 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 отсутствует
Книга
Аржаных, И. С.
Опыт классификации математических исследований: категории математического познания
Фан, 1982 г.
ISBN отсутствует
Аржаных, И. С.
Опыт классификации математических исследований: категории математического познания
Фан, 1982 г.
ISBN отсутствует
Книга
Клини, С. К.
Основания интуиционистской математики с точки зрения теории рекурсивных фунуций
Наука, 1978 г.
ISBN отсутствует
Клини, С. К.
Основания интуиционистской математики с точки зрения теории рекурсивных фунуций
Наука, 1978 г.
ISBN отсутствует
Книга
Лукас В. А.
Основы фази-управления: Учебное пособие для вузов по направлению "Автоматизация и управление"
Изд-во УГГГА, 2000 г.
ISBN 5-8019-0022-5
Лукас В. А.
Основы фази-управления: Учебное пособие для вузов по направлению "Автоматизация и управление"
Изд-во УГГГА, 2000 г.
ISBN 5-8019-0022-5
Книга
Гжегорчик, А
Популярная логика. Общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
Гжегорчик, А
Популярная логика. Общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
Книга
Горейко, М. Н
Пособие по математике.( Для учащихся подготовительных курсов)
Белорусский государственный университет(БГУ), 1974 г.
ISBN отсутствует
Горейко, М. Н
Пособие по математике.( Для учащихся подготовительных курсов)
Белорусский государственный университет(БГУ), 1974 г.
ISBN отсутствует
Книга
Яблонский С. В.
Предполные классы в многозначных логиках: Учебное пособие по курсу"Дискретная математика"
Изд-во МЭИ, 1997 г.
ISBN 5-7046-0214-2
Яблонский С. В.
Предполные классы в многозначных логиках: Учебное пособие по курсу"Дискретная математика"
Изд-во МЭИ, 1997 г.
ISBN 5-7046-0214-2
Диссертация
Энтресс Г.
Представление функций нескольких независимых переменных на основе непрерывной логики: Диссертация кандидата технических наук
1964 г.
ISBN отсутствует
Энтресс Г.
Представление функций нескольких независимых переменных на основе непрерывной логики: Диссертация кандидата технических наук
1964 г.
ISBN отсутствует
Книга
Сойер, У. У
Прелюдия к математике. Рассказ о некоторых любопытных и удивительных областях математики с предва...
Просвещение, 1972 г.
ISBN отсутствует
Сойер, У. У
Прелюдия к математике. Рассказ о некоторых любопытных и удивительных областях математики с предва...
Просвещение, 1972 г.
ISBN отсутствует
Книга
Блехман И. И.
Прикладная математика: предмет, логика, особенности подходов. С примерами из механики
Эдиториал УРСС, 2007 г.
ISBN 978-5-382-00210-1
Блехман И. И.
Прикладная математика: предмет, логика, особенности подходов. С примерами из механики
Эдиториал УРСС, 2007 г.
ISBN 978-5-382-00210-1
Книга
Блехман И. И.
Прикладная математика: предмет, логика, особенности подходов: c примерами из механики: учебное пособие
Эдиториал УРСС, 2005 г.
ISBN 5-484-00163-3
Блехман И. И.
Прикладная математика: предмет, логика, особенности подходов: c примерами из механики: учебное пособие
Эдиториал УРСС, 2005 г.
ISBN 5-484-00163-3
Книга
Антипенко, Л. Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует
Антипенко, Л. Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует
Книга
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
Книга
Аверкин А. Н.
Программное окружение разработки нечетких регуляторов: Методические указания по курсу "Мягкие вычисления"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Аверкин А. Н.
Программное окружение разработки нечетких регуляторов: Методические указания по курсу "Мягкие вычисления"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Книга
Салий, В. Н.
Решетки с единственными дополнениями
ISBN отсутствует
Салий, В. Н.
Решетки с единственными дополнениями
Серия: Современная алгебра
Наука, 1984 г.ISBN отсутствует
Книга
Батраков, И К
Руководство к решению задач по элементарной математике. В помощь поступающим в вузы
Изд-во Томского ун-та, 1968 г.
ISBN отсутствует
Батраков, И К
Руководство к решению задач по элементарной математике. В помощь поступающим в вузы
Изд-во Томского ун-та, 1968 г.
ISBN отсутствует
Книга
Беркли, Э.
Символическая логика и разумные машины
Изд-во иностранной лит., 1961 г.
ISBN отсутствует
Беркли, Э.
Символическая логика и разумные машины
Изд-во иностранной лит., 1961 г.
ISBN отсутствует
Книга
Глушков, В. М.
Синтез цифровых автоматов
Эдиториал УРСС, Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2703-3
Глушков, В. М.
Синтез цифровых автоматов
Эдиториал УРСС, Эдиториал УРСС, 2022 г.
ISBN 978-5-9519-2703-3
Книга
Лузин, Н. Н.
Собрание сочинений. Т.2. Дескриптивная теория множеств
Изд-во АН СССР, 1958 г.
ISBN отсутствует
Лузин, Н. Н.
Собрание сочинений. Т.2. Дескриптивная теория множеств
Изд-во АН СССР, 1958 г.
ISBN отсутствует
Книга
Плоткин, Б. И.
Универсальная алгебра, алгебраическая логика и базы данных
Наука, 1991 г.
ISBN отсутствует
Плоткин, Б. И.
Универсальная алгебра, алгебраическая логика и базы данных
Наука, 1991 г.
ISBN отсутствует
Отчет
Упреждающее планирование потоков структурированных заданий в распределенных гетерогенных вычислит...: НИР
2020 г.
ISBN отсутствует
Упреждающее планирование потоков структурированных заданий в распределенных гетерогенных вычислит...: НИР
2020 г.
ISBN отсутствует
Книга
Яблонский С. В.
Учебное пособие по курсу "Дискретная математика": Анализ и синтез в многозначных логиках. Ч.1
Изд-во МЭИ, 1989 г.
ISBN 5-7046-0214-2
Яблонский С. В.
Учебное пособие по курсу "Дискретная математика": Анализ и синтез в многозначных логиках. Ч.1
Изд-во МЭИ, 1989 г.
ISBN 5-7046-0214-2
Книга
Набебин А. А.
Учебное пособие по курсу "Дискретная математика": Логика и пролог в дискретной математике
1994 г.
ISBN отсутствует
Набебин А. А.
Учебное пособие по курсу "Дискретная математика": Логика и пролог в дискретной математике
1994 г.
ISBN отсутствует
Книга
Набебин А. А.
Учебное пособие по курсу "Математическая логика": Методы математической логики в расчетах конечны...
Изд-во МЭИ, 1988 г.
ISBN отсутствует
Набебин А. А.
Учебное пособие по курсу "Математическая логика": Методы математической логики в расчетах конечны...
Изд-во МЭИ, 1988 г.
ISBN отсутствует
Книга
Набебин А. А.
Учебное пособие по курсу "Теоретические основы автоматического управления": Основы алгебры логики...
1979 г.
ISBN отсутствует
Набебин А. А.
Учебное пособие по курсу "Теоретические основы автоматического управления": Основы алгебры логики...
1979 г.
ISBN отсутствует
Книга
Чесноков С. В.
Феноменология диалогов в гештальт-теории, математике, логике
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00269-1
Чесноков С. В.
Феноменология диалогов в гештальт-теории, математике, логике
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00269-1
Книга
Физика квантовой информации: Квантовая криптография. Квантовая телепортация. Квантовые вычисления
Постмаркет, 2002 г.
ISBN 5-901095-10-3
Физика квантовой информации: Квантовая криптография. Квантовая телепортация. Квантовые вычисления
Постмаркет, 2002 г.
ISBN 5-901095-10-3
Книга
Крылов С. М.
Формальная технология в философии, технике, биоэволюции и социологии
Самар. гос. техн. ун-т, 1997 г.
ISBN 5-7964-0008-8
Крылов С. М.
Формальная технология в философии, технике, биоэволюции и социологии
Самар. гос. техн. ун-т, 1997 г.
ISBN 5-7964-0008-8
Отчет
Фундаментальные проблемы математики: новые методы исследований. Ч.1.Заключительный отчет: НИР
1992 г.
ISBN отсутствует
Фундаментальные проблемы математики: новые методы исследований. Ч.1.Заключительный отчет: НИР
1992 г.
ISBN отсутствует