Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): исчисление -- тавтологии -- кванторы -- теоремы -- изоморфизмы -- арифметика -- арифметические функции -- теорема Гёделя -- теорема Тарского -- система Робинсона -- числа -- порядковые числа -- Гёдель -- Хартогс -- теорема Хартогса -- алгорифмы Маркова -- алгорифмы Тьюринга -- алгорифмы -- Марков -- Тьюринг Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С. И. |
Новые поступления (книга в стадии обработки) Грис, Д. Наука программирования [Текст] : научное издание / Д. Грис ; пер. с англ. Н. Н. Непейводы ; под ред. А. П. Ершова. - М. : Мир, 1984. - 416 с. : ил. ; 21 см. - 1.90 р.
Рубрики: Вычислительная техника--Программирование Кл.слова (ненормированные): ПРЕДИКАТЫ -- ТАВТОЛОГИИ -- ЭКВИВАЛЕНТНЫЕ ПРЕОБРАЗОВАНИЯ -- ЯЗЫК ПРОГРАММИРОВАНИЯ -- ПОСТРОЕНИЕ ПРОГРАММ Аннотация: Представляет собой введение в науку программирования и отражает богатый опыт автора в научной и преподавательской работе. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Непейвода, Н. Н. Ершов, А.П. |