Сводный каталог книг

[Текст] / В. А. Смирнов [и др.]. - Москва : Наука. - (Курс логики и компьютерный практикум). : монография. - 1996. - 255 с. + 1 эл. гиб. диск. - ISBN 5-02-013603-4 : 22.00 р.
Аннотация: Книга - первое в отечественной литературе руководство по логике, оснащенное таким рабочим инструментом для построения логических выводов, как компьютерная программа, что позволит читателю легко переходить от одного логического исчисления к другому. Систематически излагаются методы поиска доказательств в интерактивном режиме для исчисления предикатов и прикладных теорий, а также способы формализации: аксиоматический метод, метод аналитических таблиц. Основное внимание уделено натуральному (субординатному) выводу с Е-символом. Для изучающих логику с помощью компьютера.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Смирнов, В.А.; Маркин, В.И.; Новодворский, А.Е.; Смирнов, А.В.
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)

[Текст] / Российская академия наук, Санкт-Петербургский ин-т информатики и автоматизации. - Санкт-Петербург : [б. и.], 2002. : сборник научных трудов, Т.1 / Под ред. Р.М. Юсупова. - 370 с. : ил, табл. - Библиогр. в конце ст. - ISBN 5-7452-0062-6 : 8.50 р.

УДК

681.3

ББК З973.2-018

Аннотация: Специальный юбилейный выпуск трудов института содержит историческую справку об институте и научные статьи, отражающие результаты исследований ученых института в области информатики, инженерии знаний и интеллектуальных систем, информатизации и информационных технологиях. Публикуемые статьи основаны на исследованиях, поддержанных грантами Федеральных целевых научно-технических программ России, РФФИ и зарубежных фондов. Выпуск 1 состоит из трех томов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Смирнов, А.В. \ред.\; Бакурадзе, Д.В. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] / Российская академия наук, Санкт-Петербургский ин-т информатики и автоматизации. - Санкт-Петербург : [б. и.], 2002. : сборник научных трудов, Т.2 / Под ред. Р.М. Юсупова. - 286 с. : ил, табл. - Библиогр. в конце ст. - ISBN 5-7452-0062-6 : 8.50 р.

УДК

681.3

ББК З973.2-018

Аннотация: Специальный юбилейный выпуск трудов института содержит историческую справку об институте и научные статьи, отражающие результаты исследований ученых института в области информатики, инженерии знаний и интеллектуальных систем, информатизации и информационных технологиях. Публикуемые статьи основаны на исследованиях, поддержанных грантами Федеральных целевых научно-технических программ России, РФФИ и зарубежных фондов. Первый выпуск состоит из трех томов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Смирнов, А.В. \ред.\; Бакурадзе, Д.В. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст]. - Москва : ЦАГИ им. Н.Е.Жуковского. - 1990. - 45, [2] с. : ил. - Библиогр. в конце ст. - Б. ц.
    Содержание:
Ковалев, В. Е. Расчет сжимаемого трехмерного пограничного слоя на стреловидном крыле / В.Е. Ковалев. - С .3-31
Игнатьев, С. Г. Расчет полей течения около несущего крыла / С.Г. Игнатьев, О.В. Карась, А.В. Смирнов. - С .32-46

ГРНТИ

30

ББК В253я54


Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Центральный аэрогидродинамический институт им. проф. Н.Е. Жуковского
Экземпляры всего: 1
ИВМ-СИФ (1)
Свободны: ИВМ-СИФ (1)

[Текст] : монография / Н.Г. Васильев ; АН СССР Дальневосточный НЦ Биолого-почвенный институт. - М. : Наука, 1979. - 320 с. : илл. + таб. . - 1250 экз. - 3.50 р.
Библиогр: В надзаг.:

УДК

634.9

Аннотация: В книге охарактеризованы закономерности распространения ясеней маньчжурского и носолистного, ильмов долинного и лопастного и образуемых ими формаций на юге Дальнего Востока. Приведены сведения о биоэкологических свойствах этих пород, типах леса и их хозяйственном значении. Издание рассчитано на лесоводов, ботаников, географов и работников лесного хозяйства и охраны природы.


Доп.точки доступа:
Смирнов, А.В. \ред.\
Экземпляры всего: 1
ИЛ-Фонд (1)
Свободны: ИЛ-Фонд (1)

[Текст] / А.В. Смирнов. - Москва : Сельхозгиз, 1956. - 96 с. - Библиогр.: с.96 . - 0.12 р.

УДК

631.62

Экземпляры всего: 1
НОР (1)
Свободны: НОР (1)