Электронный каталог
Начинается с М
Жанр:Естественные науки (natural_sciences)
Результат поиска:
1261-1270 из 1781
![](/FileStore/dataFiles/5f/cd/1684051/content/cover.png?time=1723900636594&key=4f438c4f704e0f383416cbcada29b06e)
книга(book)
СПИВАК А. В.
Математический праздник [Текст] / А. В. Спивак- Москва : Бюро Квантум , 2000. – Приложение к журналу "КВАНТ". №2/2000– [б. т.] . – ISBN 5-85843-023-6 Часть 1 .– 125, [3] с., формулы : ил. . : 309 тг.
УДК:
51(079.1)
Полочный шифр:
Л 2024/1182
Предметная рубрика
- Задачи и вопросы по математике
Аннотация
Представлены задачи по математике, предлагавшиеся на занятиях в математических классах, кружках и на олимпиадах. Многие задачи снабжены подробными решениями, некоторые - краткими указаниями
Ключевые слова
математика, задачи по математике, арифметические задачи, наглядная геометрия
1/1 Свободно
![](/FileStore/dataFiles/ff/43/143503/content/cover.png?time=1723900636595&key=632e99f71184692ac5deafb924ea08ea)
книга(book)
ШАПОРЕВ С. Д.
Математическая логика : Курс лекций и практических занятий / С. Д. Шапорев ... – Санкт-Петербург : БХВ-Петербург, 2005. - 410 с., формулы; . – Библиогр.: с. 405. - Предм. указ.: 406-410 . – 3000 экз. – ISBN 5-94157-702-8 (в пер.) : 1010 тг.
УДК:
510.6(075.8)
Полочный шифр:
Р 2006/651
Предметная рубрика
- Математическая логика
Аннотация
В пособии представлены разделы математической логики: алгебра логики и исчисление высказываний и логики предикатов
Ключевые слова
исчисление предикатов, математическая логика, алгебра логики, исчисления высказываний, логика предикатов, теория алгоритмов
1/1 Свободно
![](/FileStore/dataFiles/a5/35/1683897/content/cover.png?time=1723900636595&key=de0aabc5aaca1fef25b3af830cd1f995)
книга(book)
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
Методы расчета высоконадежных систем [Текст] / И. Н. Коваленко Н. Ю. Кузнецов ... – Москва : Радио и связь, 1988. - 175, [1] с., ил.; . – Библиогр.: с. 172-174 . – 7000 экз. – ISBN 5-256-00002-0 : 50 тг.
УДК:
519.248
Полочный шифр:
Л 2024/1158
Предметная рубрика
- Статистика в приложениях и исследовании операций: теория массового обслуживания, контроль качества, надежность
Аннотация
Рассмотрены асимптотические методы определения показателей надежности систем с резервированием
Ключевые слова
сложные технические системы, расчет на надежность, моделирование сложных систем, статистическое моделирование
1/1 Свободно
![](/FileStore/dataFiles/e0/0b/101849/content/cover.png?time=1723900636609&key=4e1bfad6b63b9e54bc0ebd8d6611d256)
книга(book)
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 3-е ., стер.. – Москва : КомКнига, 2006. - 238 с., ил.;– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – [б. т.] – ISBN 5-484-00520-5 (в пер.) : 1677 тг.
УДК:
510.6
Полочный шифр:
Л 2006/5065
Предметная рубрика
- Математическая логика
Аннотация
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Ключевые слова
Булева алгебра, логико-математические языки, аксиоматические теории, теория алгоритмов, теория доказательств, логика математическая
1/1 Свободно
![](/FileStore/dataFiles/d5/2a/101848/content/cover.png?time=1723900636610&key=adfe1890781c662e891f5b95e6412596)
книга(book)
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика [Текст] : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 2-е ., стер.. – Москва : Едиториал УРСС, 2005. - 238 с.– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – 1500 экз. – ISBN 5-354-01003-9 (в пер.) : 1210 тг.
УДК:
510.6(075.8)
Полочный шифр:
Л 2006/6776
Предметная рубрика
- Математическая логика
Аннотация
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Ключевые слова
математическая логика, логико-математические языки, теория множеств, логические законы, теория алгоритмов, теории доказательств
1/1 Свободно
![](/FileStore/dataFiles/84/97/109287/content/cover.png?time=1723900636619&key=483f0d5ca383951b006d2830cea436a6)
книга(book)
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 3-е ., испр.. – Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 c., схемы : формулы;– (Учебники для вузов. Специальная литература. . – Библиогр.: с. 273 . – 2000 экз. – ISBN 978-5-8114-0082-9 (в пер.) : 3185 тг.
УДК:
510.6(075)
Полочный шифр:
Л 2008/2904
Предметная рубрика
- Математическая логика
Аннотация
Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам
Ключевые слова
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
1/1 Свободно
![](/FileStore/dataFiles/c7/f7/135785/content/cover.png?time=1723900636626&key=eb064e75ca711d244ce681be27911385)
книга(book)
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
УДК:
510.6(075.8)
Полочный шифр:
Л 2007/4635
Предметная рубрика
- Математическая логика
Аннотация
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Ключевые слова
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
1/1 Свободно
![](/FileStore/dataFiles/86/6c/1683758/content/cover.png?time=1723900636626&key=18feb067370516763191c5ffb6e649c4)
книга(book)
Математическое моделирование = Matematical modelling [Текст] / Б. Нобл Дж. У. Крэггс Р. Р. Мак-Лоун, ; ред.: Дж. Эндрюс, Р. Мак-Лоун ; пер. с англ. под ред. Ю. П. Гупало... – Москва : Мир, 1979. - 276, [1] с., ил.; . – Библиогр. в конце разд. . – 22000 экз. (в пер.) : 10 тг.
УДК:
519.876.5
Полочный шифр:
Л 2024/1052
Предметная рубрика
- Цифровое имитирование и моделирование систем
Аннотация
Отдельные главы посвящены конкретным математическим моделям, относящимся к таким областям, как управление движением, истечение жидкости, сверление отверстий лазером, анализ напряжений, развитие популяций, планирование и т. д.
Ключевые слова
математическое моделирование, стархование автомобилей, методы теории катастроф, деятельность предприятия
1/1 Свободно
![](/FileStore/dataFiles/4a/82/96957/content/cover.png?time=1723900636634&key=278a64cb1591282e57e00408f931508a)
книга(book)
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
УДК:
510.5/6(075.8)
Полочный шифр:
Л 2008/3754
Предметная рубрика
- Теория алгоритмов
- Математическая логика
Аннотация
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Ключевые слова
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
1/1 Свободно
![](/FileStore/dataFiles/63/99/134192/content/cover.png?time=1723900636643&key=0017d54a8ec2da0bcffc5e22080f0a9b)
книга(book)
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 2008. - 223, [1] с., формула;– (Высшее образование. : серия основана в 1996 г. . – Библиогр.: с. 212-214 . – 1500 экз. – ISBN 978-5-16-001975-8 (ИНФРА-М), ISBN 978-5-7782-0458-4 (НГТУ) (в пер.) : 1100 тг.
УДК:
510.6(075.8)
Полочный шифр:
Л 2008/2382
Предметная рубрика
- Математическая логика и теория алгоритмов
Аннотация
Излагаются основные исчисления математической логики; основы теории моделей и теории алгоритмов, а также элементы неклассических логик
Ключевые слова
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
2/2 Свободно
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
МЕТОДЫ РАСЧЕТА ВЫСОКОНАДЕЖНЫХ СИСТЕМ (1988)
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА: КУРС ЛЕКЦИЙ (2008)
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ (1979)
книга(book)
1/1 Свободно
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
книга(book)
1/1 Свободно
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
книга(book)
2/2 Свободно