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

Базы данных


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

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

Чень Ч. Математическая логика и автоматическое доказательство теорем/Ч. Чень, Р. Ли ; ред. С. Ю. Маслова. - 1983
2.

Стойлова Л.П. Математика/Л. П. Стойлова. - 2007
3.

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

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

Осипова В.А. Основы дискретной математики/В. А. Осипова. - 2006
6.

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

Матросов В.Л. Избранные статьи и доклады/Матросов В.Л.. - 1996
8.

Математическая логика/сост. О. А. Днепровская. - 2004
9.

Математическая логика/сост. Днепровская О.А.. - 2004
10.

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

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

Лекции по дискретной математике/Ю. В. Капитонова [и др.]. - 2004
13.

Левшин В.А. Новые рассказы рассеянного магистра/В. А. Левшин. - 1994
14.

Лавров С.С. Программирование. Математические основы, средства, теория/С.С. Лавров. - 2001
15.

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

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

Колмогоров А.Н. Математическая логика/А. Н. Колмогоров, А. Г. Драгалин. - 2004
18.

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

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

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