Электронный каталог
Начинается с М
Жанр:Естественные науки (natural_sciences)
Результат поиска:
1231-1240 из 1998
книга(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 Свободно
книга(book)
Механика разрушения. Разрушение материалов [Текст] : перевод с английского / ; редактор Д. Тэплин ; под редакцией Р. В. Гольдштейна... – Москва : Мир, 1979. - 238, [1] c., ил.;– (Новое в зарубежной науке. Механика. / редакторы: А. Ю. Ишлинский, Г. Г. Черный ; 17 . – Библиография в конце статей . – 5000 экз. : 12 тг.
УДК:
[539.4+620.1](082)
Полочный шифр:
Л 2024/1463
Предметная рубрика
- Прочность. Сопротивляемость. Испытания материалов. Дефекты материалов. Защита материалов. Сборник статей
Аннотация
Рассматриваются механизмы разрушения и возможности их теоретического описания, влияние активных сред
Ключевые слова
механика разрушения, разрушение стали, композиты, коррозионное растрескивание, трещиностойкость керамик, разрушение материалов
1/1 Свободно
книга(book)
ҚОҢЫРБАЕВА БЕЙБИТ МОЛДРАШЕВНА
Математика тілімен [Мәтін] / Б. М. Қоңырбаева А. Ахметқазиев ... – Алматы : Қазақстан, 1984. - 118, [2] б. . . – 2600 дана : 60 тг.
УДК:
51
Полочный шифр:
Г 2024/255
Предметная рубрика
- Математика
Аннотация
Кітапта ойындар теориясының негізгі ұғымдары мен оны өндірісте пайдалану мүмкіндіктері мысалдар арқылы түсіндіріледі. Түрлі жағдайларға сай оптималды шешім қабылдауда математиканың қалай жәрдем жасайтыны айтылады
Ключевые слова
математика модельдер, матрицалық ойындар, аралас стратегиялар, ықтималдықтар теориясы
Казахстаника
1/1 Свободно
книга(book)
ҚОНДЫБАЕВ СЕРІКБОЛ
Маңғыстау географиясы [Мәтін] / С. Қондыбаев ; жауапты редактор І. Шыртанов... – Алматы : Қағанат-ҚС, 1997. - 135 б., 11 кесте-карта; . . – 1000 дана – ISBN 5-7667-4483-8 : 100 тг.
УДК:
911(574.14)
Полочный шифр:
Г 2005/1567
Предметная рубрика
- Маңғыстау облысының географиясы
Аннотация
Еңбекте байтақ қазақ даласының Маңғыстау өлкесінің ойы мен қыры, нуы мен шөлі жайлы баяндалған
Ключевые слова
өлке географиясы, жер-су атаулары, тектоникалық даму, теңіз ресурстары
Казахстаника
2/2 Свободно
книга(book)
ҚАСЕНОВА ГҮЛМИРА ТЫНЫШБАЙҚЫЗЫ
Микроорганизмдер биотехнологиясына арналған практикум [Мәтін] / Г. Т. Қасенова Б. Мұзапбаров Ж. К. Төлемісов ; Әл-Фараби атындағы Қазақ ұлттық университеті... – Алматы : Қазақ университеті, 2020. - 179 б., суретті, кесте; . . – 100 дана – ISBN 978-601-04-4737-0 : 0 тг.
УДК:
579(076.5)
Полочный шифр:
Л 2024/2824
Предметная рубрика
- Микробиология. Биотехнология. Практикум
Аннотация
Практикумда студенттердің практикалық машықтануына, биотехнологияда пайдаланылатын микробиологиялық зерттеулердің жаңа әдістерін, микроорганизмдердің жоғары өнімді өндірістік штамдарын алу, оларды өсіру және сақтау әдістерін игеруіне мүмкіндік туғызады
Ключевые слова
микроорганизмдер биотехнологиясы, практикум, тест сұрақтары
Казахстаника
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 Свободно
МЕХАНИКА РАЗРУШЕНИЯ. РАЗРУШЕНИЕ МАТЕРИАЛОВ (1979)
книга(book)
1/1 Свободно
книга(book)
1/1 Свободно
книга(book)
2/2 Свободно
ҚАСЕНОВА ГҮЛМИРА ТЫНЫШБАЙҚЫЗЫ
МИКРООРГАНИЗМДЕР БИОТЕХНОЛОГИЯСЫНА АРНАЛҒАН ПРАКТИКУМ (2020)
книга(book)
1/1 Свободно