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

Титов А. В., Калинкин А. В.
   Математическая логика. Нечеткие множества и формальные системы : метод. указания к решению типовых задач / Титов А. В., Калинкин А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 29 с. : ил. - Библиогр.: с. 29.

   Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина Н. А., Анисов А. М., Быстров П. И. [и др.] ; Российская академия наук ; науч. ред. Смирнова Е. Д. ; авт. предисл. Макаров И. М. - М. : Наука, 1990. - 238 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Библиогр.: с. 231-237. - ISBN 5-02-007156-0.

Лихтарников Л. М., Сукачева Т. Г.
   Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 3-е изд, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9.

Успенский В. А., Верещагин Н. К., Плиско В. Е.
   Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2007. - 125 с. - Библиогр.: с. 122. - Авт. на обл. не указаны. - ISBN 978-5-9221-0278-0.

Кудинов А. Т., Щепанский С. Б.
   Основы математики и информатики : учеб. пособие для юрид. вузов / Кудинов А. Т., Щепанский С. Б. ; Московская государственная юридическая академия. - М. : Элит, 2007. - Авт. на тит. л. не указаны.
   Ч. 1. - 2007. - 223 с. - Библиогр.: с. 221-222. - ISBN 978-5-902405-191.

Перельман Я. И.
   Занимательные науки / Перельман Я. И. - М. : АСТ : Астрель : ХРАНИТЕЛЬ, 2007. - 587 с. : ил. - (Занимательная наука). - ISBN 978-5-17-046422-7. - ISBN 978-5-271-18151-1. - ISBN 978-5-9762-4548-8.

Шапорев С. Д.
   Математическая логика. Курс лекций и практических занятий : учеб. пособие для вузов / Шапорев С. Д. - СПб. : БХВ-Петербург, 2007. - VI, 410 с. : ил. - (Учебное пособие). - Библиогр.: c. 405. - ISBN 978-5-94157-702-6.

Турецкий В. Я.
   Математика и информатика : учеб. пособие для вузов / Турецкий В. Я. ; Уральский государственный университет. - 3-е изд., перераб. и доп. - М. : ИНФРА-М, 2008. - 557 с. : ил. - (Высшее образование). - Библиогр.: с. 557. - ISBN 978-5-16-000171-5.

Филимонова Е. В.
   Математика и информатика : учебник / Филимонова Е. В. - 2-е изд., перераб. и доп. - М. : Дашков и К, 2008. - 480 с. - ISBN 978-5-394-00121-5.

   Математика и информатика : учебник для сред. проф. образования / Виноградов Ю. Н., Гомола А. И., Потапов В. И., Соколова Е. В. - М. : Академия, 2008. - 271 с. : ил. - (Среднее профессинальное образование. Экономика и управление). - Библиогр.: с. 270. - ISBN 978-5-7695-4092-9.