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

Базы данных


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

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

   
    Основы кибернетики. Математические основы кибернетики [Текст] : учеб. пособие для втузов / под ред. К. А. Пупкова. - М. : Высш. шк., 1974. - 415, [1] с. - 0.88 р.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
теория множеств -- теория графов -- математическая логика -- теория алгоритмов -- дифференциальные уравнения -- линейное программирование -- нелинейное программирование -- математическая статистика -- комбинаторный анализ -- учебное пособие для втузов


Доп.точки доступа:
Пупкова, К.А. \под ред.\
Экземпляры всего: 2
Ч.з.1 (2)
Свободны: Ч.з.1 (2)
Найти похожие
2.
22.1
П 30

    Петров, Ю. А.
    Математическая логика и математическая диалектика. Проблемы логико-философских оснований и обоснования теорий [Текст] / Ю. А. Петров. - М. : Изд-во Моск. ун-та, 1974. - 191, [1] с. - 0.92 р.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- математическая логика

Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
3.
22.1
Л 13

    Лавров, И. А.
    Задачи по теории множеств математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - М. : Наука, 1975. - 240 с. - 0.90 р.
ББК 22.1
Рубрики: математика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов


Доп.точки доступа:
Максимова, Л.Л.
Экземпляры всего: 10
Ч.з.1 (10)
Свободны: Ч.з.1 (10)
Найти похожие
4.
22.1
М 21

   Мальцев, Анатолий Иванович
    Избранные труды [Текст] / А. И. Мальцев ; [ред. М. А. Лаврентьев] ; АН СССР, Отд-ние математики; Сибирское отд-ние; Ин-т математики. - М. : Наука, 1976.
   Т. 2 : Математическая логика и общая теория алгебраических систем. - 386, [2] с. - ). - 2.42 р.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- алгебраические системы -- производные операции -- классы моделей -- модельные соответствия -- конструктивные алгебры


Доп.точки доступа:
Лаврентьев, М.А. \ред.\; АН СССР. Отд-ние математики; Сибирское отд-ние; Ин-т математики
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
5.
22.1
Е 80

    Ершов, Андрей Петрович.
    Введение в теоретическое программирование. Беседы о методе [Текст] : учеб. пособие для студ. вузов, обучающихся по спец. "Прикладная математика" / А. П. Ершов. - М. : Наука, 1977. - 288 с. - 0.80 р.
ББК 22.1
Рубрики: Программирование
Кл.слова (ненормированные):
программирование -- алгоритмизация -- информационный граф -- граф несовместимости -- реализация -- структурированное программирование -- математическая логика -- алгебра логики -- исчисление высказываний -- учебное пособие для вузов

Экземпляры всего: 3
Ч.з.1 (3)
Свободны: Ч.з.1 (3)
Найти похожие
6.
74.262.21
К 17

    Калужнин, Л. А.
    Элементы теории множеств и математической логики в школьном курсе математики [Text] : пособие для учителей / Л. А. Калужнин. - М. : Просвещение, 1978. - 87 с. - 0.15 р.
ББК 74.262.21
Рубрики: Методика преподавания математики
Кл.слова (ненормированные):
математическая логика -- теория множеств -- алгебра множеств -- предикаты -- кванторы -- высказывательные формы -- пособие для учителей

Экземпляры всего: 10
Аб.2 (6), Ч.з.1 (4)
Свободны: Аб.2 (6), Ч.з.1 (4)
Найти похожие
7.
74.262.21
М 54

   
    Методика факультативных занятий в 7-8 классах. Избранные вопросы математики [Text] : пособие для учителей / сост.: И. Л. Никольская, В. В. Фирсов. - М. : Просвещение, 1981. - 160 с. - 0.25 р.
ББК 74.262.21
Рубрики: Методика преподавания математики
Кл.слова (ненормированные):
факультатив -- вычислительные машины -- симметрия -- математическая логика -- бесконечные множества -- алгоритмы -- транспортные сети -- 7 класс -- 8 класс -- пособие для учителей


Доп.точки доступа:
Никольская, И.Л. \сост.\; Фирсов, В.В. \сост.\
Экземпляры всего: 15
Ч.з.1 (15)
Свободны: Ч.з.1 (15)
Найти похожие
8.
   22.1
   М 34

   
    Математическая логика и теория алгоритмов [Текст] / отв. ред. С. Л. Соболев. - Новосибирск : Наука, 1982. - 174, [2] с. - (Труды института математики, т. 2). - 1.60 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов


Доп.точки доступа:
Соболев, С.Л. \отв. ред.\
Экземпляры всего: 2
Ч.з.1 (2)
Свободны: Ч.з.1 (2)
Найти похожие
9.
22.122
К 60

    Колмогоров, Андрей Николаевич.
    Введение в математическую логику [Текст] : учеб. пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Моск. ун-та, 1982. - 118, [2] с. - 0.25 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория множеств -- логико-математические языки -- логические законы -- учебное пособие для вузов


Доп.точки доступа:
Драгалин, А.Г.
Экземпляры всего: 4
Ч.з.1 (4)
Свободны: Ч.з.1 (4)
Найти похожие
10.
22.122
Ч-43

    Чень, Ч.
    Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; ред. С. Ю. Маслова. - М. : Наука, 1983. - 360 с. - (Математическая логика и основания математики). - 2.20 р.
ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теорема Эрбрана -- метод резолюций


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