Электронный каталог
Начинается с М
Жанр:Естественные науки (natural_sciences)
Результат поиска:
1261-1270 из 1826
книга(book)
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
Методы расчета высоконадежных систем [Текст] / И. Н. Коваленко Н. Ю. Кузнецов ... – Москва : Радио и связь, 1988. - 175, [1] с., ил.; . – Библиогр.: с. 172-174 . – 7000 экз. – ISBN 5-256-00002-0 : 50 тг.
УДК:
519.248
Полочный шифр:
Л 2024/1158
Предметная рубрика
- Статистика в приложениях и исследовании операций: теория массового обслуживания, контроль качества, надежность
Аннотация
Рассмотрены асимптотические методы определения показателей надежности систем с резервированием
Ключевые слова
сложные технические системы, расчет на надежность, моделирование сложных систем, статистическое моделирование
1/1 Свободно
книга(book)
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 3-е ., стер.. – Москва : КомКнига, 2006. - 238 с., ил.;– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – [б. т.] – ISBN 5-484-00520-5 (в пер.) : 1677 тг.
УДК:
510.6
Полочный шифр:
Л 2006/5065
Предметная рубрика
- Математическая логика
Аннотация
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Ключевые слова
Булева алгебра, логико-математические языки, аксиоматические теории, теория алгоритмов, теория доказательств, логика математическая
1/1 Свободно
книга(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 Свободно
книга(book)
ЛИХТАРНИКОВ ЛЕОНИД МОИСЕЕВИЧ
Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников Т. Г. Сукачева . – Изд. 3-е ., испр.. – Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 c., схемы : формулы;– (Учебники для вузов. Специальная литература. . – Библиогр.: с. 273 . – 2000 экз. – ISBN 978-5-8114-0082-9 (в пер.) : 3185 тг.
УДК:
510.6(075)
Полочный шифр:
Л 2008/2904
Предметная рубрика
- Математическая логика
Аннотация
Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам
Ключевые слова
математическая логика, лекции по матеатической логике, задачи по математической логике, алгебра логики, логика предикатов
1/1 Свободно
книга(book)
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
УДК:
510.6(075.8)
Полочный шифр:
Л 2007/4635
Предметная рубрика
- Математическая логика
Аннотация
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Ключевые слова
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
1/1 Свободно
книга(book)
Математическое моделирование = Matematical modelling [Текст] / Б. Нобл Дж. У. Крэггс Р. Р. Мак-Лоун, ; ред.: Дж. Эндрюс, Р. Мак-Лоун ; пер. с англ. под ред. Ю. П. Гупало... – Москва : Мир, 1979. - 276, [1] с., ил.; . – Библиогр. в конце разд. . – 22000 экз. (в пер.) : 10 тг.
УДК:
519.876.5
Полочный шифр:
Л 2024/1052
Предметная рубрика
- Цифровое имитирование и моделирование систем
Аннотация
Отдельные главы посвящены конкретным математическим моделям, относящимся к таким областям, как управление движением, истечение жидкости, сверление отверстий лазером, анализ напряжений, развитие популяций, планирование и т. д.
Ключевые слова
математическое моделирование, стархование автомобилей, методы теории катастроф, деятельность предприятия
1/1 Свободно
книга(book)
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
УДК:
510.5/6(075.8)
Полочный шифр:
Л 2008/3754
Предметная рубрика
- Теория алгоритмов
- Математическая логика
Аннотация
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Ключевые слова
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
1/1 Свободно
книга(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)
ШАТЕРНИКОВ ВАЛЕРИЙ АНДРЕЕВИЧ
Михаил Николаевич Шатерников, 1870-1939 [Текст] / В. А. Шатерников Л. Е. Горелова ; [отв. ред. А. М. Уголев]... – Москва : Наука, 1982. - 142, [2] с., ил.;– (Научно-биографическая серия. . – Труды М. Н. Шатерникова и лит. о нем: с. 141-143 . – 24300 экз. : 4 тг.
УДК:
612(47+57)(092)Шатерников
Полочный шифр:
Л 2024/1258
Предметная рубрика
- Физиология в СССР. Биография М. Н. Шатерникова
Аннотация
Рассказывается о жизни, научной, общественной и педагогической деятельности М. Н. Шатерникова - основоположника отечественной науки о питании
Ключевые слова
питание, русские ученые, физиология в СССР
1/1 Свободно
книга(book)
ШВАЛЕВ ВАДИМ НИКОЛАЕВИЧ
Молодость и сердце [Текст] / В. Н. Швалев ... – Москва : Молодая гвардия, 1981. - 174, [2] с., ил.;– (Эврика. . . – 100000 экз. : 3 тг.
УДК:
612.17-053
Полочный шифр:
Л 2024/989
Предметная рубрика
- Процессы деятельности сердца
Аннотация
О сложнейших процессах деятельности сердца
Ключевые слова
физиология сердца, нервная регуляция функций, сердечно-сосудистые заболевания, нервы сердца
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 Свободно
ШАТЕРНИКОВ ВАЛЕРИЙ АНДРЕЕВИЧ
МИХАИЛ НИКОЛАЕВИЧ ШАТЕРНИКОВ, 1870-1939 (1982)
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно