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