Личный кабинет
80 записей
Статья
Горшков С. П., Архангельский О. Ю., Большаков С. А.
Иерархические системы моделирования / Горшков С. П., Архангельский О. Ю., Большаков С. А. // Вычислительная техника : сборник статей / МВТУ им. Н. Э. Баумана. - 1977. - Вып. 3 / ред. Петров А. В. -С. 44-48 .
Иерархические системы моделирования / Горшков С. П., Архангельский О. Ю., Большаков С. А. // Вычислительная техника : сборник статей / МВТУ им. Н. Э. Баумана. - 1977. - Вып. 3 / ред. Петров А. В. -
Гринченков Д. В., Потоцкий С. И.
Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Гринченков Д. В., Потоцкий С. И. - М. : КНОРУС, 2017. - 206 с. - Библиогр.:с. 205-206 . - ISBN 978-5-406-05421-5 .
Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Гринченков Д. В., Потоцкий С. И. - М. : КНОРУС, 2017. - 206 с. - Библиогр.:
Читать онлайн
2 экз.
Гурова Л. М., Зайцева Е. В.
Математическая логика и теория алгоритмов : учеб. пособие для вузов / Гурова Л. М., Зайцева Е. В. ; Моск. гос. горный ун-т. - М. : Изд-во Московского государственного горного университета, 2006. - 261 с. - (Высшее горное образование). - Библиогр.:с. 259 . - ISBN 5-7418-0451-9 . - ISBN 918-5-7418-0451-3 .
Математическая логика и теория алгоритмов : учеб. пособие для вузов / Гурова Л. М., Зайцева Е. В. ; Моск. гос. горный ун-т. - М. : Изд-во Московского государственного горного университета, 2006. - 261 с. - (Высшее горное образование). - Библиогр.:
2 экз.
Драгалин А. Г.
Конструктивная теория доказательств и нестандартный анализ / Драгалин А. Г. - М. : Эдиториал УРСС, 2003. - 543 с. - Библиогр.в конце тем . - ISBN 5-354-00388-1 . - ISBN 5-354-00387-3 .
Конструктивная теория доказательств и нестандартный анализ / Драгалин А. Г. - М. : Эдиториал УРСС, 2003. - 543 с. - Библиогр.
2 экз.
Ершов Ю. Л., Палютин Е. А.
Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 3-е изд., стер. - СПб. : Лань, 2004. - 336 с. -ISBN 5-8114-0533-2 .
Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 3-е изд., стер. - СПб. : Лань, 2004. - 336 с. -
3 экз.
Ершов Ю. Л., Палютин Е. А.
Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). -ISBN 5-8114-0533-2 .
Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). -
9 экз.
Ершов Ю. Л., Палютин Е. А.
Математическая логика : учеб. пособие для вузов / Ершов Ю. Л., Палютин Е. А. - [6-е изд., испр.]. - М. : Физматлит, 2011. - 356 с. -ISBN 978-5-9221-1301-4 .
Математическая логика : учеб. пособие для вузов / Ершов Ю. Л., Палютин Е. А. - [6-е изд., испр.]. - М. : Физматлит, 2011. - 356 с. -
2 экз.
Зюзьков В. М., Шелупанов А. А.
Математическая логика и теория алгоритмов : учеб. пособие для вузов / Зюзьков В. М., Шелупанов А. А. - 2-е изд. - М. : Горячая линия - Телеком, 2007. - 176 с. : ил. - Библиогр.:с. 173-174 . - ISBN 5-93517-349-2 .
Математическая логика и теория алгоритмов : учеб. пособие для вузов / Зюзьков В. М., Шелупанов А. А. - 2-е изд. - М. : Горячая линия - Телеком, 2007. - 176 с. : ил. - Библиогр.:
5 экз.
Игошин В. И.
Элементы математической логики : учебник для СПО / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2017. - 313 с. : ил. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.:с. 311-312 . - ISBN 978-5-4468-4664-1 .
Элементы математической логики : учебник для СПО / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2017. - 313 с. : ил. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.:
1 экз.
Исследование логических систем / Академия наук СССР, Институт философии ; отв. ред. Таванец П. В. - М. : Наука, 1970. - 333 с. : ил. - Библиогр. в конце ст.
1 экз.
