Electronic catalog
Start with М
country edition:RUSSIAN FEDERATION
Genre:Естественные науки (natural_sciences)
language:Russian
publication type:book
Search result:
591-600 of 687
![](/FileStore/dataFiles/5f/cd/1684051/content/cover.png?time=1723402207062&key=e9bb3b9af451474c79b1e7a91e1c2474)
book
СПИВАК А. В.
Математический праздник [Текст] / А. В. Спивак- Москва : Бюро Квантум , 2000. – Приложение к журналу "КВАНТ". №2/2000– [б. т.] . – ISBN 5-85843-023-6 Часть 1 .– 125, [3] с., формулы : ил. . : 309 тг.
UDC:
51(079.1)
Shelf code:
Л 2024/1182
Subject headings
- Задачи и вопросы по математике
Annotation
Представлены задачи по математике, предлагавшиеся на занятиях в математических классах, кружках и на олимпиадах. Многие задачи снабжены подробными решениями, некоторые - краткими указаниями
Keywords
математика, задачи по математике, арифметические задачи, наглядная геометрия
1/1 Free
![](/FileStore/dataFiles/ff/43/143503/content/cover.png?time=1723402207063&key=c6269bb755dfa85f907cfaf86f151ee9)
book
ШАПОРЕВ С. Д.
Математическая логика : Курс лекций и практических занятий / С. Д. Шапорев ... – Санкт-Петербург : БХВ-Петербург, 2005. - 410 с., формулы; . – Библиогр.: с. 405. - Предм. указ.: 406-410 . – 3000 экз. – ISBN 5-94157-702-8 (в пер.) : 1010 тг.
UDC:
510.6(075.8)
Shelf code:
Р 2006/651
Subject headings
- Математическая логика
Annotation
В пособии представлены разделы математической логики: алгебра логики и исчисление высказываний и логики предикатов
Keywords
исчисление предикатов, математическая логика, алгебра логики, исчисления высказываний, логика предикатов, теория алгоритмов
1/1 Free
![](/FileStore/dataFiles/a5/35/1683897/content/cover.png?time=1723402207063&key=cee7d936f42518caf2e19183704cd46a)
book
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
Методы расчета высоконадежных систем [Текст] / И. Н. Коваленко Н. Ю. Кузнецов ... – Москва : Радио и связь, 1988. - 175, [1] с., ил.; . – Библиогр.: с. 172-174 . – 7000 экз. – ISBN 5-256-00002-0 : 50 тг.
UDC:
519.248
Shelf code:
Л 2024/1158
Subject headings
- Статистика в приложениях и исследовании операций: теория массового обслуживания, контроль качества, надежность
Annotation
Рассмотрены асимптотические методы определения показателей надежности систем с резервированием
Keywords
сложные технические системы, расчет на надежность, моделирование сложных систем, статистическое моделирование
1/1 Free
![](/FileStore/dataFiles/e0/0b/101849/content/cover.png?time=1723402207073&key=3669d4e66fab0c58f2d6ff1dd35af756)
book
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 3-е ., стер.. – Москва : КомКнига, 2006. - 238 с., ил.;– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – [б. т.] – ISBN 5-484-00520-5 (в пер.) : 1677 тг.
UDC:
510.6
Shelf code:
Л 2006/5065
Subject headings
- Математическая логика
Annotation
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Keywords
Булева алгебра, логико-математические языки, аксиоматические теории, теория алгоритмов, теория доказательств, логика математическая
1/1 Free
![](/FileStore/dataFiles/d5/2a/101848/content/cover.png?time=1723402207073&key=798829b19d65e1493948302250bca915)
book
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 2-е ., стер.. – Москва : Едиториал УРСС, 2005. - 238 с.– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – 1500 экз. – ISBN 5-354-01003-9 (в пер.) : 1210 тг.
UDC:
510.6(075.8)
Shelf code:
Л 2006/6776
Subject headings
- Математическая логика
Annotation
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Keywords
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
1/1 Free
![](/FileStore/dataFiles/84/97/109287/content/cover.png?time=1723402207074&key=9b9acbcbcb8f1d50389ea37fae4e1da0)
book
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 3-е ., испр.. – Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 c., схемы : формулы;– (Учебники для вузов. Специальная литература. . – Библиогр.: с. 273 . – 2000 экз. – ISBN 978-5-8114-0082-9 (в пер.) : 3185 тг.
UDC:
510.6(075)
Shelf code:
Л 2008/2904
Subject headings
- Математическая логика
Annotation
Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам
Keywords
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
1/1 Free
![](/FileStore/dataFiles/c7/f7/135785/content/cover.png?time=1723402207075&key=1c8148f184fc6f3d7ff9528660f67f67)
book
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
UDC:
510.6(075.8)
Shelf code:
Л 2007/4635
Subject headings
- Математическая логика
Annotation
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Keywords
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
1/1 Free
![](/FileStore/dataFiles/86/6c/1683758/content/cover.png?time=1723402207075&key=d056d29048a8914c06df1fd172417c33)
book
Математическое моделирование = Matematical modelling [Текст] / Б. Нобл Дж. У. Крэггс Р. Р. Мак-Лоун, ; ред.: Дж. Эндрюс, Р. Мак-Лоун ; пер. с англ. под ред. Ю. П. Гупало... – Москва : Мир, 1979. - 276, [1] с., ил.; . – Библиогр. в конце разд. . – 22000 экз. (в пер.) : 10 тг.
UDC:
519.876.5
Shelf code:
Л 2024/1052
Subject headings
- Цифровое имитирование и моделирование систем
Annotation
Отдельные главы посвящены конкретным математическим моделям, относящимся к таким областям, как управление движением, истечение жидкости, сверление отверстий лазером, анализ напряжений, развитие популяций, планирование и т. д.
Keywords
математическое моделирование, стархование автомобилей, методы теории катастроф, деятельность предприятия
1/1 Free
![](/FileStore/dataFiles/4a/82/96957/content/cover.png?time=1723402207076&key=d6003b95c60dcc8160779b623b0902cb)
book
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
UDC:
510.5/6(075.8)
Shelf code:
Л 2008/3754
Subject headings
- Теория алгоритмов
- Математическая логика
Annotation
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Keywords
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
1/1 Free
![](/FileStore/dataFiles/63/99/134192/content/cover.png?time=1723402207076&key=a222c99da482133ff8497e79a1531f16)
book
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 2008. - 223, [1] с., формула;– (Высшее образование. : серия основана в 1996 г. . – Библиогр.: с. 212-214 . – 1500 экз. – ISBN 978-5-16-001975-8 (ИНФРА-М), ISBN 978-5-7782-0458-4 (НГТУ) (в пер.) : 1100 тг.
UDC:
510.6(075.8)
Shelf code:
Л 2008/2382
Subject headings
- Математическая логика и теория алгоритмов
Annotation
Излагаются основные исчисления математической логики; основы теории моделей и теории алгоритмов, а также элементы неклассических логик
Keywords
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
2/2 Free
book
1/1 Free
book
1/1 Free
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
МЕТОДЫ РАСЧЕТА ВЫСОКОНАДЕЖНЫХ СИСТЕМ (1988)
book
1/1 Free
book
1/1 Free
book
1/1 Free
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА: КУРС ЛЕКЦИЙ (2008)
book
1/1 Free
book
1/1 Free
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ (1979)
book
1/1 Free
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
book
1/1 Free
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
book
2/2 Free