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