Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Книги- результаты поиска

Вид поиска
Книги
Авторефераты
Аудиовизуальный фонд
Фонд редкой книги
Труды преподавателей
Периодические издания
Выпускные квалификационные работы
Область поиска
в найденном
 Найдено в других БД:Труды преподавателей (1)Периодические издания (1)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=математическая логика<.>
Общее количество найденных документов : 28
Показаны документы с 1 по 10
 1-10    11-20   21-28 
1.

Основы кибернетики. Математические основы кибернетики/под ред. К. А. Пупкова. - 1974
2.

Петров Ю.А. Математическая логика и математическая диалектика. Проблемы логико-философских оснований и обоснования теорий/Ю. А. Петров. - 1974
3.

Лавров И.А. Задачи по теории множеств математической логике и теории алгоритмов/И. А. Лавров, Л. Л. Максимова. - 1975
4.

Мальцев, Анатолий Иванович Избранные труды. Т. 2:Математическая логика и общая теория алгебраических систем
5.

Ершов А.П. Введение в теоретическое программирование. Беседы о методе/А. П. Ершов. - 1977
6.

Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики/Л. А. Калужнин. - 1978
7.

Методика факультативных занятий в 7-8 классах. Избранные вопросы математики /сост.: И. Л. Никольская, В. В. Фирсов. - 1981
8.

Математическая логика и теория алгоритмов/отв. ред. С. Л. Соболев. - 1982
9.

Колмогоров А.Н. Введение в математическую логику/А. Н. Колмогоров, А. Г. Драгалин. - 1982
10.

Чень Ч. Математическая логика и автоматическое доказательство теорем/Ч. Чень, Р. Ли ; ред. С. Ю. Маслова. - 1983
 1-10    11-20   21-28 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)