Elektrondy katalog
М басталады
Janr:Жаратылыстану ғылымдары (natural_sciences)
Nátejeler:
1231-1240 ız 1998
кітап
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
Математическая логика [Текст] : курс лекций : [учеб. пособие для вузов] / И. Л. Тимофеева ; [научный редактор В. Л. Матросов]. – 2-е изд. ., перераб.. – Москва : КДУ, 2007. - 302, [1] c., формула; . – Библиогр.: с. 294 . – 1000 экз. – ISBN 978-5-98227-307-9 : 1812 тг.
ÁOJ:
510.6(075.8)
Sórmelіk múqam:
Л 2007/4635
Taqyrypty aıdarlar
- Математическая логика
Ańdatpa
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка
Kіlt sózder
математическая логика, язык логики высказываний, курс математической логики, язык логики предикатов, естественный вывод, основания математики
кітап
Математическое моделирование = Matematical modelling [Текст] / Б. Нобл Дж. У. Крэггс Р. Р. Мак-Лоун, ; ред.: Дж. Эндрюс, Р. Мак-Лоун ; пер. с англ. под ред. Ю. П. Гупало... – Москва : Мир, 1979. - 276, [1] с., ил.; . – Библиогр. в конце разд. . – 22000 экз. (в пер.) : 10 тг.
ÁOJ:
519.876.5
Sórmelіk múqam:
Л 2024/1052
Taqyrypty aıdarlar
- Цифровое имитирование и моделирование систем
Ańdatpa
Отдельные главы посвящены конкретным математическим моделям, относящимся к таким областям, как управление движением, истечение жидкости, сверление отверстий лазером, анализ напряжений, развитие популяций, планирование и т. д.
Kіlt sózder
математическое моделирование, стархование автомобилей, методы теории катастроф, деятельность предприятия
кітап
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
Математическая логика и теория алгоритмов : учебное пособие для студентов высших учебных заведений / В. И. Игошин . – 2-е изд. ., стер.. – Москва : Академия, 2008. - 446, [1] с.– (Высшее профессиональное образование. . – Библиогр.: с. 435-442 . – 1500 экз. – ISBN 978-5-7695-4593-1 (в пер.) : 2561 тг.
ÁOJ:
510.5/6(075.8)
Sórmelіk múqam:
Л 2008/3754
Taqyrypty aıdarlar
- Теория алгоритмов
- Математическая логика
Ańdatpa
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов
Kіlt sózder
математическая логика, логика предикатов, теория алгоритмов, машины Тьюринга
кітап
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов Е. В. Овчинникова ; Министерство образования Российской Федерации ; Новосибирский государственный технический университет... – Москва ; Новосибирск : ИНФРА-М : Издательство НГТУ, 2008. - 223, [1] с., формула;– (Высшее образование. : серия основана в 1996 г. . – Библиогр.: с. 212-214 . – 1500 экз. – ISBN 978-5-16-001975-8 (ИНФРА-М), ISBN 978-5-7782-0458-4 (НГТУ) (в пер.) : 1100 тг.
ÁOJ:
510.6(075.8)
Sórmelіk múqam:
Л 2008/2382
Taqyrypty aıdarlar
- Математическая логика и теория алгоритмов
Ańdatpa
Излагаются основные исчисления математической логики; основы теории моделей и теории алгоритмов, а также элементы неклассических логик
Kіlt sózder
математическая логика, теория алгоритмов, исчисления высказываний, теория моделей, исчисления предикатов
кітап
ШАТЕРНИКОВ ВАЛЕРИЙ АНДРЕЕВИЧ
Михаил Николаевич Шатерников, 1870-1939 [Текст] / В. А. Шатерников Л. Е. Горелова ; [отв. ред. А. М. Уголев]... – Москва : Наука, 1982. - 142, [2] с., ил.;– (Научно-биографическая серия. . – Труды М. Н. Шатерникова и лит. о нем: с. 141-143 . – 24300 экз. : 4 тг.
ÁOJ:
612(47+57)(092)Шатерников
Sórmelіk múqam:
Л 2024/1258
Taqyrypty aıdarlar
- Физиология в СССР. Биография М. Н. Шатерникова
Ańdatpa
Рассказывается о жизни, научной, общественной и педагогической деятельности М. Н. Шатерникова - основоположника отечественной науки о питании
Kіlt sózder
русские ученые, физиология в СССР, питание
кітап
ШВАЛЕВ ВАДИМ НИКОЛАЕВИЧ
Молодость и сердце [Текст] / В. Н. Швалев ... – Москва : Молодая гвардия, 1981. - 174, [2] с., ил.;– (Эврика. . . – 100000 экз. : 3 тг.
ÁOJ:
612.17-053
Sórmelіk múqam:
Л 2024/989
Taqyrypty aıdarlar
- Процессы деятельности сердца
Ańdatpa
О сложнейших процессах деятельности сердца
Kіlt sózder
физиология сердца, нервная регуляция функций, сердечно-сосудистые заболевания, нервы сердца
кітап
Механика разрушения. Разрушение материалов [Текст] : перевод с английского / ; редактор Д. Тэплин ; под редакцией Р. В. Гольдштейна... – Москва : Мир, 1979. - 238, [1] c., ил.;– (Новое в зарубежной науке. Механика. / редакторы: А. Ю. Ишлинский, Г. Г. Черный ; 17 . – Библиография в конце статей . – 5000 экз. : 12 тг.
ÁOJ:
[539.4+620.1](082)
Sórmelіk múqam:
Л 2024/1463
Taqyrypty aıdarlar
- Прочность. Сопротивляемость. Испытания материалов. Дефекты материалов. Защита материалов. Сборник статей
Ańdatpa
Рассматриваются механизмы разрушения и возможности их теоретического описания, влияние активных сред
Kіlt sózder
механика разрушения, разрушение стали, композиты, коррозионное растрескивание, трещиностойкость керамик, разрушение материалов
кітап
ҚОҢЫРБАЕВА БЕЙБИТ МОЛДРАШЕВНА
Математика тілімен [Мәтін] / Б. М. Қоңырбаева А. Ахметқазиев ... – Алматы : Қазақстан, 1984. - 118, [2] б. . . – 2600 дана : 60 тг.
ÁOJ:
51
Sórmelіk múqam:
Г 2024/255
Taqyrypty aıdarlar
- Математика
Ańdatpa
Кітапта ойындар теориясының негізгі ұғымдары мен оны өндірісте пайдалану мүмкіндіктері мысалдар арқылы түсіндіріледі. Түрлі жағдайларға сай оптималды шешім қабылдауда математиканың қалай жәрдем жасайтыны айтылады
Kіlt sózder
математика модельдер, матрицалық ойындар, аралас стратегиялар, ықтималдықтар теориясы
Qazaqstandуq
кітап
ҚОНДЫБАЕВ СЕРІКБОЛ
Маңғыстау географиясы [Мәтін] / С. Қондыбаев ; жауапты редактор І. Шыртанов... – Алматы : Қағанат-ҚС, 1997. - 135 б., 11 кесте-карта; . . – 1000 дана – ISBN 5-7667-4483-8 : 100 тг.
ÁOJ:
911(574.14)
Sórmelіk múqam:
Г 2005/1567
Taqyrypty aıdarlar
- Маңғыстау облысының географиясы
Ańdatpa
Еңбекте байтақ қазақ даласының Маңғыстау өлкесінің ойы мен қыры, нуы мен шөлі жайлы баяндалған
Kіlt sózder
өлке географиясы, жер-су атаулары, тектоникалық даму, теңіз ресурстары
Qazaqstandуq
кітап
ҚАСЕНОВА ГҮЛМИРА ТЫНЫШБАЙҚЫЗЫ
Микроорганизмдер биотехнологиясына арналған практикум [Мәтін] / Г. Т. Қасенова Б. Мұзапбаров Ж. К. Төлемісов ; Әл-Фараби атындағы Қазақ ұлттық университеті... – Алматы : Қазақ университеті, 2020. - 179 б., суретті, кесте; . . – 100 дана – ISBN 978-601-04-4737-0 : 0 тг.
ÁOJ:
579(076.5)
Sórmelіk múqam:
Л 2024/2824
Taqyrypty aıdarlar
- Микробиология. Биотехнология. Практикум
Ańdatpa
Практикумда студенттердің практикалық машықтануына, биотехнологияда пайдаланылатын микробиологиялық зерттеулердің жаңа әдістерін, микроорганизмдердің жоғары өнімді өндірістік штамдарын алу, оларды өсіру және сақтау әдістерін игеруіне мүмкіндік туғызады
Kіlt sózder
микроорганизмдер биотехнологиясы, практикум, тест сұрақтары
Qazaqstandуq
ТИМОФЕЕВА ИРИНА ЛЕОНИДОВНА
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2007)
кітап
1/1 Bos
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ (1979)
кітап
1/1 Bos
ИГОШИН ВЛАДИМИР ИВАНОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
1/1 Bos
СУДОПЛАТОВ СЕРГЕЙ ВЛАДИМИРОВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ (2008)
кітап
2/2 Bos
ШАТЕРНИКОВ ВАЛЕРИЙ АНДРЕЕВИЧ
МИХАИЛ НИКОЛАЕВИЧ ШАТЕРНИКОВ, 1870-1939 (1982)
кітап
1/1 Bos
кітап
1/1 Bos
МЕХАНИКА РАЗРУШЕНИЯ. РАЗРУШЕНИЕ МАТЕРИАЛОВ (1979)
кітап
1/1 Bos
ҚОҢЫРБАЕВА БЕЙБИТ МОЛДРАШЕВНА
МАТЕМАТИКА ТІЛІМЕН (1984)
кітап
1/1 Bos
кітап
2/2 Bos
ҚАСЕНОВА ГҮЛМИРА ТЫНЫШБАЙҚЫЗЫ
МИКРООРГАНИЗМДЕР БИОТЕХНОЛОГИЯСЫНА АРНАЛҒАН ПРАКТИКУМ (2020)
кітап
1/1 Bos