Логические и математические исчисления: учебное пособие

Логические и математические исчисления: учебное пособие

書誌詳細
第一著者:	Шиханович Ю. А. Юрий Александрович
要約:	В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А. Шихановича "Введение в математику" (М: «Научный мир», 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А. Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир". 2009).
言語:	ロシア語
出版事項:	Москва, Научный мир, 2011
主題:	Математическая логика логические исчисления высказывания предикаты математические исчисления теорема Геделя ассоциативные исчисления порождающие грамматики регулярные выражения рекурсивные функции исчисления Поста исчисления по Успенскому синтактика семантика дедуктика учебные пособия
フォーマット:	図書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=200129

類似資料

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

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

Теория алгоритмов учебно-методическое пособие
著者:: Куликов В. Г.
出版事項: (Москва, МИСИ – МГСУ, 2022)

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

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

Математика без формул
著者:: Пухначев Ю. В. Юрий Васильевич
出版事項: (Москва, Столетие, 2003)

Дискретная математика и математическая логика: учебник
著者:: Аляев Ю. А. Юрий Александрович
出版事項: (Москва, Финансы и статистика, 2006)

Введение в математическую логику: монография; пер. с англ.; Т. 1
著者:: Чёрч А.
出版事項: (Москва, Изд-во иностранной литературы, 1960)

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

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

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

Т. 1; Курс дифференциального и интегрального исчисления
出版事項: (1967)

Теория дедуктивных систем и ее применения
著者:: Маслов С. Ю. Сергей Юрьевич
出版事項: (Москва, Радио и связь, 1986)

Дискретная математика. Часть 1
著者:: Лежнина Ю. А.
出版事項: (Москва, РТУ МИРЭА, 2023)

Курс дифференциального и интегрального исчисления; Вып. 1
著者:: Поссе К. А. Константин Александрович
出版事項: (СПб., Издание М. В. Пирожкова, 1907)

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

Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
著者:: Барендрегт Х. П. Хендрик Питер
出版事項: (Москва, Мир, 1985)

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

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

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

Математика для экономистов; Ч. 2
著者:: Кочегурова В. Г.
出版事項: (Томск, Изд-во НТЛ, 1997)

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

Математическая логика и теория алгоритмов учебное пособие
著者:: Ярахмедов Г. А.
出版事項: (Махачкала, ДГПУ, 2024)

Дифференциальное и интегральное исчисление: учебное пособие
著者:: Бугров Я. С. Яков Степанович
出版事項: (Москва, Наука, 1980)

Т. 2; Курс математического анализа
出版事項: (1988)

Элементы дифференциального и интегрального исчеслений; Ч. 1: Дифференциальное исчесление
著者:: Грэнвиль В.
出版事項: (Ленинград, Госиздат, 1924)

Т. 1; Курс математического анализа
出版事項: (1983)

Краткий курс математического анализа: учебник
著者:: Хинчин А. Я. Александр Яковлевич
出版事項: (Москва, Гостехиздат, 1955)

Курс математического анализа: учебное пособие
著者:: Тер-Крикоров А. М. Александр Мартынович
出版事項: (Москва, Наука, 1988)

Из истории векторного исчисления
著者:: Александрова Н. В. Надежда Вячеславовна
出版事項: (Москва, Изд-во МАИ, 1992)

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

Complex Analysis
著者:: Freitag E. Eberhard
出版事項: (Dordrecht, Springer-Verlag, 2005)

Lehrbuch der Differential - und Integralrechnung; Zweiter band: Integralrechnung
著者:: Serret J. A.
出版事項: (Leipzig, Druck und Verlag von B. G. Teubner, 1907)

Ч. 1; Кн. 2 : Интегральное исчисление функций одной переменной. Дифференциальное исчисление функций многих переменных; Курс математического анализа
出版事項: (1999)

Метод флюксий Ньютона; Математика в естественнонаучных исследованиях
著者:: Степанов А. П. Анатолий Петрович
出版事項: (2014)

Комбинаторные исчисления: учебное пособие
著者:: Шабунин Л. В. Леонид Васильевич
出版事項: (Чебоксары, Изд-во ЧГУ, 1984)

Справочник по математике для инженеров и учащихся втузов
著者:: Бронштейн И. Н. Илья Николаевич
出版事項: (Москва, Государственное издательство технико-теоретической литературы, 1954)

Справочник по математике для инженеров и учащихся втузов
著者:: Бронштейн И. Н. Илья Николаевич
出版事項: (Москва, Наука, 1964)

Справочник по математике для инженеров и учащихся втузов
著者:: Бронштейн И. Н. Илья Николаевич
出版事項: (Москва, Наука, 1962)

Справочник по математике для инженеров и учащихся втузов
著者:: Бронштейн И. Н. Илья Николаевич
出版事項: (Москва, Наука, 1959)