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

/ К. Г. Красухин. - М. : Наука, 2008. - 187 с. - ISBN 978-5-02-036017-4 : 147.60 р.

ГРНТИ

16.21.51

16.41.21

ББК Ш103


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

: популярный этимологический словарь / Ю. А. Федосюк. - 7-е изд. - М. : Флинта : Наука, 2009. - 240 с. - Библиогр. - 1000 экз. - ISBN 978-5-89349-216-3. - ISBN 978-5-02-022782-8 : 189.00 р.

ГРНТИ

16.41.21

03.61.91

04.41.41

ББК Ш141.2-4 + С545я21 + Т5я21


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

[Текст] : Учебное пособие / Е.Д. Смирнова. - Москва : Высшая школа, 1990. - 144 с. - Библиогр.: с.140-142. - ISBN 5-06-001495-9 : 0.35 р.
Аннотация: В книге дан анализ семантических антиномий и методов их устранения. Единым методом доказаны так называемые теоремы об ограниченностях формализмов, сжато изложены результаты теории моделей. Специальные разделы посвящены семантике возможных миров и анализ интенсивных контекстов.

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

[Текст] : монография / Дж. Дайамендстоун и компания "И-Ар-Ай Трейнинг"; Пер. с англ.А.В. Ермакова и М.П. Матекина; Под ред. В.В. Мартынюка. - Москва : Мир, 1992. - 190 с. : ил. - Библиогр.: с. 180. - 3.20 р.

УДК	681.3%ББК 32.97

Аннотация: В книге американских специалистов описана операционная система VAX/VMS для мини-ЭВМ типа VAX, совместимой с отечественными машинами СМ-17ХХ. Подробно рассмотрены синтаксис и семантика команд операционной системы, штатного редактора текстов, документатора. Для специалистов в области прикладного и системного программирования, применения мини-ЭВМ, а также студентов вузов соответствующих специальностей.

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

[Текст] : Справочник / Владас Тумасонис, В. Дагене; Пер. с литовского. - Москва : Радио и связь, 1992. - 192 с. : ил., табл. - Библиогр.: с. 189-190 . - 1.05 р.

УДК

621.3

ББК 32.973-01

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

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

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

[Текст] : монография / Ричард Уинер; Пер. с англ. М.П. Матекина ; Под ред. В.В. Мартынюка. - Перевод изд.: Turbo C at Any Speed/ R.S. Wiener. - Москва : Мир, 1991. - 380 с. + табл. - ISBN 5-03-001779-8 : 4.20 р., 4.20 р.

УДК

681.3%ББК 32.97

681.3.06

ББК 3973.26-018.1

Аннотация: Книга американского специалиста посвящена описанию входного языка компилятора Турбо Си - одной из наиболее удачных реализаций популярного языка программирования Си, предназначенного для персональных компьютеров, работающих с операционной системой МS-DOS. Подробно рассматриваются синтаксис и семантика языка Турбо Си, анализируются типичные ошибки использования его конструкций. Приводится множество примеров прграмм, которые не только поясняют синтаксис и семантику Турбо Си, но и подсказывают конкретные, наиболее целесообразные формы использования отдельных его конструкций. Для программистов и пользователей персональных ЭВМ.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 3
ИВМ-Фонд (1), ИБФ-ООН, НОР (2)
Свободны: ИВМ-Фонд (1), НОР (2)

[Текст] : Материал технической информации / Ю.И. Шемакин, А.А. Романов. - Москва : НОЦ "Школа Китайгородской", 1995. - 343 с. : ил. - Библиогр.: с. 332-343. - ISBN 5-87151-014-0 : 33.88 р.

УДК

З973.1

ББК З973.2

Аннотация: Объективный процесс познания привел к возникновению информатики - науки о свойствах информации в естественных и искусственных системах, исследуемых средствами вычислительной техники. Авторы делают следующий шаг в развитии познания в этой области. В книге в простой и доступной форме знания и информация рассматриваются как семантическая сущность материи. Дается единая классификация интеллектуальных технологических процессов в искусственных и естественных системах. Формулируются предмет и задачи компьютерной семантики. Книга рассчитана на специалистов в области автоматизированных систем обработки информации и управления.

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

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

[Текст] : монография / Г. Джоунз; Пер.с англ,Л.В.Шабанова;Под ред.Ю.Г.Дадаева. - Перевод издания:Programming in occam/G.Jones. - Москва : Мир, 1989. - 208 с. : ил. - Библиогр: с.205-206.%ISBN 5-03-001156-2. - ISBN 5-03-001155-2 : 1.00 р., 1.00 р.

УДК	УДК 681.3%ББК 32.973-01

ББК З973.233-018.12

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

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

[Текст] : методический материал / А.Г. Калинин, И.В. Мацкевич. - Москва : Радио и связь, 1991. - 399 с. : 19 ил. - Библиогр: с.395-398 ISBN 5-256-00638-X. - 4.80 р.

УДК

519.682.2

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

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

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

[Текст] : монография / Д. Мейер; Пер.с англ. М.К.Валиева, С.М.Ефимовой, И.С.Захаревича ; Под ред. М.Ш.Цаленко. - Пер.изд.: The theory of Relational Databases /D.Maier. - Москва : Мир, 1987. - 608 с. : ил. - Библиогр: с.579-597 Предм.указ.: с.598-603. - 2.80 р.

УДК	681.3%ББК 32.973

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

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

[Текст] : монография / А.А. Вейзе. - Москва : Высшая школа, 1985. - 127 с. - (Библиотека преподавателя). - Библиогр: с.122-126. - 0.25 р., 00.25 р.

ГРНТИ	16
УДК	Ш

ББК Ш14

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИВМ-Фонд (1), ИХХТ-АБ (1)
Свободны: ИВМ-Фонд (1), ИХХТ-АБ (1)

[Текст] : Сборник статей / Пер.с англ.А.Н.Бирюкова и В.А.Серебрякова;Под ред.В.М.Курочкина. - Москва : Мир, 1980. - 395 с. : ил. - Библиогр.: с. 388-394. - 2.30 р.ББК З97

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

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

[Текст] : учебное пособие / А.А. Абрамов, И.Н. Антипов, В.М. Курочкин и др. ; Отв. ред. В.Д. Поддерюгин. - Москва : Наука, 1976. - 32 с. - Библиогр.: с. 32. - 0.09 р.

УДК

519.95

ББК З 97

Аннотация: Излагается упрощенный вариант алгоритмического языка АЛГОЛ-60. Даются синтаксис и семантика предлагаемого варианта. Упрощенный алгол предназначается для специалистов в области вычислительной математики и вычислительной техники, программистов; он может быть использован при обучении студентов вузов и учащихся средних специальных учебных заведений и рекомендован начинающим программистам для самостоятельного изучения алгоритмического языка.

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

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

[Текст] : Опыты словарно-тезаурусного описания / Ю.Н. Филиппович, А.В. Прохоров ; С предисл. А.И. Новикова. - Москва : МГУП, 2002. - 368 с. : ил. - (Компьютер. лингвистика). - Библиогр.: с. 237-242. - ISBN 5-8122-0367-9 : 51.10 р.

ГРНТИ	20.23.21	16.31.21
УДК	801.681.3

ББК Ч-231.680.4 + Ш112

Аннотация: В книге представлены результаты исследования предметной области "Информатика и вычислительная техника" и опыты построения ее словарно-тезаурусного описания на основе текстов журнала Computer Week (журналов - 48, статей - 2631). Книга состоит из трех частей. В первой части приведены формальные описания, методика и алгоритмы дистрибутивно-статистических методов анализа естественно-языковых описаний предметных областей и построения на их основе словарей-тезаурусов. Во второй части описан программный комплекс ИНТЕРЛЕКС, использованный для исследований. Третья часть - это семантический словарь-тезаурус предметной области "Информационные технологии". Словарь содержит 105 словарных статей, каждая из которых включает: ключевое понятие, его категорию и абсолютную частоту, число связанных с ним словоформ, частотные индексы, семантический ареал, для каждого элемента которого указывается "сила" связи - корреляционное отношение между частотными индексами данного элемента и ключевого понятия. На CD-ROM представлены HTML версия книги, программный комплекс ИНТЕРЛЕКС, рабочие материалы исследования. Книга ориентирована на специалистов в области информатики и информационных технологий, филологов и лингвистов, редакторов и книговедов, а также аспирантов и студентов, обучающихся по данным специальностям.

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

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

[Текст] : монография / Н.Н. Непейвода, И.Н. Скопин. - Москва ; Ижевск : Институт компьютерных исследований, 2003. - 868 с. : ил. - (Высшая информатика). - Библиогр.: с. 838-845. - Предм. указ.: с. 846-851. - ISBN 5-93972-299-7 : 95.12 р.

УДК

681.3.06^V3

519.682

ББК З973.2-018

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

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

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

[Текст] : монография / С. Осуга; Пер. с японск. В.И. Этова. - Москва : Мир, 1989. - 293 с. : ил. - Предм. указ.: с. 286-291 . - ISBN 5-03-000638-9 : 1.10 р., 01.10 р.

ГРНТИ	50
УДК	007.001.33	681.5

ББК З973 + З 81 + З 972.205

Аннотация: Книга является переводом первого тома 10-томной серии по инженерии знаний, написанной крупными японскими специалистами, и представляет собой вводный курс инженерии знаний. В ней дан обзор исследований по искусственному интеллекту и методов представления знаний в экспертных системах. Обсуждены логика предикатов, синтаксис и семантика языка предикатов, правила выводов в логике предикатов, в также вопросы, связанные с формализацией проблем, способы представления информации в ЭВМ на различных этапах решения проблемы, модели решния и классификация проблем. Рассмотрены основные структуры систем обработки знаний и языков представления знаний. Для специалистов в области инженерии знаний и искусственного интеллекта, а также студентов соответствующих специальностей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИВМ-Фонд (1), ИХХТ-АБ (1)
Свободны: ИВМ-Фонд (1), ИХХТ-АБ (1)

[Текст] : Композиция, стилистика и семантика в историческом контексте / Отв. ред. В.В. Иванов ; Рос. гос. гуманитар. ун-т, Ист.-арх. ин-т, Каф. источниковедения и вспом. ист. дисциплин. - Москва : РГГУ, 2005. - 162 с. : ил. - (Библиотека РАШ / Ин-т "Русская антропологическая школа" ; вып. 1). - Библиогр. в примеч.: с. 87-142. - В прил.: Создатель герба Российской империи : бар. Б. В. Кене: штрихи к портр. - ISBN 5-7281-0809-1 : 170.00 р., 170.00 р.

ГРНТИ	03.81
УДК	929.6(47+57)(091)^V3

ББК Т215

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

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

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

[Текст] : Исследование по семантике и модальной логике / Р. Карнап ; Пер. с англ. Н.В. Воробьева ; общ. ред. Д.А. Бочвара ; предисл. С.А. Яновской. - 2-е изд. - Москва : URSS, 2007. - 384 с. - (Из истории логики XX века). - Алф. указ.: с. 369-378. - Библиогр.: с. 357-360. - Пер. изд. : Meaning and necessty : A stuby in semantics and modal logic/ Rudolf Carnap. - ISBN 978-5-382-00086-2 : 240.00 р.

ГРНТИ	02.21
УДК	16^V3

ББК Ю41

Аннотация: Настоящая книга, написанная известным американским философом и логиком Р. Карнапом (1891-1970), является заключительным томом его "Исследований по семантике", который имеет самостоятельное значение. Он подводит некоторые итоги эволюции взглядов одного из лидеров логического позитивизма на философию и логическую семантику. Карнап, обосновывая здесь свои теоретико-познавательные позиции и вновь подтверждая позитивистскую семантическую концепцию предмета философии, развивает некоторые новые логические идеи. "Главной целью этой книги, - как пишет автор, - является развитие нового метода семантического анализа значения, то есть нового метода анализа и описания значений языковых выражений" (метод экстенсионала и интенсионала). Однако основное значение книги заключается не в принадлежащем автору новом методе экстенсионала и интенсионала, а в выявлении трудностей анализа смысла и критическом обсуждении предлагавшихся разными авторами методов их решения. Книга будет интересна философам, логикам, математикам, лингвистам, а также всем заинтересованным читателям.

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

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

[Текст] : semantic for data and services on the Web / V. Kashyap, C. Bussler, M. Moran. - Berlin ; Heidelberg : Springer, 2008. - XV, 414 p. : il. ; 24 cm. - (Data-centric systems and application). - Bibliogr.: p.377-403. - Ind.: p.405-414. - ISBN 978-3-540-76451-9 : 2505.00 р.
Перевод заглавия: Семантический веб: семантика данных и веб-сервисов
   Перевод заглавия: Семантический веб: семантика данных и веб-сервисов

ГРНТИ

20.53

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

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

[Текст] : переводное издание / Г. Фреге ; ред. З. А. Кузичева ; пер. Б. В. Бирюков ; пер. с нем., вступ. ст., введ. и послесл. Б. В. Бирюкова ; под ред. З. А. Кузичевой ; коммент. Б. В. Бирюкова, З. А. Кузичевой ; Рус. ассоц. чтения, Межвуз. центр исслед. информ. культуры РФ. - Изд. 2-е, испр. - Москва : URSS : Либроком, 2012. - 511, [1] с. : ил. ; 22 см. - (Классики науки). - Имен. указ.: с. 509-511. - ISBN 978-5-397-02982-7 : 535.00 р.

ГРНТИ	02.21
УДК	510.6^V3

ББК Ю4я44 + Ю4г(4Г)6д.Фреге,Г. + Ю41я44

Аннотация: Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге (1848-1925), труды которого по своему значению сопоставимы с логическим наследием Аристотеля и Лейбница. Настоящая книга включает знаменитый труд Г.Фреге "Исчисление понятий" и другие его работы, положившие начало современной логической семантике. Книга рекомендуется студентам и аспирантам в качестве пособия по математической логике, преподавателям математических факультетов, а также всем желающим самостоятельно изучать математическую логику.

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

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