Electronic catalog
Start with Т
Genre:Естественные науки (natural_sciences)
Search result:
711-720 of 1021
book
ТАКЕУТИ ГАИСИ
Теория доказательств = Proof Theory [Текст] / Г. Такеути ; перевод с английского С. К. Соболева ; под редакцией С. И. Адяна... – Москва : Мир, 1978. - 412 с. . – Предм. указ.: с. 406-410 . – 14000 экз. (в пер.) : 15 тг.
UDC:
510.6
Shelf code:
Л 2023/7830
Subject headings
- Математическая логика
Annotation
Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчисления предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательство устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике - логике с бесконечно длинными формулами
Keywords
теоремы, доказательство, математическая логика, инфинитарная логика, проблемы непротиворечивости, теория доказательств
1/1 Free
book
ПЕТКЕВИЧ ВЯЧЕСЛАВ ВИТОЛЬДОВИЧ
Теоретическая механика [Текст] : учебное пособие / В. В. Петкевич ... – Москва : Наука, Главная редакция физико-математической литературы, 1981. - 496 с. . – Библиогр.: с. 485-486. - Именной указ.: с. 487-488, предметный указ.: с. 489-496 . – 20000 экз. (в пер.) : 9 тг.
UDC:
531(075.8)
Shelf code:
Л 2023/7223
Subject headings
- Механика
Annotation
В книге изложены кинематика, динамика материальной точки и материальных систем. Дается подробное изложение аналитической механики, механики абсолютно твердого тела, теории устойчивости движения и малых колебаний
Keywords
механика теоретическая , кинематика, динамика материальной точки, механика Лагранжа, механика Гамильтона
1/1 Free
book
ПАНИН ВИКТОР ЯКОВЛЕВИЧ
Трематоды дикроцелииды мировой фауны = Dicrocoeliid trematodes of the world fauna [Текст] / В. Я. Панин ; Академия наук Казахской ССР, Институт зоологии ; [ответственный редактор Е. В. Гвоздев]... – Алма-Ата [Алматы] : Наука Казахской ССР, 1984. - 246, [1] с., ил.; . – Библиогр.: с. 229-240. - Указ. родов и видов: с. 241-245 . – 1000 экз. (в пер.) : 26 тг.
UDC:
576.89
Shelf code:
У 2024/55
Subject headings
- Паразитология животных
Annotation
Излагаются результаты изучения дикроцелиид - одного из наиболее крупных семейств тремотод
Keywords
трематоды, дикроцелиид, морфология личинок, биологические особенности дикроцелиид, Dicrocoeliidae odhner, паразитология животных
Kazakhstan
2/2 Free
book
АСҚАРОВА МЕРУЕРТ
Туынды және интеграл [Мәтін] / М. Асқарова ; [ред. И. М. Тоқтамысов]... – Алматы : Мектеп, 1987. - 119, [1] c. . . – 1530 экз. : 10 тг.
UDC:
517.958(075.8)
Shelf code:
Л 2018/1415
Subject headings
- Туындысы бар дифференциалдық теңдеулер
Annotation
Оқу құралында дифференциалдық және интегралдық есептеулер мен оған байланысты тақырыптар мәселесі қарастырылған
Keywords
әдістемелік, оқу құралдары, интегралдық есептеулер, дифференциалдық есептеулер, функция, көмекші құралдар
Kazakhstan
2/2 Free
book
БРАДИС ВЛАДИМИР МОДЕСТОВИЧ
Төрт таңбалы математикалық кестелер [Мәтін] : жалпы білім беретін мектепке арналған / В. М. Брадис ; [Қазақстан Республикасының Білім және ғылым министрлігі ; аударған Р. Бөкейханов]. – 11-бас. .. – Алматы : Мектеп, 2002. - 92, [2] б., кестелі; . . – 3000 дана – ISBN 9965-16-071-06 : 280 тг.
UDC:
519.66.094(083.5)
Shelf code:
Л 2018/1426
Subject headings
- Математикалық таблицалар
Annotation
Жинақта төрт таңбалы математикалық таблицалар кестесі мен кестеге сай ережелер берілген
Keywords
оқу құралы, математикалық ережелер, математикалық есептеулер, математикалық таблицалар, таблицалар
Kazakhstan
2/2 Free
book
ГУ МАН ОК
Теория ритуальной реформы и ритуальная политика в конце династии Чосон = 조선후기 의상개수론과 의상 정책 [Текст] / Ман Ок Гу ... – Сеул : Book Publishing Insight, 2019. - 430 с.– (조선후기 과학사상사 연구. = Исследования по истории научной мысли в конце династии Чосон. ; 2- Текст на корейском языке . . – [б. т.] – ISBN 978-89-8494-632-3 (в пер.) : 0 тг.
UDC:
52(091)(519)
Shelf code:
Р 2024/553
Subject headings
- История астрономии Кореи
Annotation
Данная работа поднимет уровень исследований по истории корейской астрономической науки на более высокий уровень и еще больше улучшит историю науки в Восточной Азии
Keywords
астрономия династии Чосон, история науки Чосон, история династии Чосон, научные исследования Чосон
1/1 Free
book
БӘЙДІБЕКОВ ӘУЕЗ КЕҢЕСБЕКҰЛЫ
Түрлендіру тәсілдерінің жаңа түрі [Мәтін] / Ә. К. Бәйдібеков ; Л. Н. Гумилев атындағы Еуразия ұлттық университеті... – Астана : [б. ж.], 2012. - 148, [3] б., кестелі; . – Библиогр.: 148 б. . – 500 дана – ISBN 978-601-7400-64-4 : 30 тг.
UDC:
514.18
Shelf code:
Л 2016/2744
Subject headings
- Геометриялық сызбалар
Annotation
Кітапта түрлендіру әдістерінің негіздерін үйрету, сызбаларды салу мүмкіндіктерін арттыру, сызбалардың көмегімен инженерлік есептерді шешу теориясын жеңілдету тәсілдері қарастырылған
Keywords
сызбалар, түрлендіру әдістері, сызба есептері, инженерлік графика, биквадратты түрлендіру әдістері
Kazakhstan
3/3 Free
book
ТОКМАГАМБЕТОВ ГАНИБЕК АСКАРОВИЧ
Тайны природных льдов Казахстана [Текст] / Г. А. Токмагамбетов ; Академия наук Казахской ССР, Сектор географии ; [ответственный редактор К. Г. Макаревич]... – Алма-Ата [Алматы] : Наука Казахской ССР, 1978. - 148, [3] с.– (Человек и окружающая среда. . – Библиогр.: с. 148-149 . – 4400 экз. : 5 тг.
UDC:
551.324(574)
Shelf code:
Г 2020/524
Subject headings
- Ледники Казахстана
Annotation
Рассказываются о географии ледников, о вечной мерзлоте, о лавинах и гляциальных селях, о практическом и теоретическом значении их исследования, об использовании и интересах народного хозяйства
Keywords
гляциология, природные льды Казахстана, география ледников, высокогорные районы Казахстана
Kazakhstan
2/2 Free
book
ЫСҚАҚОВ СҰЛТАНБЕК
Табиғатты қорғау дәстүріміз [Мәтін] / С. Ысқақов ... – Алматы : Қайнар, 1973. - 110, [2] б., суретті; . . – 9000 экз. : 0 тг.
UDC:
502
Shelf code:
Г 2024/875
Subject headings
- Табиғат. Қоршаған ортаны қорғау
Annotation
Кітапта республикамыздың қазіргі табиғат жағдайы, топырақ құнарын арттыру, оны эрозиядан сақтау, орман, балық, аңшылық істерін тиімді жүргізу, ресурстардың байланыстылығын сақтау, табиғи ортаның бұзылуына жол бермеу жөніндегі халықтық дәстүрлеріміз, бұл туралы жүргізіліп отырған игі істер сөз болады
Keywords
табиғатты қорғау, табиғат болашағы, қоршаған ортаны қорғау, жер, су
Kazakhstan
1/1 Free
book
Технология производства продукции растениеводства [Текст] : учебник / И. П. Фирсов А. М. Соловьев О. А. Раскутин К. И. Курочкин В. А. Крупнов ; под редакцией И. П. Фирсова... – Москва : Агропромиздат, 1989. - 431, [1] с., ил.;– (Учебники и учебные пособия для студентов высших учебных заведений. . – Библиогр.: с. 426. - Предм. указ.: с. 427-428 . – 23000 экз. (в пер.) : 10 тг.
UDC:
631.5/.9(075.8)
Shelf code:
Л 2020/8167
Subject headings
- Растениеводство
Annotation
Рассмотрено учение о почве как главном средстве сельскохозяйственного производства. Освещены способы наиболее рационального использования пахотных земель и повышения плодородия почвы
Keywords
сельскохозяйственное производство, растеневодство, почвы, зерновые культуры, крупяные культуры, масличные культуры
2/2 Free
book
1/1 Free
book
1/1 Free
ПАНИН ВИКТОР ЯКОВЛЕВИЧ
ТРЕМАТОДЫ ДИКРОЦЕЛИИДЫ МИРОВОЙ ФАУНЫ (1984)
book
2/2 Free
book
2/2 Free
БРАДИС ВЛАДИМИР МОДЕСТОВИЧ
ТӨРТ ТАҢБАЛЫ МАТЕМАТИКАЛЫҚ КЕСТЕЛЕР (2002)
book
2/2 Free
ГУ МАН ОК
ТЕОРИЯ РИТУАЛЬНОЙ РЕФОРМЫ И РИТУАЛЬНАЯ ПОЛИТИКА В КОНЦЕ ДИНАСТИИ ЧОСОН (2019)
book
1/1 Free
БӘЙДІБЕКОВ ӘУЕЗ КЕҢЕСБЕКҰЛЫ
ТҮРЛЕНДІРУ ТӘСІЛДЕРІНІҢ ЖАҢА ТҮРІ (2012)
book
3/3 Free
ТОКМАГАМБЕТОВ ГАНИБЕК АСКАРОВИЧ
ТАЙНЫ ПРИРОДНЫХ ЛЬДОВ КАЗАХСТАНА (1978)
book
2/2 Free
book
1/1 Free
ТЕХНОЛОГИЯ ПРОИЗВОДСТВА ПРОДУКЦИИ РАСТЕНИЕВОДСТВА (1989)
book
2/2 Free