Электронды каталог
Жанр:Жаратылыстану ғылымдары (natural_sciences)
Каталог:Кітаптар
Нәтежелер:
12691-12700 из 15900
кітап
ШАПОРЕВ С. Д.
Математическая логика : Курс лекций и практических занятий / С. Д. Шапорев ... – Санкт-Петербург : БХВ-Петербург, 2005. - 410 с., формулы; . – Библиогр.: с. 405. - Предм. указ.: 406-410 . – 3000 экз. – ISBN 5-94157-702-8 (в пер.) : 1010 тг.
ӘОЖ индексі:
510.6(075.8)
Сөрмелік мүқам:
Р 2006/651
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
В пособии представлены разделы математической логики: алгебра логики и исчисление высказываний и логики предикатов
Кілт сөздер
исчисление предикатов, математическая логика, алгебра логики, исчисления высказываний, логика предикатов, теория алгоритмов
кітап
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
Методы расчета высоконадежных систем [Текст] / И. Н. Коваленко Н. Ю. Кузнецов ... – Москва : Радио и связь, 1988. - 175, [1] с., ил.; . – Библиогр.: с. 172-174 . – 7000 экз. – ISBN 5-256-00002-0 : 50 тг.
ӘОЖ индексі:
519.248
Сөрмелік мүқам:
Л 2024/1158
Тақырыпты айдарлар
- Статистика в приложениях и исследовании операций: теория массового обслуживания, контроль качества, надежность
Аңдатпа
Рассмотрены асимптотические методы определения показателей надежности систем с резервированием
Кілт сөздер
сложные технические системы, расчет на надежность, моделирование сложных систем, статистическое моделирование
кітап
Холестериноз [Текст] : (Холестерин биомембран. Теоретические и клинические аспекты) / Ю. А. Владимиров А. И. Арчаков Э. М. Коган Ю. М. Лопухин ; Академия наук СССР, Академия медицинских наук СССР ; [предисл. Ю. П. Лисицына]... – Москва : Медицина, 1983. - 351, [1] с., ил.; . – Библиогр. в конце гл. . – 9000 экз. (в пер.) : 19 тг.
ӘОЖ индексі:
612.397.81
Сөрмелік мүқам:
Л 2024/1050
Тақырыпты айдарлар
- Холестерин
Аңдатпа
Доказана ведущая роль холестерина плазматических мембран клеток в регуляции их функции. Рассмотрено участие мембранного холестерина в транспорте веществ, иммуногенезе, процессах клеточного деления, дифференцировки, злокачественного роста и старения
Кілт сөздер
холестерин, сердечно-сосудистые заболевания, атеросклероз, биология клетки
кітап
КУЗНЕЦОВ ВЛАДИМИР ЕВГЕНЬЕВИЧ
Представление в ЭВМ неформальных процедур [Текст] : продукционные системы / В. Е. Кузнецов ; [с послесловием Д. А. Поспелова]... – Москва : Наука, Главная редакция физико-математической литературы, 1989. - 158, [1] с.– (Проблемы искусственного интеллекта. . – Библиогр.: с. 157-159 . – 13000 экз. : 5 тг.
ӘОЖ индексі:
519.7
Сөрмелік мүқам:
Л 2024/1074
Тақырыпты айдарлар
- Математическая кибернетика
Аңдатпа
Посвящена исследованию неалгоритмических аспектов представления неформальных процедур. Обсуждается реализация режима возвратов и логического вывода средствами продукции. Особое внимание уделяется такому неформальному аспекту, как уместность действий в условиях многозначности
Кілт сөздер
неформальные процедуры, алгоритмические модели, продукционные системы, режим возвратов, логическое программирование
кітап
ЛЕМАН ИОХАННЕС
Увлекательная математика = Kurzweil Durch Mathe [Текст] / И. Леман ; перевод с немецкого Ю. А. Данилова ; [научный редактор и автор предисловия А. П. Савин]... – Москва : Знание, 1985. - 269, [1] с., табл. : схемы : ил.; . . – 100000 экз. : 4 тг.
ӘОЖ индексі:
51-8(076.2)-057.874
Сөрмелік мүқам:
Г 2024/212
Тақырыпты айдарлар
- Математические игры и развлечения. Задачи для школьников
Аңдатпа
Занимательные задачи являются одним из самых мощных инструментов развития человеческого интеллекта. Автор книги собрал в ней несколько сотен таких задач, для решения которых, как правило, достаточно знаний школьников 5-6-х классов. Задачи проверяют не знания, а умение логически рассуждать, они учат этому умению
Кілт сөздер
занимательная математика, логические задачи для детей, задачи по математике для 5 класса, занимательная геометрия, математические олимпиады
кітап
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
Приближенный расчёт и оптимизация надежности [Текст] / И. Н. Коваленко А. Н. Наконечный ; Академия наук Украинской ССР, Институт кибернетики имени В. М. Глушкова ; [ответственный редактор А. Ф. Турбин] ... – Киев : Наукова думка, 1989. - 181, [1] с., ил.; . – Библиогр.: с. 177-180 . – 1540 экз. – ISBN 5-12-000508-X (в пер.) : 17 тг.
ӘОЖ индексі:
519.248
Сөрмелік мүқам:
Л 2024/1157
Тақырыпты айдарлар
- Статистика в приложениях и исследовании операций: теория массового обслуживания, контроль качества, надежность
Аңдатпа
Излагаются основные принципы применения приближенных методов как к определению характеристик систем, описываемых заданными случайными процессами, так и к решению оптимизационных задач надежности
Кілт сөздер
надежность, системы оптимального управления, сложные технические системы, оптимизация
кітап
Физиология человека и животных (общая и эволюционно-экологическая) [Текст] : [учеб. для ун-тов по спец. "Биология"] : в 2-х ч., О. Г. Чораян , Г. И. Косицкий , А. Б. Коган , Г. А. Кураев ; А. Б. Коган [и др.] ; под ред. А. Б. Когана .- Москва : Высшая школа , 1984.– 29000 экз. . (в пер.) - Авт. указаны на обороте тит. л. . Библиогр.: с. 351-353. - Предм. указ.: с. 354-358 Часть 1 .– 359, [1] с., ил. . (в пер.) : 7 тг.
ӘОЖ индексі:
612(075.8)
Сөрмелік мүқам:
Л 2024/1051
Тақырыпты айдарлар
- Физиология
Аңдатпа
Особое внимание уделено принципам и механизмам эволюционного совершенствования и экологического приспособления структуры и функции органов и систем
Кілт сөздер
физиология, обмен веществ, физиология системы крови, кровообращение
кітап
ЗУЕВ ЕВГЕНИЙ АЛЕКСАНДРОВИЧ
Язык программирования Turbo Pascal 6.0 [Текст] / Е. А. Зуев ... – Москва : Унитех, 1992. - 298 с., ил.;– (Мир Turbo Pascal . ; Вып. 1 . – Библиогр.: с. 295-298 . – 50000 экз. – ISBN 5-8223-0001-4 : 13 тг.
ӘОЖ индексі:
004.43
Сөрмелік мүқам:
Л 2024/951
Тақырыпты айдарлар
- Языки программирования
Аңдатпа
Приведено полное описание входного языка системы программирования Turbo Pascal версия 6.0
Кілт сөздер
языки программирования, Turbo Pascal 6.0, файловые типы, системно-зависимые расширения, модули
кітап
Птицы Казахстана [Текст] , М. А. Кузьмина , И. А. Долгушин , Э. И. Гаврилов , В. Ф. Гаврин , М. Н. Корелов ; И. А. Долгушин [и др.] ; Акад. наук КазССР, Ин-т зоологии ; [под общ. ред. И. А. Долгушина, М. Н. Карелова] .- Алма-Ата : Наука , 1970.– 2300 экз. . (в пер.) Указ. рус. назв. птиц: с. 638-640, указ. лат. назв. птиц: с. 641-642 Т. 3 .– 645, [1] с., ил. . (в пер.) : 50 тг.
ӘОЖ индексі:
598.2(574)
Сөрмелік мүқам:
У 2018/608
Тақырыпты айдарлар
- Птицы Казахстана
Аңдатпа
Третий том содержит описания всех видов птиц, обитающих или встречающихся в пределах Казахстана, относящихся к отрядам кукушек, козодоев, сизоворонок, удодов, дятлов, стрижей и воробьиных, входящих в состав семейств: ласточковых, жаворонковых и др.
Кілт сөздер
птицы, орнитология, фауна Казахстана
Қазақстандық
кітап
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
Математическая логика : учебное пособие / А. Н. Колмогоров А. Г. Драгалин ; Московский государственный университет имени М. В. Ломоносова ; [редкол.: Г. Е. Минц (отв. ред.) [и др.]]. – Изд. 3-е ., стер.. – Москва : КомКнига, 2006. - 238 с., ил.;– (Классический университетский учебник. : основана в 2002 году по инициативе В. А. Садовничего и посвящена 250-летию Московского университета/ [ред. совет серии: В. А. Садовничий [и др.]] . – Библиогр.: с. 228. - Им. указ.: с. 229. - Предм. указ.: с. 230-236 . – [б. т.] – ISBN 5-484-00520-5 (в пер.) : 1677 тг.
ӘОЖ индексі:
510.6
Сөрмелік мүқам:
Л 2006/5065
Тақырыпты айдарлар
- Математическая логика
Аңдатпа
Изложение фундаментальных фактов современной логики, математической логики и философские проблемы современной математики
Кілт сөздер
Булева алгебра, логико-математические языки, аксиоматические теории, логика математическая, теория алгоритмов, теория доказательств
кітап
1/1 Бос
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
МЕТОДЫ РАСЧЕТА ВЫСОКОНАДЕЖНЫХ СИСТЕМ (1988)
кітап
1/1 Бос
ХОЛЕСТЕРИНОЗ (1983)
кітап
1/1 Бос
КУЗНЕЦОВ ВЛАДИМИР ЕВГЕНЬЕВИЧ
ПРЕДСТАВЛЕНИЕ В ЭВМ НЕФОРМАЛЬНЫХ ПРОЦЕДУР (1989)
кітап
1/1 Бос
кітап
1/1 Бос
КОВАЛЕНКО ИГОРЬ НИКОЛАЕВИЧ
ПРИБЛИЖЕННЫЙ РАСЧЁТ И ОПТИМИЗАЦИЯ НАДЕЖНОСТИ (1989)
кітап
1/1 Бос
ФИЗИОЛОГИЯ ЧЕЛОВЕКА И ЖИВОТНЫХ (ОБЩАЯ И ЭВОЛЮЦИОННО-ЭКОЛОГИЧЕСКАЯ) (1984)
кітап
1/1 Бос
ЗУЕВ ЕВГЕНИЙ АЛЕКСАНДРОВИЧ
ЯЗЫК ПРОГРАММИРОВАНИЯ TURBO PASCAL 6.0 (1992)
кітап
1/1 Бос
ПТИЦЫ КАЗАХСТАНА (1970)
кітап
2/2 Бос
КОЛМОГОРОВ АНДРЕЙ НИКОЛАЕВИЧ
МАТЕМАТИЧЕСКАЯ ЛОГИКА (2006)
кітап
1/1 Бос