СибНСХБ

Вид поиска

Область поиска

Найдено в других БД

Формат представления найденных документов:
библиографическое описание	краткий	полный

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=Математическая логика<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Г2011-431

Успенский, Владимир Андреевич.
Апология математики [Текст] : [сборник статей: научно-популярное издание] / В. А. Успенский. - Санкт-Петербург : Амфора, 2010. - 553 с. : ил. ; 21 см. - (Новая Эврика). - 3000 экз. - ISBN 978-5-367-00689-6 (в пер.)

ГРНТИ	27.01	, 27.03	, 27.15

ББК В10 + В11 + В12 + В13

Кл.слова (ненормированные):
Аксиоматика -- Математическая логика -- Теория алгоритмов -- Математические доказательства -- Доказательства
Дескрипторы: Математика
Экземпляры всего (): 1
102АБ (1)
Свободны:
102АБ (1)

Г2013-1286
Г2013-1286 / Г 82-102КХ

Грибов, Лев Александрович.
От молекул к жизни [Текст] / Л. А. Грибов, В. И. Баранов ; Рос. акад. наук, Ин-т геохимии и аналит. химии им. В. И. Вернадского. - Москва : URSS, 2012. - 207 с. : ил. ; 21 см. - Библиогр. в конце гл. - ISBN 978-5-396-00476-4

ГРНТИ	29.29.41	, 31.15.03

ББК В36 + В38 + В12 + Е023 + Е021 + Е081.1 + Ю4

Кл.слова (ненормированные):
Математическая логика -- Атомная физика -- Молекулярная физика -- Ядерная физика -- Эволюция молекулярного мира -- Эволюционный процесс -- Химические превращения -- Физика переходных состояний -- Энтропия -- Детерминизм -- Множественность -- Процессы в молекулах -- Распознавание образов -- Модельные расчеты
Дескрипторы: Биосфера -- Вселенная -- Эволюция
Сведения о коллективе/мероприятии:
Российская академия наук (Москва);
Институт геохимии и аналитической химии им. В.И. Вернадского (Москва)

Экземпляры всего (): 1
102КХ (1)
Свободны:
102КХ (1)

Г2014-175

Фридман, Марина Владиславовна.
Логика для биологов [Текст] / М. В. Фридман, В. С. Фридман. - Изд. 2-е, испр. и доп. - Москва : [Либроком], 2013. - 198 с. : ил., табл. ; 22 см. - Библиогр.: с. 195-198. - ISBN 978-5-397-04104-1

ГРНТИ	34.01.11	, 02.21	, 02.21.11

ББК Е0 + Е089 + В174.1 + Ч231.257 + Ю4 + В12 + С5

Кл.слова (ненормированные):
Математическая логика -- Научные понятия -- Диалектическая логика -- Формальная логика -- Генетические определения -- Операциональные определения -- Формализация
Дескрипторы: Биология -- Логика -- Эволюция
Экземпляры всего (): 1
102КХ (1)
Свободны:
102КХ (1)

Г2015-842

Информатика. Теория, вычисления, программирование [Текст] : учебное пособие для практических и лабораторных работ : для студентов вузов / [Т. П. Крюкова, И. А. Печерских, В. В. Романова и др.] ; М-во образования и науки Рос. Федерации, Кемер. технол. ин-т пищевой пром-сти. - Кемерово : [КемТИПП], 2014. - 225 с. : ил. ; 21 см. - (Высшее профессиональное образование). - Библиогр.: с. 225 (8 назв.). - 400 экз. - ISBN 978-5-89289-836-2
Авт. указаны на обороте тит. л.

ГРНТИ	20.01.07	, 20.01.04	, 20.15	, 50.05

ББК Ч231р(2)3-363 + Ч231я7 + Ч231.25я7 + П07,32я7 + З973.23я7 + З973.2-018.2я7

Кл.слова (ненормированные):
Информационные технологии -- Математические основы информатики -- Математическая логика -- MathCAD, вычислительный пакет -- Алгоритмизация -- Паскаль -- Язык программирования -- Лабораторные работы
Дескрипторы: Информатика -- Теория -- Программное обеспечение -- Вычисления -- Программирование -- Учебные пособия
Сведения о коллективе/мероприятии:
Российская Федерация. Министерство образования и науки (Москва);
Кемеровский технологический институт пищевой промышленности (Кемерово)

Экземпляры всего (): 1
102АБ (1)
Свободны:
102АБ (1)

"Электронные каталоги и базы данных библиотек СО РАН"

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)

rtvarBDview(" результаты поиска","20240702145406","50300");

Вид поиска