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

[Текст] : в двух частях / Ф. Бауэр, Г.Гооз; Пер. с неМосква МоскваК. Валиева, В.Г. Кербеля и др.; Под ред. А.П. Ершова. - 2-е изд., перераб. и доп. - Москва : Мир. - 1990. - 423 с. : ил., табл. - Предм., именн. указ.: с. 704-733. - ISBN 5-03-002100-0 : 2.10 р.

УДК

681.142.2

ББК 22.19 + 32.97

Аннотация: Учебный курс, представляющий собой перевод с 3-го, полностью переработанного и расширенного издания, написанного известными специалистами (ФРГ). Второе немецкое издание было переведено на русский (М.: Мир, 1976). Изложение отличается глубокой методической проработанностью материала и применением концептуального подхода к преподаванию основ информатики. Фундаментальные понятия программирования вводятся в книге как исходные, получают затем формализацию и раскрываются в виде конструкций языков программирования разного уровня. Много содержательных и изящных примеров решения конкретных задач с использованием алгола-68 и паскаля. В ч.2 входят гл. 5-8, приложения, литература и указатели. Для студентов, изучающих программирование, научных работников различных специальностей, использующих ЭВМ в своей работе.

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

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

[Текст] : монография / С.С. Лавров. - Санкт-Петербург : BHV-Петербург, 2001. - 320 с. : ил. - Библиогр.: с. 315-317. - ISBN 5-94157-069-4 : 69.00 р.ББК З973.2-018

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

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

[Текст] : сборник научных трудов / Российская академия наук; Институт математики им. С. Л. Соболева ; Науч. ред. К. Ф. Самохвалов. - [Б. м. : б. и.], 2002. - 123 с. - (Вычислительные системы, ISSN 0568-661X ; вып.170). - Библиогр. в конце статей. - 10.00 р.ББК Ю22я43

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

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

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

[Текст] : Учебник / А.Ю. Молчанов. - Санкт-Петербург : Питер, 2003. - 396 с. : ил. - (Учебник для вузов). - Библиогр.: с. 386-389. - ISBN 5-94723-562-5 : 143.00 р.

УДК

004.45(07)

681.3.06(075)

ББК З973.2-018

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

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