Поисковый запрос: <.>K=математическая логика<.> |
Общее количество найденных документов : 28
Показаны документы с 1 по 10 |
|
1. 
| 22.122
Ч-43
Чень, Ч.
Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; ред. С. Ю. Маслова. - М. : Наука, 1983. - 360 с. - (Математическая логика и основания математики). - 2.20 р.ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теорема Эрбрана -- метод резолюций
Доп.точки доступа:
Ли, Р.; Маслова, С.Ю. \ред.\
Экземпляры всего: 2
Ч.з.1 (2)
Свободны: Ч.з.1 (2)
Найти похожие
|
2.
| 22.1
С 81
Стойлова, Любовь Петровна.
Математика [Текст] : учебник для студ. вузов / Л. П. Стойлова. - М. : Академия, 2007. - 431, [1] с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 978-5-7695-2758-6 : 462.00 р.ББК 22.1я73-1
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- отношения -- операции -- натуральные числа -- геометрические фигуры -- учебник для вузов
Экземпляры всего: 12
Аб.3 (12)
Свободны: Аб.3 (12)
Найти похожие
|
3.
| 22.1
П 30
Петров, Ю. А.
Математическая логика и математическая диалектика. Проблемы логико-философских оснований и обоснования теорий [Текст] / Ю. А. Петров. - М. : Изд-во Моск. ун-та, 1974. - 191, [1] с. - 0.92 р.ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- математическая логика
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
|
4.
| 22.1
О-75
Основы кибернетики. Математические основы кибернетики [Текст] : учеб. пособие для втузов / под ред. К. А. Пупкова. - М. : Высш. шк., 1974. - 415, [1] с. - 0.88 р.ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
теория множеств -- теория графов -- математическая логика -- теория алгоритмов -- дифференциальные уравнения -- линейное программирование -- нелинейное программирование -- математическая статистика -- комбинаторный анализ -- учебное пособие для втузов
Доп.точки доступа:
Пупкова, К.А. \под ред.\
Экземпляры всего: 2
Ч.з.1 (2)
Свободны: Ч.з.1 (2)
Найти похожие
|
5.
| 22.1
О-74
Осипова, Виктория Аркадьевна.
Основы дискретной математики [Текст] : учеб. пособие для студ. вузов / В. А. Осипова. - М. : ФОРУМ : ИНФРА-М, 2006. - 158, [1] с. - (Высшее образование). - ISBN 5-91134-016-Х : 107.90 р.ББК 22.174я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
дискретная математика -- множества -- отношения -- математическая логика -- комбинаторика -- теория графов -- учебное пособие для вузов
Экземпляры всего: 3
Ч.з.1 (3)
Свободны: Ч.з.1 (3)
Найти похожие
|
6.
| 74.262.21
М 54
Методика факультативных занятий в 7-8 классах. Избранные вопросы математики [Text] : пособие для учителей / сост.: И. Л. Никольская, В. В. Фирсов. - М. : Просвещение, 1981. - 160 с. - 0.25 р.ББК 74.262.21
Рубрики: Методика преподавания математики
Кл.слова (ненормированные):
факультатив -- вычислительные машины -- симметрия -- математическая логика -- бесконечные множества -- алгоритмы -- транспортные сети -- 7 класс -- 8 класс -- пособие для учителей
Доп.точки доступа:
Никольская, И.Л. \сост.\; Фирсов, В.В. \сост.\
Экземпляры всего: 15
Ч.з.1 (15)
Свободны: Ч.з.1 (15)
Найти похожие
|
7.
| 74.58
М 34
Матросов В.Л.
Избранные статьи и доклады [Text] / Матросов В.Л. - М. : Магистр, 1996. - 252 с. - 5.00 р.ББК 74.584(2)738.1 + 22.127
Рубрики: Высшая школа
Кл.слова (ненормированные):
университетское образование -- Московский педагогический государственный университет -- МПГУ -- педагогическое образование -- математическая логика -- теория алгоритмов -- научная -- сборник научных трудов
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
|
8.
| 22.12
М 34
Математическая логика [Text] : программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец." по спец. "Информатика и математика" / сост. О. А. Днепровская. - Благовещенск : Изд-во БГПУ, 2004. - 16 с. - 7.10 р.ББК 22.122р30
Рубрики: Высшая математика
Кл.слова (ненормированные):
математическая логика -- учебная программа для вузов
Доп.точки доступа:
Днепровская, О.А. \сост.\
Экземпляры всего: 5
ИБО (1), Ч.з.1 (4)
Свободны: ИБО (1), Ч.з.1 (4)
Найти похожие
|
9.
| 22.12
М 34
Математическая логика [Text] : программа учеб. дисциплины для студ. БГПУ по направлению подготовки дипломированного спец. "Информатика с доп. спец." / сост. Днепровская О.А. - Благовещенск : Изд-во БГПУ, 2004. - 14 с. - 6.70 р.ББК 22.122р30
Рубрики: Высшая математика
Кл.слова (ненормированные):
математическая логика -- учебная программа для вузов
Доп.точки доступа:
Днепровская О.А. \сост.\
Экземпляры всего: 5
ИБО (1), Ч.з.1 (4)
Свободны: ИБО (1), Ч.з.1 (4)
Найти похожие
|
10.
| 22.1
М 34
Математическая логика и теория алгоритмов [Текст] / отв. ред. С. Л. Соболев. - Новосибирск : Наука, 1982. - 174, [2] с. - (Труды института математики, т. 2). - 1.60 р.ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Доп.точки доступа:
Соболев, С.Л. \отв. ред.\
Экземпляры всего: 2
Ч.з.1 (2)
Свободны: Ч.з.1 (2)
Найти похожие
|
|
|
|
Книги
Стандартный
Главная
Описание
