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

[Текст] : учебное пособие / И.А. Лавров, Л.Л. Максимова. - 4-е изд. - Москва : Физматлит, 2001. - 256 с. - Библиогр.: с. 248-249. - Предм. указ.: с. 250-255. - ISBN 5-9221-0026-2 : 103.50 р.

УДК

510.2

510.5

510.6

ББК В161.41я73 + В12я73

Аннотация: В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. 3-е издание книги вышло в 1995 г. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков.

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

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

/ Под ред. Дж. Барвайса. - Москва : Наука. Главная редакция физико-математической литературы, 1982 - 1983. / Пер. с англ. С.Г. Дворникова, И.А. Лаврова ; Под ред. Ю.Л. Ершова. - 1982. - 359 с. - Предм. указ.: с. 354-359. - 2.00 р.ББК В12я22


Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Доп.точки доступа:
Барвайс, Дж. \ред.\; Дворников, С.Г. \пер.\; Лавров, И.А. \пер.\; Ершов, Ю.Л. \ред.пер.\
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)

[Текст] : учебник / В.Г. Кочегаров, Л.Г. Федяев, И. А. Лавров. - М. : Лесная промышленность, 1970. - 400 с. : табл. 30, ил. 118. - Библиогр.: 54 назв. - 7000 экз. - Б. ц.

УДК

634.9м

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


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