4148 записей
Титов А. В., Калинкин А. В.
Математическая логика. Нечеткие множества и формальные системы : метод. указания к решению типовых задач / Титов А. В., Калинкин А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 29 с. : ил. - Библиогр.:с. 29 .
Математическая логика. Нечеткие множества и формальные системы : метод. указания к решению типовых задач / Титов А. В., Калинкин А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 29 с. : ил. - Библиогр.:
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина Н. А., Анисов А. М., Быстров П. И. [и др.] ; Российская академия наук ; науч. ред. Смирнова Е. Д. ; авт. предисл. Макаров И. М. - М. : Наука, 1990. - 238 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Библиогр.: с. 231-237 . - ISBN 5-02-007156-0 .
Лихтарников Л. М., Сукачева Т. Г.
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 3-е изд, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.:с. 273 . - ISBN 978-5-8114-0082-9 .
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 3-е изд, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.:
Успенский В. А., Верещагин Н. К., Плиско В. Е.
Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2007. - 125 с. - Библиогр.:с. 122 . - Авт. на обл. не указаны. - ISBN 978-5-9221-0278-0 .
Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2007. - 125 с. - Библиогр.:
Кудинов А. Т., Щепанский С. Б.
Основы математики и информатики : учеб. пособие для юрид. вузов / Кудинов А. Т., Щепанский С. Б. ; Московская государственная юридическая академия. - М. : Элит, 2007. - Авт. на тит. л. не указаны.
Ч. 1. - 2007. - 223 с. - Библиогр.:с. 221-222 . - ISBN 978-5-902405-191 .
Основы математики и информатики : учеб. пособие для юрид. вузов / Кудинов А. Т., Щепанский С. Б. ; Московская государственная юридическая академия. - М. : Элит, 2007. - Авт. на тит. л. не указаны.
Ч. 1. - 2007. - 223 с. - Библиогр.:
Перельман Я. И.
Занимательные науки / Перельман Я. И. - М. : АСТ : Астрель : ХРАНИТЕЛЬ, 2007. - 587 с. : ил. - (Занимательная наука). -ISBN 978-5-17-046422-7 . - ISBN 978-5-271-18151-1 . - ISBN 978-5-9762-4548-8 .
Занимательные науки / Перельман Я. И. - М. : АСТ : Астрель : ХРАНИТЕЛЬ, 2007. - 587 с. : ил. - (Занимательная наука). -
Шапорев С. Д.
Математическая логика. Курс лекций и практических занятий : учеб. пособие для вузов / Шапорев С. Д. - СПб. : БХВ-Петербург, 2007. - VI, 410 с. : ил. - (Учебное пособие). - Библиогр.:c. 405 . - ISBN 978-5-94157-702-6 .
Математическая логика. Курс лекций и практических занятий : учеб. пособие для вузов / Шапорев С. Д. - СПб. : БХВ-Петербург, 2007. - VI, 410 с. : ил. - (Учебное пособие). - Библиогр.:
Турецкий В. Я.
Математика и информатика : учеб. пособие для вузов / Турецкий В. Я. ; Уральский государственный университет. - 3-е изд., перераб. и доп. - М. : ИНФРА-М, 2008. - 557 с. : ил. - (Высшее образование). - Библиогр.:с. 557 . - ISBN 978-5-16-000171-5 .
Математика и информатика : учеб. пособие для вузов / Турецкий В. Я. ; Уральский государственный университет. - 3-е изд., перераб. и доп. - М. : ИНФРА-М, 2008. - 557 с. : ил. - (Высшее образование). - Библиогр.:
Филимонова Е. В.
Математика и информатика : учебник / Филимонова Е. В. - 2-е изд., перераб. и доп. - М. : Дашков и К, 2008. - 480 с. -ISBN 978-5-394-00121-5 .
Математика и информатика : учебник / Филимонова Е. В. - 2-е изд., перераб. и доп. - М. : Дашков и К, 2008. - 480 с. -
