Электронды каталог
Т басталады
Жанр:Жаратылыстану ғылымдары (natural_sciences)
Басылым түрі:кітап
Нәтежелер:
711-717 из 717
![](/FileStore/dataFiles/e2/32/1672210/content/cover.png?time=1723346932774&key=8a38c09bdac7c7e6c51c93dffb472de4)
кітап
ТАКЕУТИ ГАИСИ
Теория доказательств = Proof Theory [Текст] / Г. Такеути ; перевод с английского С. К. Соболева ; под редакцией С. И. Адяна... – Москва : Мир, 1978. - 412 с. . – Предм. указ.: с. 406-410 . – 14000 экз. (в пер.) : 15 тг.
ӘОЖ индексі:
510.6
Сөрмелік мүқам:
Л 2023/7830
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчисления предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательство устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике - логике с бесконечно длинными формулами
Кілт сөздер
теоремы, доказательство, математическая логика, инфинитарная логика, проблемы непротиворечивости, теория доказательств
![](/FileStore/dataFiles/7f/d4/1671263/content/cover.png?time=1723346932774&key=888ece6e9fede4aab9bfd1a7786ca136)
кітап
ПЕТКЕВИЧ ВЯЧЕСЛАВ ВИТОЛЬДОВИЧ
Теоретическая механика [Текст] : учебное пособие / В. В. Петкевич ... – Москва : Наука, Главная редакция физико-математической литературы, 1981. - 496 с. . – Библиогр.: с. 485-486. - Именной указ.: с. 487-488, предметный указ.: с. 489-496 . – 20000 экз. (в пер.) : 9 тг.
ӘОЖ индексі:
531(075.8)
Сөрмелік мүқам:
Л 2023/7223
Тақырыпты айдарлар
- Механика
Аңдатпа
В книге изложены кинематика, динамика материальной точки и материальных систем. Дается подробное изложение аналитической механики, механики абсолютно твердого тела, теории устойчивости движения и малых колебаний
Кілт сөздер
механика теоретическая , кинематика, динамика материальной точки, механика Лагранжа, механика Гамильтона
![](/FileStore/dataFiles/75/a6/1614112/content/cover.png?time=1723346932774&key=87123c8a9d094e756bb560348d2bd9ba)
кітап
ТОКМАГАМБЕТОВ ГАНИБЕК АСКАРОВИЧ
Тайны природных льдов Казахстана [Текст] / Г. А. Токмагамбетов ; [отв. ред. К. Г. Макаревич] ; Акад. наук КазССР, Сектор географии... – Алма-Ата [Алматы] : Наука Казахской ССР, 1978. - 148, [3] с.– (Человек и окружающая среда. . – Библиогр.: с. 148-149 . – 4400 экз. : 5 тг.
ӘОЖ индексі:
551.324(574)
Сөрмелік мүқам:
Г 2020/524
Тақырыпты айдарлар
- Ледники Казахстана
Аңдатпа
Рассказываются о географии ледников, о вечной мерзлоте, о лавинах и гляциальных селях, о практическом и теоретическом значении их исследования, об использовании и интересах народного хозяйства
Кілт сөздер
гляциология, природные льды Казахстана, география ледников, высокогорные районы Казахстана
Қазақстандық
![](/FileStore/dataFiles/98/38/1682829/content/cover.png?time=1723346932775&key=d6b2d6c86d282d7e106abd955b069af3)
кітап
ПАНИН ВИКТОР ЯКОВЛЕВИЧ
Трематоды дикроцелииды мировой фауны = Dicrocoeliid trematodes of the world fauna [Текст] / В. Я. Панин ; Академия наук Казахской ССР, Институт зоологии ; [ответственный редактор Е. В. Гвоздев]... – Алма-Ата [Алматы] : Наука Казахской ССР, 1984. - 246, [1] с., ил.; . – Библиогр.: с. 229-240. - Указ. родов и видов: с. 241-245 . – 1000 экз. (в пер.) : 26 тг.
ӘОЖ индексі:
576.89
Сөрмелік мүқам:
У 2024/55
Тақырыпты айдарлар
- Паразитология животных
Аңдатпа
Излагаются результаты изучения дикроцелиид - одного из наиболее крупных семейств тремотод
Кілт сөздер
трематоды, дикроцелиид, морфология личинок, биологические особенности дикроцелиид, Dicrocoeliidae odhner, паразитология животных
Қазақстандық
![](/FileStore/dataFiles/20/a1/1566775/content/cover.png?time=1723346932775&key=513e99cd780399663d94d263da00864c)
кітап
АСҚАРОВА МЕРУЕРТ
Туынды және интеграл [Мәтін] / М. Асқарова ; [ред. И. М. Тоқтамысов]... – Алматы : Мектеп, 1987. - 119, [1] c. . . – 1530 экз. : 10 тг.
ӘОЖ индексі:
517.958(075.8)
Сөрмелік мүқам:
Л 2018/1415
Тақырыпты айдарлар
- Туындысы бар дифференциалдық теңдеулер
Аңдатпа
Оқу құралында дифференциалдық және интегралдық есептеулер мен оған байланысты тақырыптар мәселесі қарастырылған
Кілт сөздер
әдістемелік, оқу құралдары, интегралдық есептеулер, дифференциалдық есептеулер, функция, көмекші құралдар
Қазақстандық
![](/FileStore/dataFiles/d9/25/1566892/content/cover.png?time=1723346932775&key=e2bd04627908e836bf06c63b912fca4b)
кітап
БРАДИС ВЛАДИМИР МОДЕСТОВИЧ
Төрт таңбалы математикалық кестелер [Мәтін] : жалпы білім беретін мектепке арналған / В. М. Брадис ; [Қазақстан Республикасының Білім және ғылым министрлігі ; аударған Р. Бөкейханов]. – 11-бас. .. – Алматы : Мектеп, 2002. - 92, [2] б., кестелі; . . – 3000 дана – ISBN 9965-16-071-06 : 280 тг.
ӘОЖ индексі:
519.66.094(083.5)
Сөрмелік мүқам:
Л 2018/1426
Тақырыпты айдарлар
- Математикалық таблицалар
Аңдатпа
Жинақта төрт таңбалы математикалық таблицалар кестесі мен кестеге сай ережелер берілген
Кілт сөздер
оқу құралы, математикалық ережелер, математикалық есептеулер, математикалық таблицалар, таблицалар
Қазақстандық
![](/FileStore/dataFiles/ad/03/1694727/content/cover.png?time=1723346932775&key=fcb7f4e4654ac8ee639ac9a0b7b3902d)
кітап
ГУ МАН ОК
Теория ритуальной реформы и ритуальная политика в конце династии Чосон = 조선후기 의상개수론과 의상 정책 [Текст] / Ман Ок Гу ... – Сеул : Book Publishing Insight, 2019. - 430 с.– (조선후기 과학사상사 연구. = Исследования по истории научной мысли в конце династии Чосон. ; 2- Текст на корейском языке . . – [б. т.] – ISBN 978-89-8494-632-3 (в пер.) : 0 тг.
ӘОЖ индексі:
52(091)(519)
Сөрмелік мүқам:
Р 2024/553
Тақырыпты айдарлар
- История астрономии Кореи
Аңдатпа
Данная работа поднимет уровень исследований по истории корейской астрономической науки на более высокий уровень и еще больше улучшит историю науки в Восточной Азии
Кілт сөздер
астрономия династии Чосон, история науки Чосон, история династии Чосон, научные исследования Чосон
кітап
1/1 Бос
ПЕТКЕВИЧ ВЯЧЕСЛАВ ВИТОЛЬДОВИЧ
ТЕОРЕТИЧЕСКАЯ МЕХАНИКА (1981)
кітап
1/1 Бос
ТОКМАГАМБЕТОВ ГАНИБЕК АСКАРОВИЧ
ТАЙНЫ ПРИРОДНЫХ ЛЬДОВ КАЗАХСТАНА (1978)
кітап
2/2 Бос
ПАНИН ВИКТОР ЯКОВЛЕВИЧ
ТРЕМАТОДЫ ДИКРОЦЕЛИИДЫ МИРОВОЙ ФАУНЫ (1984)
кітап
2/2 Бос
кітап
2/2 Бос
БРАДИС ВЛАДИМИР МОДЕСТОВИЧ
ТӨРТ ТАҢБАЛЫ МАТЕМАТИКАЛЫҚ КЕСТЕЛЕР (2002)
кітап
2/2 Бос
ГУ МАН ОК
ТЕОРИЯ РИТУАЛЬНОЙ РЕФОРМЫ И РИТУАЛЬНАЯ ПОЛИТИКА В КОНЦЕ ДИНАСТИИ ЧОСОН (2019)
кітап
1/1 Бос