Основания математики. Логические исчисления и формализация арифметики.
| প্রধান লেখক: | |
|---|---|
| অন্যান্য লেখক: | |
| ভাষা: | রুশ |
| প্রকাশিত: |
Москва, Наука, 1982
|
| মালা: | Математическая логика и основания математики |
| বিষয়গুলি: | |
| বিন্যাস: | গ্রন্থ |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=90313 |
অনুরূপ উপাদানগুলি
Основания математики. Логические исчисления и формализация арифметики.
অনুযায়ী: Гильберт Д. Давид
প্রকাশিত: (Москва, Наука, 1979)
অনুযায়ী: Гильберт Д. Давид
প্রকাশিত: (Москва, Наука, 1979)
Логические и математические исчисления: учебное пособие
অনুযায়ী: Шиханович Ю. А. Юрий Александрович
প্রকাশিত: (Москва, Научный мир, 2011)
অনুযায়ী: Шиханович Ю. А. Юрий Александрович
প্রকাশিত: (Москва, Научный мир, 2011)
Математическая теория логического вывода: сборник переводов
প্রকাশিত: (Москва, Наука, 1967)
প্রকাশিত: (Москва, Наука, 1967)
Математическая логика: учебное пособие
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2004)
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2004)
Математическая логика: пер. с англ.
অনুযায়ী: Клини С. К. Стефан Коул
প্রকাশিত: (Москва, Мир, 1973)
অনুযায়ী: Клини С. К. Стефан Коул
প্রকাশিত: (Москва, Мир, 1973)
Введение в метаматематику: пер. с англ.
অনুযায়ী: Клини С. К. Стефен К.
প্রকাশিত: (Москва, Изд-во иностранной литературы, 1957)
অনুযায়ী: Клини С. К. Стефен К.
প্রকাশিত: (Москва, Изд-во иностранной литературы, 1957)
Симметрическая конструктивная логика
অনুযায়ী: Заславский И. Д. Игорь Дмитриевич
প্রকাশিত: (Ереван, Изд-во АН Армянской ССР, 1978)
অনুযায়ী: Заславский И. Д. Игорь Дмитриевич
প্রকাশিত: (Ереван, Изд-во АН Армянской ССР, 1978)
Теория логического вывода
অনুযায়ী: Смирнов В. А. Владимир Александрович
প্রকাশিত: (Москва, РОССПЭН, 1999)
অনুযায়ী: Смирнов В. А. Владимир Александрович
প্রকাশিত: (Москва, РОССПЭН, 1999)
Логический вывод
প্রকাশিত: (Москва, Наука, 1979)
প্রকাশিত: (Москва, Наука, 1979)
Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
অনুযায়ী: Катленд Н. Найджел
প্রকাশিত: (Москва, Мир, 1983)
অনুযায়ী: Катленд Н. Найджел
প্রকাশিত: (Москва, Мир, 1983)
Математическая логика и теория алгоритмов учебное пособие
অনুযায়ী: Гамова А. Н.
প্রকাশিত: (Саратов, СГУ, 2020)
অনুযায়ী: Гамова А. Н.
প্রকাশিত: (Саратов, СГУ, 2020)
Элементы математической логики
অনুযায়ী: Новиков П. С. Петр Сергеевич
প্রকাশিত: (Москва, Наука, 1973)
অনুযায়ী: Новиков П. С. Петр Сергеевич
প্রকাশিত: (Москва, Наука, 1973)
Как проектировать программы. Введение в программирование и компьютерные вычисления
অনুযায়ী: Фелляйзен М.
প্রকাশিত: (Москва, ДМК Пресс, 2022)
অনুযায়ী: Фелляйзен М.
প্রকাশিত: (Москва, ДМК Пресс, 2022)
Математическая логика: пер. с англ.
অনুযায়ী: Клини С. К. Стивен Коул
প্রকাশিত: (Москва, Едиториал УРСС, 2005)
অনুযায়ী: Клини С. К. Стивен Коул
প্রকাশিত: (Москва, Едиториал УРСС, 2005)
Логика: теория аргументации и критического мышления
অনুযায়ী: Воробьева С. В.
প্রকাশিত: (Минск, БГУ, 2018)
অনুযায়ী: Воробьева С. В.
প্রকাশিত: (Минск, БГУ, 2018)
Математическая логика: учебное пособие
অনুযায়ী: Лавров И. А. Игорь Андреевич
প্রকাশিত: (Москва, Академия, 2006)
অনুযায়ী: Лавров И. А. Игорь Андреевич
প্রকাশিত: (Москва, Академия, 2006)
Математическая логика: учебное пособие для вузов
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2005)
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2005)
Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
অনুযায়ী: Кипнис М. М. Михаил Маркович
প্রকাশিত: (Челябинск, Изд-во ЧПИ, 1985)
অনুযায়ী: Кипнис М. М. Михаил Маркович
প্রকাশিত: (Челябинск, Изд-во ЧПИ, 1985)
Логические методы и формы научного познания
প্রকাশিত: (Киев, Вища школа, 1984)
প্রকাশিত: (Киев, Вища школа, 1984)
Математическая логика и теория алгоритмов: учебное пособие
অনুযায়ী: Гурова Л. М. Любовь Михайловна
প্রকাশিত: (Москва, Изд-во МГГУ, 2006)
অনুযায়ী: Гурова Л. М. Любовь Михайловна
প্রকাশিত: (Москва, Изд-во МГГУ, 2006)
Алгоритм синтеза программ с явной и неявной рекурсией; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
অনুযায়ী: Пинжин А. Е. Алексей Евгеньевич
প্রকাশিত: (2008)
অনুযায়ী: Пинжин А. Е. Алексей Евгеньевич
প্রকাশিত: (2008)
Основоположения арифметики; Логико-математическое исследование о понятии числа: пер. с нем.
অনুযায়ী: Фреге Ф. Л. Г. Фридрих Людвиг Готлоб
প্রকাশিত: (Томск, Водолей, 2000)
অনুযায়ী: Фреге Ф. Л. Г. Фридрих Людвиг Готлоб
প্রকাশিত: (Томск, Водолей, 2000)
Методы и средства вычислений с объектами. Аппликативные вычислительные системы
অনুযায়ী: Вольфенгаген В. Э. Вячеслав Эрнстович
প্রকাশিত: (Москва, JurInfoR Lrd, 2004)
অনুযায়ী: Вольфенгаген В. Э. Вячеслав Эрнстович
প্রকাশিত: (Москва, JurInfoR Lrd, 2004)
Дискретная математика. Формально-логические системы и языки
অনুযায়ী: Авдошин С. М.
প্রকাশিত: (Москва, ДМК Пресс, 2018)
অনুযায়ী: Авдошин С. М.
প্রকাশিত: (Москва, ДМК Пресс, 2018)
Теория поиска вывода. Происхождение и философские приложения монография
অনুযায়ী: Брюшинкин В. Н.
প্রকাশিত: (Калининград, БФУ им. И.Канта, 2012)
অনুযায়ী: Брюшинкин В. Н.
প্রকাশিত: (Калининград, БФУ им. И.Канта, 2012)
Математическая логика: учебное пособие
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2005)
অনুযায়ী: Ершов Ю. Л. Юрий Леонидович
প্রকাশিত: (СПб., Лань, 2005)
Математическая логика: пер. с англ.
অনুযায়ী: Гудстейн Р. Л.
প্রকাশিত: (Москва, Изд-во иностранной литературы, 1961)
অনুযায়ী: Гудстейн Р. Л.
প্রকাশিত: (Москва, Изд-во иностранной литературы, 1961)
Программирование в среде Visual Prolog учебное пособие
অনুযায়ী: Авдеенко Т. В.
প্রকাশিত: (Новосибирск, НГТУ, 2022)
অনুযায়ী: Авдеенко Т. В.
প্রকাশিত: (Новосибирск, НГТУ, 2022)
Математическая логика и теория алгоритмов: учебное пособие
অনুযায়ী: Крупский В. Н. Владимир Николаевич
প্রকাশিত: (Москва, Академия, 2013)
অনুযায়ী: Крупский В. Н. Владимир Николаевич
প্রকাশিত: (Москва, Академия, 2013)
Элементы модальной логики: монография
অনুযায়ী: Костюк В. Н. Владимир Николаевич
প্রকাশিত: (Киев, Наукова думка, 1978)
অনুযায়ী: Костюк В. Н. Владимир Николаевич
প্রকাশিত: (Киев, Наукова думка, 1978)
Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
অনুযায়ী: Бирюков Б. В. Борис Владимирович
প্রকাশিত: (Москва, Едиториал УРСС, 2004)
অনুযায়ী: Бирюков Б. В. Борис Владимирович
প্রকাশিত: (Москва, Едиториал УРСС, 2004)
Математическая логика: курс лекций; учебное пособие
অনুযায়ী: Тимофеева И. Л. Ирина Леонидовна
প্রকাশিত: (Москва, Университет, 2007)
অনুযায়ী: Тимофеева И. Л. Ирина Леонидовна
প্রকাশিত: (Москва, Университет, 2007)
Введение в математическую логику
অনুযায়ী: Зюзьков В. М.
প্রকাশিত: (Санкт-Петербург, Лань, 2022)
অনুযায়ী: Зюзьков В. М.
প্রকাশিত: (Санкт-Петербург, Лань, 2022)
ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания
প্রকাশিত: (Москва, Либроком, 2009)
প্রকাশিত: (Москва, Либроком, 2009)
Логика. Логические основы общения: Хрестоматия
প্রকাশিত: (Москва, Наука, 1994)
প্রকাশিত: (Москва, Наука, 1994)
Логика и теория познания: межвузовский сборник
প্রকাশিত: (Ленинград, Изд-во ЛГУ, 1990)
প্রকাশিত: (Ленинград, Изд-во ЛГУ, 1990)
Теория алгоритмов: учебное пособие для вузов
অনুযায়ী: Игошин В. И. Владимир Иванович
প্রকাশিত: (Москва, Инфра-М, 2015)
অনুযায়ী: Игошин В. И. Владимир Иванович
প্রকাশিত: (Москва, Инфра-М, 2015)
Содержательная семантика модальной логики
অনুযায়ী: Ивлев Ю. В. Юрий Васильевич
প্রকাশিত: (Москва, Изд-во МГУ, 1985)
অনুযায়ী: Ивлев Ю. В. Юрий Васильевич
প্রকাশিত: (Москва, Изд-во МГУ, 1985)
Элементы теории систем
অনুযায়ী: Марасанов В. В. Владимир Васильевич
প্রকাশিত: (Кишинев, Штиинца, 1991)
অনুযায়ী: Марасанов В. В. Владимир Васильевич
প্রকাশিত: (Кишинев, Штиинца, 1991)
Обольстить логикой. Выводы на все случаи жизни
অনুযায়ী: Дрёссер К. Кристоф
প্রকাশিত: (Москва, Лаборатория знаний, 2025)
অনুযায়ী: Дрёссер К. Кристоф
প্রকাশিত: (Москва, Лаборатория знаний, 2025)