Electronic catalog
Start with М
Genre:Естественные науки (natural_sciences)
Search result:
1231-1240 of 1998
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
book
Математическое моделирование = Matematical modelling [Текст] / Б. Нобл Дж. У. Крэггс Р. Р. Мак-Лоун, ; ред.: Дж. Эндрюс, Р. Мак-Лоун ; пер. с англ. под ред. Ю. П. Гупало... – Москва : Мир, 1979. - 276, [1] с., ил.; . – Библиогр. в конце разд. . – 22000 экз. (в пер.) : 10 тг.
UDC:
519.876.5
Shelf code:
Л 2024/1052
Subject headings
- Цифровое имитирование и моделирование систем
Annotation
Отдельные главы посвящены конкретным математическим моделям, относящимся к таким областям, как управление движением, истечение жидкости, сверление отверстий лазером, анализ напряжений, развитие популяций, планирование и т. д.
Keywords
математическое моделирование, стархование автомобилей, методы теории катастроф, деятельность предприятия
1/1 Free
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
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
ШАТЕРНИКОВ ВАЛЕРИЙ АНДРЕЕВИЧ
Михаил Николаевич Шатерников, 1870-1939 [Текст] / В. А. Шатерников Л. Е. Горелова ; [отв. ред. А. М. Уголев]... – Москва : Наука, 1982. - 142, [2] с., ил.;– (Научно-биографическая серия. . – Труды М. Н. Шатерникова и лит. о нем: с. 141-143 . – 24300 экз. : 4 тг.
UDC:
612(47+57)(092)Шатерников
Shelf code:
Л 2024/1258
Subject headings
- Физиология в СССР. Биография М. Н. Шатерникова
Annotation
Рассказывается о жизни, научной, общественной и педагогической деятельности М. Н. Шатерникова - основоположника отечественной науки о питании
Keywords
русские ученые, физиология в СССР, питание
1/1 Free
book
ШВАЛЕВ ВАДИМ НИКОЛАЕВИЧ
Молодость и сердце [Текст] / В. Н. Швалев ... – Москва : Молодая гвардия, 1981. - 174, [2] с., ил.;– (Эврика. . . – 100000 экз. : 3 тг.
UDC:
612.17-053
Shelf code:
Л 2024/989
Subject headings
- Процессы деятельности сердца
Annotation
О сложнейших процессах деятельности сердца
Keywords
физиология сердца, нервная регуляция функций, сердечно-сосудистые заболевания, нервы сердца
1/1 Free
book
Механика разрушения. Разрушение материалов [Текст] : перевод с английского / ; редактор Д. Тэплин ; под редакцией Р. В. Гольдштейна... – Москва : Мир, 1979. - 238, [1] c., ил.;– (Новое в зарубежной науке. Механика. / редакторы: А. Ю. Ишлинский, Г. Г. Черный ; 17 . – Библиография в конце статей . – 5000 экз. : 12 тг.
UDC:
[539.4+620.1](082)
Shelf code:
Л 2024/1463
Subject headings
- Прочность. Сопротивляемость. Испытания материалов. Дефекты материалов. Защита материалов. Сборник статей
Annotation
Рассматриваются механизмы разрушения и возможности их теоретического описания, влияние активных сред
Keywords
механика разрушения, разрушение стали, композиты, коррозионное растрескивание, трещиностойкость керамик, разрушение материалов
1/1 Free
book
ҚОҢЫРБАЕВА БЕЙБИТ МОЛДРАШЕВНА
Математика тілімен [Мәтін] / Б. М. Қоңырбаева А. Ахметқазиев ... – Алматы : Қазақстан, 1984. - 118, [2] б. . . – 2600 дана : 60 тг.
UDC:
51
Shelf code:
Г 2024/255
Subject headings
- Математика
Annotation
Кітапта ойындар теориясының негізгі ұғымдары мен оны өндірісте пайдалану мүмкіндіктері мысалдар арқылы түсіндіріледі. Түрлі жағдайларға сай оптималды шешім қабылдауда математиканың қалай жәрдем жасайтыны айтылады
Keywords
математика модельдер, матрицалық ойындар, аралас стратегиялар, ықтималдықтар теориясы
Kazakhstan
1/1 Free
book
ҚОНДЫБАЕВ СЕРІКБОЛ
Маңғыстау географиясы [Мәтін] / С. Қондыбаев ; жауапты редактор І. Шыртанов... – Алматы : Қағанат-ҚС, 1997. - 135 б., 11 кесте-карта; . . – 1000 дана – ISBN 5-7667-4483-8 : 100 тг.
UDC:
911(574.14)
Shelf code:
Г 2005/1567
Subject headings
- Маңғыстау облысының географиясы
Annotation
Еңбекте байтақ қазақ даласының Маңғыстау өлкесінің ойы мен қыры, нуы мен шөлі жайлы баяндалған
Keywords
өлке географиясы, жер-су атаулары, тектоникалық даму, теңіз ресурстары
Kazakhstan
2/2 Free
book
ҚАСЕНОВА ГҮЛМИРА ТЫНЫШБАЙҚЫЗЫ
Микроорганизмдер биотехнологиясына арналған практикум [Мәтін] / Г. Т. Қасенова Б. Мұзапбаров Ж. К. Төлемісов ; Әл-Фараби атындағы Қазақ ұлттық университеті... – Алматы : Қазақ университеті, 2020. - 179 б., суретті, кесте; . . – 100 дана – ISBN 978-601-04-4737-0 : 0 тг.
UDC:
579(076.5)
Shelf code:
Л 2024/2824
Subject headings
- Микробиология. Биотехнология. Практикум
Annotation
Практикумда студенттердің практикалық машықтануына, биотехнологияда пайдаланылатын микробиологиялық зерттеулердің жаңа әдістерін, микроорганизмдердің жоғары өнімді өндірістік штамдарын алу, оларды өсіру және сақтау әдістерін игеруіне мүмкіндік туғызады
Keywords
микроорганизмдер биотехнологиясы, практикум, тест сұрақтары
Kazakhstan
1/1 Free
book
1/1 Free
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ (1979)
book
1/1 Free
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
book
1/1 Free
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
book
2/2 Free
ШАТЕРНИКОВ ВАЛЕРИЙ АНДРЕЕВИЧ
МИХАИЛ НИКОЛАЕВИЧ ШАТЕРНИКОВ, 1870-1939 (1982)
book
1/1 Free
book
1/1 Free
МЕХАНИКА РАЗРУШЕНИЯ. РАЗРУШЕНИЕ МАТЕРИАЛОВ (1979)
book
1/1 Free
book
1/1 Free
book
2/2 Free
ҚАСЕНОВА ГҮЛМИРА ТЫНЫШБАЙҚЫЗЫ
МИКРООРГАНИЗМДЕР БИОТЕХНОЛОГИЯСЫНА АРНАЛҒАН ПРАКТИКУМ (2020)
book
1/1 Free