Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Естественные науки
----> Физико-математические науки
------> Математика
--------> Основания математики. Математическая логика
----------> Основания математики. Математическая логика
Печать списка
--> Естественные науки
----> Физико-математические науки
------> Математика
--------> Основания математики. Математическая логика
----------> Основания математики. Математическая логика
Рубрика
- Название:
- Основания математики. Математическая логика
- См. также:
- 22.12
- Название:
- Конструктивная математика
- Название:
- Теория моделей
- См. также:
- 22.123
- Название:
- Алгебраическая логика
- См. также:
- 22.12
- Название:
- Теория множеств
- См. также:
- 22.126
- Название:
- Теория алгоритмов и вычислимых (рекурсивных) функций
- См. также:
- 22.127
Печать списка
Связанные описания:
Книга
Актуальные вопросы математической логики и теории множеств: Сборник трудов
Москов. гос. пед. ин-т, 1975 г.
ISBN отсутствует
Актуальные вопросы математической логики и теории множеств: Сборник трудов
Москов. гос. пед. ин-т, 1975 г.
ISBN отсутствует
Книга
Лапковский А. К.
Алгоритмы изображения движущихся тел при параллельном и центральном проектировании. Аксонометрия ...
Навука i тэхнiка, 1993 г.
ISBN отсутствует
Лапковский А. К.
Алгоритмы изображения движущихся тел при параллельном и центральном проектировании. Аксонометрия ...
Навука i тэхнiка, 1993 г.
ISBN отсутствует
Книга
Сергиевич Н. В.
Введение в математическую логику: пособие
Мозырский гос. пед. ун-т, 2010 г.
ISBN 985-477-349-3
Сергиевич Н. В.
Введение в математическую логику: пособие
Мозырский гос. пед. ун-т, 2010 г.
ISBN 985-477-349-3
Книга
Колмогоров А. Н.
Введение в математическую логику: учебное пособие для студентов математических специальностей вузов
МГУ, 1982 г.
ISBN отсутствует
Колмогоров А. Н.
Введение в математическую логику: учебное пособие для студентов математических специальностей вузов
МГУ, 1982 г.
ISBN отсутствует
Книга
Лакатос И.
Доказательства и опровержения. Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Лакатос И.
Доказательства и опровержения. Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Книга
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Лавров И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Книга (аналит. описание)
Интуиционистская (конструктивная) логика: первый вариант неклассической логики
б.г.
ISBN отсутствует
Интуиционистская (конструктивная) логика: первый вариант неклассической логики
б.г.
ISBN отсутствует
Автореферат
Шмидт А. М.
Конечные группы с копростым автоморфизмом: автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
[б. и.], 2004 г.
ISBN отсутствует
Шмидт А. М.
Конечные группы с копростым автоморфизмом: автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
[б. и.], 2004 г.
ISBN отсутствует
Книга
Новиков П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Книга
Лаптинский В. Н.
Конструктивный анализ управляемых колебательных систем
Ин-т математики НАН Беларуси, 1998 г.
ISBN отсутствует
Лаптинский В. Н.
Конструктивный анализ управляемых колебательных систем
Ин-т математики НАН Беларуси, 1998 г.
ISBN отсутствует
Книга
Лузин Н. Н.
Лекции об аналитических множествах и их приложениях
Гостехиздат, 1953 г.
ISBN отсутствует
Лузин Н. Н.
Лекции об аналитических множествах и их приложениях
Гостехиздат, 1953 г.
ISBN отсутствует
Книга
Мощенский В. А.
Лекции по математической логике: учебное пособие для студентов вузов
БГУ, 1973 г.
ISBN отсутствует
Мощенский В. А.
Лекции по математической логике: учебное пособие для студентов вузов
БГУ, 1973 г.
ISBN отсутствует
Книга
Математика: элементы математической логики: учебно-методические материалы
МГУ имени А. А. Кулешова, 2014 г.
ISBN отсутствует
Математика: элементы математической логики: учебно-методические материалы
МГУ имени А. А. Кулешова, 2014 г.
ISBN отсутствует
Книга
Колмогоров А. Н.
Математическая логика: дополнительные главы : учебное пособие для вузов
МГУ, 1984 г.
ISBN отсутствует
Колмогоров А. Н.
Математическая логика: дополнительные главы : учебное пособие для вузов
МГУ, 1984 г.
ISBN отсутствует
Книга
Эдельман С. Л.
Математическая логика: учебное пособие для педагогических институтов
Высш. шк., 1975 г.
ISBN отсутствует
Эдельман С. Л.
Математическая логика: учебное пособие для педагогических институтов
Высш. шк., 1975 г.
ISBN отсутствует
Книга
Фарга Т.
Математическая логика для начинающих. Прапозициональная логика (логика высказываний)
[б. и.], 1966 г.
ISBN отсутствует
Фарга Т.
Математическая логика для начинающих. Прапозициональная логика (логика высказываний)
[б. и.], 1966 г.
ISBN отсутствует
Книга
Игошин В. И.
Математическая логика и теория алгоритмов: учебное пособие для физико-математических специальностей педагогических институтов
Саратовский ун-т, 1991 г.
ISBN отсутствует
Игошин В. И.
Математическая логика и теория алгоритмов: учебное пособие для физико-математических специальностей педагогических институтов
Саратовский ун-т, 1991 г.
ISBN отсутствует
Книга
Харин, Н. Н.
Математическая логика и теория множеств: (о соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Харин, Н. Н.
Математическая логика и теория множеств: (о соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует
Книга
Шапорев, С. Д.
Математическая логика. Курс лекций и практических занятий: учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и
БХВ - Петербург, 2007 г.
ISBN 978-5-94157-702-6
Шапорев, С. Д.
Математическая логика. Курс лекций и практических занятий: учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и
БХВ - Петербург, 2007 г.
ISBN 978-5-94157-702-6
Книга
Мощенский А. В.
Математические основы информатики: пособие для студентов
БГУ, 2002 г.
ISBN 985-445-564-5
Мощенский А. В.
Математические основы информатики: пособие для студентов
БГУ, 2002 г.
ISBN 985-445-564-5
Книга
Катков В. Л.
Математическое моделирование ветрового переноса загрязнений: конспект лекций
БГУ, 2003 г.
ISBN отсутствует
Катков В. Л.
Математическое моделирование ветрового переноса загрязнений: конспект лекций
БГУ, 2003 г.
ISBN отсутствует
Книга
Скатецкий В. Г.
Математическое моделирование физико-химических процессов: учебное пособие
БГУ, 2003 г.
ISBN 985-445-845-8
Скатецкий В. Г.
Математическое моделирование физико-химических процессов: учебное пособие
БГУ, 2003 г.
ISBN 985-445-845-8
Книга
Трохимчук П. П.
Математичнi основи знань: полiметричний пiдхiд : монографiя
Вежа, 2009 г.
ISBN 966-600-407-0
Трохимчук П. П.
Математичнi основи знань: полiметричний пiдхiд : монографiя
Вежа, 2009 г.
ISBN 966-600-407-0
Книга (аналит. описание)
Латоцін, Л. А.
Месца курса логiкi ў падрыхтоўцы настаўнiка
б.г.
ISBN отсутствует
Латоцін, Л. А.
Месца курса логiкi ў падрыхтоўцы настаўнiка
б.г.
ISBN отсутствует
Книга (аналит. описание)
Латоцін, Л. А.
Метадычныя асаблiвасцi мадэрнiзаваных праграм па матэматычнай логiцы
б.г.
ISBN отсутствует
Латоцін, Л. А.
Метадычныя асаблiвасцi мадэрнiзаваных праграм па матэматычнай логiцы
б.г.
ISBN отсутствует