Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>) |
Общее количество найденных документов : 49
Показаны документы с 1 по 20 |
|
>1. ![](/irbis64r_11/images/printer.jpg)
| 22.17 А64
Анализ и дискретная математика [Текст] : межвуз. сб. науч. тр. / ред. М. М. Лаврентьев. - Новосибирск : [б. и.], 1995. - 140 с. - 8-00 р.ББК 22.176 Рубрики: Математика Кл.слова (ненормированные): дискретный анализ -- алгебра -- математическая логика
Доп.точки доступа: Лаврентьев, М.М. \ред.\
Экземпляры всего: 1 аб. (1) Свободны: аб. (1) Найти похожие
|
>2. ![](/irbis64r_11/images/printer.jpg)
| 22.16 К 27
Карташев, А. П. Математический анализ [Электронный ресурс] : учеб. пособие: Рек. Мин. обр. РФ / А. П. Карташев, Б. Л. Рождественский. - 2-е изд. - СПб. ; М. ; Краснодар : Лань, 2007. - 448 с. : ил. - ISBN 978-5-8114-0700-2 : Б. ц.ББК 22.161я73 Рубрики: Математический анализ Кл.слова (ненормированные): математическая логика -- действительные числа -- функции одной переменной -- функции нескольких переменных -- дифференциальные уравнения Аннотация: Книга написана на основе лекций, читавшихся авторами в течение ряда лет студентам Московского инженерно-физического института и Московского физико-технического института. При изложении материала особое внимание уделяется вопросам, существенным для математического образования физиков и инженеров. В отличие от большинства существующих книг по математическому анализу в данном учебном пособии при сравнительно малом объеме изложен курс, полностью соответствующий программе физических и инженерных специальностей вузов.
Перейти: http://e.lanbook.com/view/book/178/ Доп.точки доступа: Рождественский, Б.Л.
Экземпляры всего: 1 ЭБС Лань (1) Свободны: ЭБС Лань (1) Найти похожие
|
>3. ![](/irbis64r_11/images/printer.jpg)
| 22.17 М82
Москинова, Галина Ивановна. Дискретная математика. Математика для менеджера в примерах и упражнениях [Текст] : учеб. пособие: рек. Мин. обр. РФ / Г.И. Москинова. - М. : Логос, 2000, 2004, 2003. - 240 с. : рис. - (Учебник для XXI века). - Предм. указ.: с. 227-235. - ISBN 5-94010-016-3 (в пер.) : 78.00 р., 103.95 р.ББК 22.176я73 Рубрики: Дискретная математика Кл.слова (ненормированные): дискретная математика -- менеджмент -- моделирование -- теория множеств -- компьютерная математика -- теория графов -- математическая логика
Экземпляры всего: 37 аб. (34), ч.з. (3) Свободны: аб. (34), ч.з. (3) Найти похожие
|
>4. ![](/irbis64r_11/images/printer.jpg)
| 22.18 М34
Математические вопросы кибернетики [Текст] : сб.статей / Под ред.Яблонского С.В.;Сост.Лупанов О.Б.,Янов Ю.И. - М. : Наука, Гл. ред. физ.-мат. лит., 1998 - . Вып.7. - 368с. - ISBN 5020151211 : 40-20 р.ББК 22.18 Рубрики: Математическая кибернетика Кл.слова (ненормированные): математическая кибернетика -- математическая логика -- теория программирования
Экземпляры всего: 1 аб. (1) Свободны: аб. (1) Найти похожие
|
>5. ![](/irbis64r_11/images/printer.jpg)
| 22.1г И90
Историко-математические исследования [Текст] / Отв.ред.Демидов С.С. - М. : Янус-К, 2000 - . Сер.2;Вып.5(40). - 392с. - ISBN 5803700525 : ББК 22.1г Рубрики: История математики Кл.слова (ненормированные): математика, истоки развития -- математика античности -- математическое образование в России -- математическая логика
ч.з. Свободных экз. нет Найти похожие
|
>6. ![](/irbis64r_11/images/printer.jpg)
| 22.12 Л13
Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : к изучению дисциплины / И.А. Лавров, Л.Л. Максимова. - 4-е изд. - М. : Физматлит, 2001. - 256 с. - ISBN 5-9221-0026-2 : 79.60 р.ББК 22.12я73 Рубрики: Математическая логика Кл.слова (ненормированные): ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИФМОВ
Доп.точки доступа: Максимова, Лариса Львовна
Экземпляры всего: 5 аб. (5) Свободны: аб. (5) Найти похожие
|
>7. ![](/irbis64r_11/images/printer.jpg)
| 22.12 Г13
Гаек П. Автоматическое образование гипотез: математические основы общей теории [Текст] / Гаек П., Гавранек Т. - М. : Наука, Гл. ред. физ.-мат. лит., 1984. - 280с. - ББК 22.12 Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- математика -- искусственный интеллект
Доп.точки доступа: Гавранек Т.
аб., ч.з. Свободных экз. нет Найти похожие
|
>8. ![](/irbis64r_11/images/printer.jpg)
| 22.12 Г47
Гильберт Д. Основания математики. Логические исчисления и формализация арифметики [Текст] : пер. с нем. / Гильберт Д., Бернанс П. - 2-е изд. - М. : Наука, 1982. - 556 с. - 2-70 р.ББК 22.12 Рубрики: Основания математики Кл.слова (ненормированные): математика -- основания математики -- математическая логика -- логические исчисления -- формализация арифметики
Доп.точки доступа: Бернанс П.
Экземпляры всего: 1 аб. (1), ч.з. Свободных экз. нет Найти похожие
|
>9. ![](/irbis64r_11/images/printer.jpg)
| 22.12 К26
Карпов , В. Г. Математическая логика и дискретная математика [Текст] : учеб. пособие / Карпов В.Г., Мощенский В.А. - Минск : Вышэйш. шк., 1977. - 256 с. : ил. - (в пер.) : 0-65ББК 22.12я73 Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- дискретная математика -- прикладная математика
Доп.точки доступа: Мощенский В.А.
Экземпляры всего: 2 аб. (1), ч.з. (1) Свободны: аб. (1), ч.з. (1) Найти похожие
|
>10. ![](/irbis64r_11/images/printer.jpg)
| 22.12 Л13
Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров , Л. Л. Максимова . - 3-е изд. - М. : Физматлит, 1995. - 255с. - ISBN 502014844Х : 210.00 р.ББК 22.12 Рубрики: Математическая логика Кл.слова (ненормированные): теория множеств -- математическая логика -- теория алгоритмов -- математика -- задачи математические
Доп.точки доступа: Максимова, Лариса Львовна
Экземпляры всего: 1 ч.з. (1) Свободны: ч.з. (1) Найти похожие
|
>11. ![](/irbis64r_11/images/printer.jpg)
| 22.16 М26
Марков , А. А. Теория алгорифмов [Текст] / А. А. Марков , Н. М. Нагорный . - М. : Наука, 1984. - 432 с. - (Математическая логика и основания математики). - 3.30 р.ББК 22.16 Рубрики: Математическая логика Кл.слова (ненормированные): теория алгорифмов -- математическая логика -- основания математики -- математика
Доп.точки доступа: Нагорный , Н.М.
Экземпляры всего: 2 ч.з. (1), аб. (1) Свободны: ч.з. (1), аб. (1) Найти похожие
|
>12. ![](/irbis64r_11/images/printer.jpg)
| 22.12 М42
Медведев, Ф. А. Ранняя история аксиомы выбора [Текст] / Ф. А. Медведев. - М. : Наука, 1982. - 304с. - 3-60 р.ББК 22.12 Рубрики: Математическая логика Кл.слова (ненормированные): теория множеств -- аксиома выбора -- математическая логика -- основания математики
Экземпляры всего: 1 ч.з. (1) Свободны: ч.з. (1) Найти похожие
|
>13. ![](/irbis64r_11/images/printer.jpg)
| 22.12 М50
Мендельсон Э. Введение в математическую логику [Текст] / Э. Мендельсон . - 3-е изд. - М. : Наука, 1984. - 320 с. - 1.80 р.ББК 22.12 Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- математика
Экземпляры всего: 2 ч.з. (1), аб. (1) Свободны: ч.з. (1), аб. (1) Найти похожие
|
>14. ![](/irbis64r_11/images/printer.jpg)
| 22.12 Н59
Нечёткие множества и теория возможностей. Последние достижения [Текст] : пер. с англ. / ред. Р. Ягер. - М. : Радио и связь, 1986. - 408с. : ил. - 2-80 р.ББК 22.12 Рубрики: Математическая логика Кл.слова (ненормированные): теория множеств -- теория нечётких множеств -- математическая логика
Доп.точки доступа: Ягер, Р. \ред.\
Экземпляры всего: 2 ч.з. (1), аб. (1) Свободны: ч.з. (1), аб. (1) Найти похожие
|
>15. ![](/irbis64r_11/images/printer.jpg)
| 22.12 П76
Применение логики в науке и технике [Текст]. - М. : Изд-во Акад. наук СССР, 1960. - 557 с. - ББК 22.12 Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- математика
ч.з. Свободных экз. нет Найти похожие
|
>16. ![](/irbis64r_11/images/printer.jpg)
| 22.12 Х22
Харченко , В. К. Некоммутативная теория Галуа [Текст] / В. К. Харченко . - Новосибирск : Науч. книга, 1996. - 372с. - ISBN 5881190149 : 20000 р.ББК 22.12 Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- некоммутативная теория Галуа -- Галуа Эварист -- математическая логика -- математика
Экземпляры всего: 1 ч.з. (1) Свободны: ч.з. (1) Найти похожие
|
>17. ![](/irbis64r_11/images/printer.jpg)
| 22.12 Э63
Энгелер, Эрвин. Метаматематика элементарной математики [Текст] / Э. Энгелер ; пер. с нем. Г. Е. Минца ; под ред. А. О. Слисенко. - М. : Мир, 1987. - 128с. - Именной указ.: с. 123 . - Предм. указ.: с. 125 . - 0.50 р.ББК 22.12 Рубрики: Основания математики Математическая логика Кл.слова (ненормированные): основания математики -- математическая логика -- математика
Доп.точки доступа: Минца, Г.Е. \пер. с нем.\; Слисенко, А.О. \ред.\
Экземпляры всего: 3 ч.з. (2), аб. (1) Свободны: ч.з. (2), аб. (1) Найти похожие
|
>18. ![](/irbis64r_11/images/printer.jpg)
| 22.12 К17
Калиев, И. А. Задачи к курсу "Основы математического моделирования" [Текст] : методические разработки / И. А. Калиев, В. В. Шелухин, О. Б. Бочаров. - Новосибирск : Изд-во Новосиб. гос. ун-та, 1997. - 20 с. - ББК 22.12я73 Рубрики: Основания математики Математическая логика Кл.слова (ненормированные): математическое моделирование -- математическая логика -- основания математики -- математика -- методические разработки -- задачи математические
Доп.точки доступа: Шелухин, В.В.; Бочаров, О.Б.
ч.з. Свободных экз. нет Найти похожие
|
>19. ![](/irbis64r_11/images/printer.jpg)
| 22.1 Л65
Лихтарников Л.М. Первое знакомство с математической логикой [Текст] : книга для начинающих изучать математическую логику и преподавателей / Лихтарников Л.М. - СПб. : Лань, 1997. - 109с. - ISBN 5866170434 : 7-00 р.ББК 22.12 Рубрики: Математическая логика Кл.слова (ненормированные): математика -- математическая логика
Экземпляры всего: 1 ч.з. (1) Свободны: ч.з. (1) Найти похожие
|
>20. ![](/irbis64r_11/images/printer.jpg)
| 22.12 М21
Мальцев А.И. Алгоритмы и рекурсивные функции [Текст] / А.И. Мальцев . - 2-е изд. - М. : Наука, 1986. - 368 с. - 1.70 р.ББК 22.12 Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- рекурсивные функции
Экземпляры всего: 1 н.з. (1), ч.з. Свободны: н.з. (1) Найти похожие
|
|
|