Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 365
Показаны документы с 1 по 10 |
|
| 1. | 2013к/24224
Левин, Виталий Ильич .
Логические методы в теории надежности : монография / В. И. Левин ; Рособразование, Пенз. гос. технол. акад. - Пенза : ПГТА, 2009. - 86 с. ; 21 см.. - (Система открытого образования). - Библиогр.: с. 81-83. - 24 экз.. - ISBN 978-5-98903-128-3.
ББК 22.18 Ж14c11
Рубрики: Надежность, теория - Математические методы
Математическая логика
Найти похожие
| |
| 2. | 2013к/21714
Игошин, Владимир Иванович .
Логика с элементами математической логики : лекции для студентов гуманитарных специальностей / В. И. Игошин ; М-во образования Рос. Федерации, Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Научная книга, 2004. - 143 с. ; 21 см.. - Библиогр.: с. 136-139. - 300 экз.. - ISBN 5-900963-09-7.
ББК 22.12я73 В12я73-2
Рубрики: Логика
Математическая логика
Найти похожие
| |
| 3. | 2013к/15738
Судоплатов, Сергей Владимирович .
Проблема Лахлана / С. В. Судоплатов. - Новосибирск : НГТУ, 2009. - 335 с. ; 23 см.. - (Монографии НГТУ). - Библиогр.: с. 302-321. - Указ. имен., терминов и обозначений: с. 322-335. - 3000 экз.. - ISBN 978-5-7782-1252-7 (в пер.).
ББК 22.12
Рубрики: Конструктивная математика
Математическая логика
Найти похожие
| |
| 4. | Ак.с.
Новые алгебро-логические методы решения систем уравнений в алгебраических системах = New algebraic-logical methods in solutions for systems of equations in algebraic structures : международная школа-семинар, 16-22 авг. 2009, Омск, Россия : тезисы докладов / [редкол.: Э. Ю. Даниярова и др.]. - Омск : Изд-во Омского гос. ун-та, 2009. - 65 с. ; 21 см.. - В надзаг.: Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева, Омский фил., Федер. агентство по образованию, Омский гос. ун-т им. Ф. М. Достоевского. - Библиогр. в конце докл.. - ISBN 978-5-7779-1066-0.
ББК 22.12
Рубрики: Алгебраические уравнения - Решение--Численные методы
Математическая логика
Доп.точки доступа: Даниярова, Эвелина Юрьевна \ред.\
Найти похожие
| |
| 5. | 2013к/20841
Ардашкин, Анатолий Пантелеевич .
Формальные логические системы и их судебно-медицинские применения : монография / А. П. Ардашкин, Г. В. Недугов, В. В. Недугова. - Самара : Офорт, 2009. - 137 с. ; 21 см.. - Библиогр.: с. 132-136. - Посвящ. 90-летию Самар. гос. мед. ун-та. - 300 экз.. - ISBN 978-5-473-00515-8.
ББК 67.5 Х629.341.311
Рубрики: Судебно-медицинская экспертиза - Математические методы
Математическая логика
Доп.точки доступа: Недугов, Герман Владимирович; Недугова, Виолетта Владимировна
Найти похожие
| |
| 6. | 2013к/18511
Гейтинг, Аренд (1898-1980).
Интуиционизм : введение / А. Гейтинг ; перевод с англ. В. А. Янкова ; под ред. А. А. Маркова. - Изд. 2-е, испр. - Москва : URSS : ЛИБРОКОМ, 2010 (cop. 2009). - 162, [2] с. ; 22 см.. - (Физико-математическое наследие. Математика (основания математики и логика) : ФМН). - Репр. воспроизведение изд., вых. дан. ориг.: М. : Мир, 1965. - Библиогр.: с. 152-160. - Предм. указ.: с. 161-163. - Загл. ориг. :Intuitionism : an introduction / Arend Heyting. - ISBN 978-5-397-01321-5.
ББК 22.12 В12
Рубрики: Математическая логика
Доп.точки доступа: Марков, А. А. \ред.\; Янков, В. А. \пер.\
Найти похожие
| |
| 7. | 2013к/19850
Багинян, Сергей Агабекович .
Дискретная математика: математическая логика, элементы теории кодирования и теории графов : учебное пособие / С. А. Багинян, В. В. Иванов, Л. А. Севастьянов. - Дубна : ОИЯИ, 2009. - 73 с. ; 22 см.. - (Учебно-методические пособия Учебно-научного центра ОИЯИ ; УНЦ-2009-39). - Библиогр.: с. 73. - 150 экз.
ББК 22.176я73 В11я73-1
Рубрики: Математическая логика
Кодирование в вычислительной технике
Графов теория (мат.)
Доп.точки доступа: Иванов, Виктор Владимирович; Севастьянов, Леонид Антонович
Найти похожие
| |
| 8. | 2013к/16735
Гончаров, Сергей Севостьянович. Лекции по математической логике : [учебное пособие для вузов по специальности 010101 "Математика" : в 2 ч.] / С. С. Гончаров; Федер. агентство по образованию, Новосиб. гос. ун-т, мех.-мат. фак. - Новосибирск : НГУ, 2009 . - 21 см
Ч. 2 . - 173 с. . - Библиогр.: с. 172-173. - 200 экз.. - ISBN 978-5-94356-865-7.
ББК В12я73-2
Рубрики: Математическая логика
Найти похожие
| |
| 9. | 2013б/465
Стрыгин, Владимир Захарович .
Новые аксиомы матричной логики / В. З. Стрыгин. - Жуковский : Стрыгин В. З., 2010. - 4 с. ; 21 см.. - Библиогр.: с. 4. - 100 экз.
ББК В127.3
Рубрики: Аксиомы (мат.)
Математическая логика
Найти похожие
| |
| 10. | 2013к/10357
Кореневский, Николай Алексеевич .
Прогнозирование и ранняя диагностика профессиональных заболеваний работников АПК на основе нечеткой логики принятия решений : монография / Н. А. Кореневский, Н. А. Коптева ; М-во сел. хоз-ва Рос. Федерации, Курс. гос. с.-х. акад. им. И. И. Иванова. - Курск : Изд-во Курской гос. сельскохозяйственной академии, 2009. - 126 с. : ил. ; 20 см.. - Библиогр.: с. 111-125. - 500 экз.. - ISBN 978-5-7369-0630-7.
ББК 52.5
Рубрики: Профессиональные болезни в сельском хозяйстве - Прогнозирование--Математические методы
Профессиональные болезни в сельском хозяйстве - Диагностика ранняя
Математическая логика
Доп.точки доступа: Коптева, Наталья Алексеевна
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК