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