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

Базы данных


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

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

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

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

Грес П.В. Математика для гуманитариев/П.В. Грес. - 2006
4.

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

Жолков С.Ю. Математика и информатика для гуманитариев/С.Ю. Жолков. - 2005
6.

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

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

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

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

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

Ершов Ю.Л. Математическая логика/Ю. Л. Ершов, Е. А. Палютин. - 2004
12.

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

Жолков С.Ю. Математика и информатика для гуманитариев/С.Ю. Жолков. - 2002
14.

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

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

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

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

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

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

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