Расширенный поиск

Косовский Н. К.
   Элементы математической логики и её приложения к теории субрекурсивных алгоритмов : учебное пособие / Косовский Н. К. - Ленинград : Изд-во Ленинградского университета, 1981. - 191 с. - Библиогр.: с.190.

Плоткин Б. И.
   Универсальная алгебра, алгебраическая логика и базы данных / Плоткин Б. И. - Москва : Наука, 1991. - 446 с. - Библиогр.: с.435-442. - ISBN 5-02-014635-8.

Лавров И. А., Максимова Л. Л.
   Задачи по теории множеств, математической логике и теории алгоритмов / Лавров И. А., Максимова Л. Л. - 5-е изд., испр. - М. : Физматлит, 2004. - 255 с. - Библиогр.: с.248-249. - ISBN 5-9221-0026-2.

   Современные проблемы вычислительной математики и математического моделирования : в 2 т. / РАН. Институт вычислительной математики. - Москва : Наука, 2005. - ISBN 5-02-033436-7.
   Т. 2 : Математическое моделирование / отв. ред. Дымников В. П. - 2005. - 403 с. - ISBN 5-02-033717-X.

   Современные проблемы вычислительной математики и математического моделирования : в 2 т. / РАН. Институт вычислительной математики. - Москва : Наука, 2005. - ISBN 5-02-033436-7.
   Т. 1 : Вычислительная математика / отв. ред. Бахвалов Н. С., Воеводин В. В. - 2005. - 341 с. - Библиогр. в конце ст. - ISBN 5-02-033716-1.

Игошин В. И.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Игошин В. И. - Москва : Академия, 2004. - 446 с. : ил. - (Высшее профессиональное образование: Педагогика). - Библиогр.: с.435-442. - ISBN 5-7695-1363-2.

Шапкин А. С.
   Задачи по высшей математике, теории вероятностей, математической статистике, математическому программированию с решениями : учеб. пособие для вузов / Шапкин А. С. - 2-е изд. - Москва : Дашков и К, 2005. - 431 с. - Библиогр.: с.428. - ISBN 5-94798-756-2.

   Логика и комбинаторика / сост. Егоров А. А. - Москва : Бюро Квантум, 2002. - 126 с. - (Приложение к журналу "Квант" ; № 5/2002). - ISBN 5-85843-040-6.

Григорьев Ю. Н., Вшивков В. А., Федорук М. П.
   Численное моделирование методами частиц-в-ячейках / Григорьев Ю. Н., Вшивков В. А., Федорук М. П. ; РАН. СО. Ин-т вычислительных технологий, Новосибирский государственный университет ; ред. Григорьев Ю. Н. - Новосибирск : Изд-во РАН СО, 2004. - 358 с. - Библиогр.: с.347-358. - ISBN 5-7692-0555-5.

Лебедев В. И.
   Функциональный анализ и вычислительная математика / Лебедев В. И. - 4-е изд., испр. и доп. - М. : Физматлит, 2005. - 295 с. - Библиогр.: с.285-287. - ISBN 5-9221-0092-0.