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

Базы данных


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

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

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

Ганичева А.В. Математика для психологов/А. В. Ганичева, В. П. Козлов . - 2005
3.

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

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

Игошин В.И. Математическая логика и теория алгоритмов/В.И. Игошин. - 2008
6.

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

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

Абдрашитов Б.М. Учитесь мыслить нестандартно/Б. М. Абдрашитов, Т. М. Абдрашитов, В. Н. Шлихунов. - 1996
9.

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

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

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

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

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

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

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

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

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

Игошин В.И. Математическая логика и теория алгоритмов/В.И. Игошин. - 2004
19.

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

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