Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 45
Показаны документы с 1 по 20 |
|
1. 
| 22.12
Н62
Никитин, В. В.
Сборник логических упражнений [Текст] : пособие для учителей математики / Никитин В.В. - М. : Просвещение, 1970. - 96с. - 0-13ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
упражнения логические -- математика
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
|
2.
| 22.12
Ф86
Фреге, Г.
Основоположения арифметики [Текст] : логико-математическое исследование о понятии числа / Фреге Г. - Томск : Водолей, 2000. - 127с. - (Б-ка аналитической философии). - ISBN 5713701581 : 69-00 р.ББК 22.12 + 87
Рубрики: Математическая логика
Кл.слова (ненормированные):
основоположения арифметики -- арифметическая истина -- понятие числа -- бесконечные числа
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
3.
| 22.14
Е80
Ершов, Юрий Леонидович.
Кратно нормированные поля [Текст] : научное издание / Ершов Ю.Л. - Новосибирск : Науч. книга, 2000. - 340 с. - (Сибирская шк. алгебры и логики). - Библиогр.: с.319 . -Предм. указ.: с.327 . - 1 000 экз.. - ISBN 5-88119-028-9 (в пер.) : 75.00 р., 82.50 р.ББК 22.144 + 22.12
Рубрики: Общая алгебра
Математическая логика
Кл.слова (ненормированные):
нормированные поля,теория -- прюферовы кольца,теория -- поля нормированные
Экземпляры всего: 3
ч.з. (2), аб. (1)
Свободны: ч.з. (2), аб. (1)
Найти похожие
|
4.
| 22.12
Л13
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : к изучению дисциплины / И.А. Лавров, Л.Л. Максимова. - 4-е изд. - М. : Физматлит, 2001. - 256 с. - ISBN 5-9221-0026-2 : 79.60 р.ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИФМОВ
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 5
аб. (5)
Свободны: аб. (5)
Найти похожие
|
5.
| 22.1
К88
Куваев М.Р.
Определение и доказательство в курсе высшей математики. Для слушателей фак. повышения квалиф. и преп. матем. вузов. [Текст] / Куваев М.Р. - Томск : Изд-во Томск. ун-та, 1978. - 156с. - 00-82ББК 22.11 + 22.12
Рубрики: Высшая математика
Математическая логика
Кл.слова (ненормированные):
высшая математика -- определения понятия -- доказательство -- математика
Экземпляры всего: 1
аб. (1), ч.з.
Свободны: аб. (1)
Найти похожие
|
6.
| 22.12
Г13
Гаек П.
Автоматическое образование гипотез: математические основы общей теории [Текст] / Гаек П., Гавранек Т. - М. : Наука, Гл. ред. физ.-мат. лит., 1984. - 280с. - ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- искусственный интеллект
Доп.точки доступа:
Гавранек Т.
аб., ч.з.
Свободных экз. нет
Найти похожие
|
7.
| 22.12
К26
Карпов , В. Г.
Математическая логика и дискретная математика [Текст] : учеб. пособие / Карпов В.Г., Мощенский В.А. - Минск : Вышэйш. шк., 1977. - 256 с. : ил. - (в пер.) : 0-65ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- дискретная математика -- прикладная математика
Доп.точки доступа:
Мощенский В.А.
Экземпляры всего: 2
аб. (1), ч.з. (1)
Свободны: аб. (1), ч.з. (1)
Найти похожие
|
8.
| 22.12
К65
Копытов, В. М.
Правоупорядоченные группы [Текст] / В. М. Копытов, Н. Я. Медведев. - Новосибирск : Науч. книга, 1996. - 256с. : ил. - (Сибирская школа алгебры и логики). - ISBN 588119005Х : 20000 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
правоупорядоченные группы -- математика -- алгебраическая логика
Доп.точки доступа:
Медведев, Н.Я.
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
9.
| 22.12
Л13
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров , Л. Л. Максимова . - 3-е изд. - М. : Физматлит, 1995. - 255с. - ISBN 502014844Х : 210.00 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов -- математика -- задачи математические
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
10.
| 22.16
М26
Марков , А. А.
Теория алгорифмов [Текст] / А. А. Марков , Н. М. Нагорный . - М. : Наука, 1984. - 432 с. - (Математическая логика и основания математики). - 3.30 р.ББК 22.16
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория алгорифмов -- математическая логика -- основания математики -- математика
Доп.точки доступа:
Нагорный , Н.М.
Экземпляры всего: 2
ч.з. (1), аб. (1)
Свободны: ч.з. (1), аб. (1)
Найти похожие
|
11.
| 22.12
М42
Медведев, Ф. А.
Ранняя история аксиомы выбора [Текст] / Ф. А. Медведев. - М. : Наука, 1982. - 304с. - 3-60 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- аксиома выбора -- математическая логика -- основания математики
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
12.
| 22.12
М50
Мендельсон Э.
Введение в математическую логику [Текст] / Э. Мендельсон . - 3-е изд. - М. : Наука, 1984. - 320 с. - 1.80 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика
Экземпляры всего: 2
ч.з. (1), аб. (1)
Свободны: ч.з. (1), аб. (1)
Найти похожие
|
13.
| 22.12
Н59
Нечёткие множества и теория возможностей. Последние достижения [Текст] : пер. с англ. / ред. Р. Ягер. - М. : Радио и связь, 1986. - 408с. : ил. - 2-80 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- теория нечётких множеств -- математическая логика
Доп.точки доступа:
Ягер, Р. \ред.\
Экземпляры всего: 2
ч.з. (1), аб. (1)
Свободны: ч.з. (1), аб. (1)
Найти похожие
|
14.
| 22.12
П76
Применение логики в науке и технике [Текст]. - М. : Изд-во Акад. наук СССР, 1960. - 557 с. - ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика
ч.з.
Свободных экз. нет
Найти похожие
|
15.
| 22.12
Х22
Харченко , В. К.
Некоммутативная теория Галуа [Текст] / В. К. Харченко . - Новосибирск : Науч. книга, 1996. - 372с. - ISBN 5881190149 : 20000 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- некоммутативная теория Галуа -- Галуа Эварист -- математическая логика -- математика
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
16.
| 22.12
Э63
Энгелер, Эрвин.
Метаматематика элементарной математики [Текст] / Э. Энгелер ; пер. с нем. Г. Е. Минца ; под ред. А. О. Слисенко. - М. : Мир, 1987. - 128с. - Именной указ.: с. 123 . - Предм. указ.: с. 125 . - 0.50 р.ББК 22.12
Рубрики: Основания математики
Математическая логика
Кл.слова (ненормированные):
основания математики -- математическая логика -- математика
Доп.точки доступа:
Минца, Г.Е. \пер. с нем.\; Слисенко, А.О. \ред.\
Экземпляры всего: 3
ч.з. (2), аб. (1)
Свободны: ч.з. (2), аб. (1)
Найти похожие
|
17.
| 22.12
К17
Калиев, И. А.
Задачи к курсу "Основы математического моделирования" [Текст] : методические разработки / И. А. Калиев, В. В. Шелухин, О. Б. Бочаров. - Новосибирск : Изд-во Новосиб. гос. ун-та, 1997. - 20 с. - ББК 22.12я73
Рубрики: Основания математики
Математическая логика
Кл.слова (ненормированные):
математическое моделирование -- математическая логика -- основания математики -- математика -- методические разработки -- задачи математические
Доп.точки доступа:
Шелухин, В.В.; Бочаров, О.Б.
ч.з.
Свободных экз. нет
Найти похожие
|
18.
| 22.1
Л65
Лихтарников Л.М.
Первое знакомство с математической логикой [Текст] : книга для начинающих изучать математическую логику и преподавателей / Лихтарников Л.М. - СПб. : Лань, 1997. - 109с. - ISBN 5866170434 : 7-00 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математика -- математическая логика
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
19.
| 22.12
М21
Мальцев А.И.
Алгоритмы и рекурсивные функции [Текст] / А.И. Мальцев . - 2-е изд. - М. : Наука, 1986. - 368 с. - 1.70 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- рекурсивные функции
Экземпляры всего: 1
н.з. (1), ч.з.
Свободны: н.з. (1)
Найти похожие
|
20.
| 22.12
К72
Костенко, Светлана Владимировна.
Элементы математической логики с приложением [Текст] : Учеб. -метод. пособие / С. В. Костенко, Т. А. Маничева, А. П. Филимонова ; АмГУ, ФМиИ. - Благовещенск : Изд-во Амур. гос. ун-та, 2002. - 32 с. - Библиогр.: с. 32. - 7.00 р.ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
логические операции -- булевы функции -- релейно-контактные схемы
Доп.точки доступа:
Маничева, Татьяна Александровна; Филимонова, Анна Павловна; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 5
аб., ч.з., эн.ф. (5)
Свободны: эн.ф. (5)
Найти похожие
|
|
|
|
БД "Книги"
Стандартный
Главная
Описание
Шлюз Z39.50