Основания математики. Логические исчисления и формализация арифметики.

Основания математики. Логические исчисления и формализация арифметики.

מידע ביבליוגרפי
מחבר ראשי:	Гильберт Д. Давид
מחברים אחרים:	Бернайс П. Пауль
שפה:	רוסית
יצא לאור:	Москва, Наука, 1982
סדרה:	Математическая логика и основания математики
נושאים:	математика арифметика формализация математическая логика разрешимость логические выводы предикаты исчисления рекурсивные определения
פורמט:	ספר
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=90313

פריטים דומים

Логические и математические исчисления учебное пособие
מאת: Шиханович Ю. А. Юрий Александрович
יצא לאור: (Москва, Научный мир, 2011)

Математическая логика пер. с англ.
מאת: Клини С. К. Стефан Коул
יצא לאור: (Москва, Мир, 1973)

Введение в метаматематику пер. с англ.
מאת: Клини С. К. Стефен К.
יצא לאור: (Москва, Изд-во иностранной литературы, 1957)

Симметрическая конструктивная логика
מאת: Заславский И. Д. Игорь Дмитриевич
יצא לאור: (Ереван, Изд-во АН Армянской ССР, 1978)

Логический вывод
יצא לאור: (Москва, Наука, 1979)

Вычислимость. Введение в теорию рекурсивных функций пер. с англ.
מאת: Катленд Н. Найджел
יצא לאור: (Москва, Мир, 1983)

Математическая логика и теория алгоритмов учебное пособие
מאת: Гамова А. Н.
יצא לאור: (Саратов, СГУ, 2020)

Элементы математической логики
מאת: Новиков П. С. Петр Сергеевич
יצא לאור: (Москва, Наука, 1973)

Математическая логика пер. с англ.
מאת: Клини С. К. Стивен Коул
יצא לאור: (Москва, Едиториал УРСС, 2005)

Логика: теория аргументации и критического мышления
מאת: Воробьева С. В.
יצא לאור: (Минск, БГУ, 2018)

Математическая логика учебное пособие
מאת: Лавров И. А. Игорь Андреевич
יצא לאור: (Москва, Академия, 2006)

Математическая логика учебное пособие для вузов
מאת: Ершов Ю. Л. Юрий Леонидович
יצא לאור: (СПб., Лань, 2005)

Алгоритм синтеза программ с явной и неявной рекурсией
מאת: Пинжин А. Е. Алексей Евгеньевич
יצא לאור: (2008)

Математическая логика и теория алгоритмов учебное пособие
מאת: Гурова Л. М. Любовь Михайловна
יצא לאור: (Москва, Изд-во МГГУ, 2006)

Генценовские системы для исчисления высказываний и аксиоматической арифметики учебное пособие
מאת: Кипнис М. М. Михаил Маркович
יצא לאור: (Челябинск, Изд-во ЧПИ, 1985)

Теория поиска вывода. Происхождение и философские приложения монография
מאת: Брюшинкин В. Н.
יצא לאור: (Калининград, БФУ им. И.Канта, 2012)

Методы и средства вычислений с объектами. Аппликативные вычислительные системы
מאת: Вольфенгаген В. Э. Вячеслав Эрнстович
יצא לאור: (Москва, JurInfoR Lrd, 2004)

Математическая логика и теория алгоритмов учебное пособие
מאת: Крупский В. Н. Владимир Николаевич
יצא לאור: (Москва, Академия, 2013)

Логические методы и формы научного познания
יצא לאור: (Киев, Вища школа, 1984)

Математическая логика пер. с англ.
מאת: Гудстейн Р. Л.
יצא לאור: (Москва, Изд-во иностранной литературы, 1961)

Математическая логика учебное пособие
מאת: Ершов Ю. Л. Юрий Леонидович
יצא לאור: (СПб., Лань, 2005)

Дискретная математика. Формально-логические системы и языки
מאת: Авдошин С. М.
יצא לאור: (Москва, ДМК Пресс, 2018)

Программирование в среде Visual Prolog учебное пособие
מאת: Авдеенко Т. В.
יצא לאור: (Новосибирск, НГТУ, 2022)

Дискретная математика для инженера
מאת: Кузнецов О. П.
יצא לאור: (Санкт-Петербург, Лань, 2022)

Введение в математическую логику
מאת: Зюзьков В. М.
יצא לאור: (Санкт-Петербург, Лань, 2022)

Элементы модальной логики монография
מאת: Костюк В. Н. Владимир Николаевич
יצא לאור: (Киев, Наукова думка, 1978)

Математическая логика курс лекций учебное пособие
מאת: Тимофеева И. Л. Ирина Леонидовна
יצא לאור: (Москва, Университет, 2007)

Логика и теория познания межвузовский сборник
יצא לאור: (Ленинград, Изд-во ЛГУ, 1990)

Теория алгоритмов учебное пособие для вузов
מאת: Игошин В. И. Владимир Иванович
יצא לאור: (Москва, Инфра-М, 2015)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
מאת: Бирюков Б. В. Борис Владимирович
יצא לאור: (Москва, Едиториал УРСС, 2004)

Содержательная семантика модальной логики
מאת: Ивлев Ю. В. Юрий Васильевич
יצא לאור: (Москва, Изд-во МГУ, 1985)

ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания
יצא לאור: (Москва, Либроком, 2009)

Обольстить логикой. Выводы на все случаи жизни
מאת: Дрёссер К. Кристоф
יצא לאור: (Москва, Лаборатория знаний, 2025)

Элементы теории систем
מאת: Марасанов В. В. Владимир Васильевич
יצא לאור: (Кишинев, Штиинца, 1991)

Дискретная математика учебник
מאת: Поздняков С. Н. Сергей Николаевич
יצא לאור: (Москва, Академия, 2008)

Собрание арифметических задач для умственного и письменного исчисления
מאת: Томас И.
יצא לאור: (Санкт-Петербург, Типография В. В. Пратц, 1872)

Автоматизированные нечетко-логические системы управления монография
מאת: Емельянов С. Г. Сергей Геннадьевич
יצא לאור: (Москва, Инфра-М, 2011)

Теория доказательств пер. с англ.
מאת: Такеути Г. Гаиси
יצא לאור: (Москва, Мир, 1978)

Неклассические логики и их применение
יצא לאור: (1982)

Дискретная математика учебное пособие
מאת: Бекарева Н. Д.
יצא לאור: (Новосибирск, НГТУ, 2019)