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

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

書誌詳細
第一著者:	Гильберт Д. Давид
その他の著者:	Бернайс П. Пауль
言語:	ロシア語
出版事項:	Москва, Наука, 1982
シリーズ:	Математическая логика и основания математики
主題:	математика арифметика формализация математическая логика разрешимость логические выводы предикаты исчисления рекурсивные определения
フォーマット:	図書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=90313

類似資料

Основания математики. Логические исчисления и формализация арифметики.
著者:: Гильберт Д. Давид
出版事項: (Москва, Наука, 1979)

Логические и математические исчисления: учебное пособие
著者:: Шиханович Ю. А. Юрий Александрович
出版事項: (Москва, Научный мир, 2011)

Математическая теория логического вывода: сборник переводов
出版事項: (Москва, Наука, 1967)

Математическая логика: учебное пособие
著者:: Ершов Ю. Л. Юрий Леонидович
出版事項: (СПб., Лань, 2004)

Введение в метаматематику: пер. с англ.
著者:: Клини С. К. Стефен К.
出版事項: (Москва, Изд-во иностранной литературы, 1957)

Математическая логика: пер. с англ.
著者:: Клини С. К. Стефан Коул
出版事項: (Москва, Мир, 1973)

Симметрическая конструктивная логика
著者:: Заславский И. Д. Игорь Дмитриевич
出版事項: (Ереван, Изд-во АН Армянской ССР, 1978)

Теория логического вывода
著者:: Смирнов В. А. Владимир Александрович
出版事項: (Москва, РОССПЭН, 1999)

Логический вывод
出版事項: (Москва, Наука, 1979)

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
著者:: Катленд Н. Найджел
出版事項: (Москва, Мир, 1983)

Математическая логика и теория алгоритмов учебное пособие
著者:: Гамова А. Н.
出版事項: (Саратов, СГУ, 2020)

Элементы математической логики
著者:: Новиков П. С. Петр Сергеевич
出版事項: (Москва, Наука, 1973)

Логика: теория аргументации и критического мышления
著者:: Воробьева С. В.
出版事項: (Минск, БГУ, 2018)

Математическая логика: пер. с англ.
著者:: Клини С. К. Стивен Коул
出版事項: (Москва, Едиториал УРСС, 2005)

Математическая логика: учебное пособие
著者:: Лавров И. А. Игорь Андреевич
出版事項: (Москва, Академия, 2006)

Математическая логика: учебное пособие для вузов
著者:: Ершов Ю. Л. Юрий Леонидович
出版事項: (СПб., Лань, 2005)

Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
著者:: Кипнис М. М. Михаил Маркович
出版事項: (Челябинск, Изд-во ЧПИ, 1985)

Логические методы и формы научного познания
出版事項: (Киев, Вища школа, 1984)

Алгоритм синтеза программ с явной и неявной рекурсией; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
著者:: Пинжин А. Е. Алексей Евгеньевич
出版事項: (2008)

Математическая логика и теория алгоритмов: учебное пособие
著者:: Гурова Л. М. Любовь Михайловна
出版事項: (Москва, Изд-во МГГУ, 2006)

Методы и средства вычислений с объектами. Аппликативные вычислительные системы
著者:: Вольфенгаген В. Э. Вячеслав Эрнстович
出版事項: (Москва, JurInfoR Lrd, 2004)

Основоположения арифметики; Логико-математическое исследование о понятии числа: пер. с нем.
著者:: Фреге Ф. Л. Г. Фридрих Людвиг Готлоб
出版事項: (Томск, Водолей, 2000)

Теория поиска вывода. Происхождение и философские приложения монография
著者:: Брюшинкин В. Н.
出版事項: (Калининград, БФУ им. И.Канта, 2012)

Дискретная математика. Формально-логические системы и языки
著者:: Авдошин С. М.
出版事項: (Москва, ДМК Пресс, 2018)

Математическая логика: учебное пособие
著者:: Ершов Ю. Л. Юрий Леонидович
出版事項: (СПб., Лань, 2005)

Математическая логика: пер. с англ.
著者:: Гудстейн Р. Л.
出版事項: (Москва, Изд-во иностранной литературы, 1961)

Математическая логика и теория алгоритмов: учебное пособие
著者:: Крупский В. Н. Владимир Николаевич
出版事項: (Москва, Академия, 2013)

Программирование в среде Visual Prolog учебное пособие
著者:: Авдеенко Т. В.
出版事項: (Новосибирск, НГТУ, 2022)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
著者:: Бирюков Б. В. Борис Владимирович
出版事項: (Москва, Едиториал УРСС, 2004)

Элементы модальной логики: монография
著者:: Костюк В. Н. Владимир Николаевич
出版事項: (Киев, Наукова думка, 1978)

Дискретная математика для инженера
著者:: Кузнецов О. П.
出版事項: (Санкт-Петербург, Лань, 2022)

Введение в математическую логику
著者:: Зюзьков В. М.
出版事項: (Санкт-Петербург, Лань, 2022)

Математическая логика: курс лекций; учебное пособие
著者:: Тимофеева И. Л. Ирина Леонидовна
出版事項: (Москва, Университет, 2007)

ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания
出版事項: (Москва, Либроком, 2009)

Логика и теория познания: межвузовский сборник
出版事項: (Ленинград, Изд-во ЛГУ, 1990)

Логика. Логические основы общения: Хрестоматия
出版事項: (Москва, Наука, 1994)

Теория алгоритмов: учебное пособие для вузов
著者:: Игошин В. И. Владимир Иванович
出版事項: (Москва, Инфра-М, 2015)

Содержательная семантика модальной логики
著者:: Ивлев Ю. В. Юрий Васильевич
出版事項: (Москва, Изд-во МГУ, 1985)

Обольстить логикой. Выводы на все случаи жизни
著者:: Дрёссер К. Кристоф
出版事項: (Москва, Лаборатория знаний, 2025)

Элементы теории систем
著者:: Марасанов В. В. Владимир Васильевич
出版事項: (Кишинев, Штиинца, 1991)