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

Базы данных


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

Вид поиска

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

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

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

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

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

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

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

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

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

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

Математическая логика/сост. О. А. Днепровская. - 2004
 1-20    21-28 
 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)