| Найдено документов - 60 | Найти похожие: "Индекс ББК" = 'В122 или В126' | Версия для печати |
Сортировать по:
1. Книга
Брюшинкин Владимир Никифорович.
Теория поиска вывода : происхождение и философские приложения / Брюшинкин Владимир Никифорович, Ходикова Нина Анатольевна; Балт. федер. ун-т им. Иммануила Канта. - Калининград : Балтийский федеральный университет им. Иммануила Канта, 2012. - 165, [1] с. - Библиогр.: с. 158-166 (128 назв.) и в подстроч. примеч. - ISBN 978-5-9971-0222-7 : 120.00.
Теория поиска вывода : происхождение и философские приложения / Брюшинкин Владимир Никифорович, Ходикова Нина Анатольевна; Балт. федер. ун-т им. Иммануила Канта. - Калининград : Балтийский федеральный университет им. Иммануила Канта, 2012. - 165, [1] с. - Библиогр.: с. 158-166 (128 назв.) и в подстроч. примеч. - ISBN 978-5-9971-0222-7 : 120.00.
Авторы: Брюшинкин Владимир Никифорович, Ходикова Нина Анатольевна
Шифры: В122 - Б 89
Ключевые слова: Автоматическое доказательство, Гильбертовская теория доказательств, Доказательства (мат.), История логики, Логика, Математика, Математическая логика, Научные теории, Поиск вывода, Поризмы, Происхождение научных теорий, Психология, Теория доказательств, Теория поиска вывода, Философия логики
Экземпляры: Всего: 2, из них: к3-2
Подробнее
Аннотация: Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
2. Книга
Лакатос Имре (1922-1974).
Доказательства и опровержения : как доказываются теоремы / Лакатос Имре; пер. с англ. с предисл. И. Н. Веселовского ; отв. ред. И. Б. Погребысский. - Изд. 2-е. - Москва : URSS : ЛКИ, 2010. - 150, [2] с. : ил. ; 22 см. - (Физико-математическое наследие : ФМН) (Математика (основания математики и логика)). - Библиогр. в конце кн. и в подстроч. примеч. - ISBN 978-5-382-01024-3 : 160.30.
Доказательства и опровержения : как доказываются теоремы / Лакатос Имре; пер. с англ. с предисл. И. Н. Веселовского ; отв. ред. И. Б. Погребысский. - Изд. 2-е. - Москва : URSS : ЛКИ, 2010. - 150, [2] с. : ил. ; 22 см. - (Физико-математическое наследие : ФМН) (Математика (основания математики и логика)). - Библиогр. в конце кн. и в подстроч. примеч. - ISBN 978-5-382-01024-3 : 160.30.
Авторы: Лакатос Имре, Погребысский Иосиф Бенедиктович
Шифры: В122 - Л 19
Ключевые слова: Доказательства (мат.), Математика, Математическая логика, Опровержения (мат.)
Экземпляры: Всего: 2, из них: к3-2
Подробнее
Аннотация: Предлагаемая вниманию читателя книга известного английского математика И. Лакатоса (1922 -1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом парадоксы. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Рекомендуется студентам математических специальностей, а также учащимся старших классов, интересующимся математикой.
3. Документ
Лобанов Владимир Иванович.
Русская вероятностная логика для школьников и умных академиков / Лобанов Владимир Иванович. - Москва : б. и., 2008. - 33 с. : ил., табл. - Библиогр.: с. 32 (5 назв.). - 70.00.
Русская вероятностная логика для школьников и умных академиков / Лобанов Владимир Иванович. - Москва : б. и., 2008. - 33 с. : ил., табл. - Библиогр.: с. 32 (5 назв.). - 70.00.
Шифры: В122 - Л 68
Ключевые слова: Вероятностная логика, Математическая логика, Русская вероятностная логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
4. Документ
Новак Вилем.
Математические принципы нечеткой логики / Новак Вилем, Перфильева Ирина, Мочкорж Иржи; пер. с англ. под ред. А. Н. Аверкина. - Москва : Физматлит, 2006. - 347 с. : ил. - Доп. тит. л. на англ. яз. - Библиогр.: с. 335-343. - Предм. указ.: с. 344-347. - ISBN 5-9221-0399-7 (рус.) : 249.15.
Математические принципы нечеткой логики / Новак Вилем, Перфильева Ирина, Мочкорж Иржи; пер. с англ. под ред. А. Н. Аверкина. - Москва : Физматлит, 2006. - 347 с. : ил. - Доп. тит. л. на англ. яз. - Библиогр.: с. 335-343. - Предм. указ.: с. 344-347. - ISBN 5-9221-0399-7 (рус.) : 249.15.
Авторы: Новак Вилем, Перфильева Ирина, Мочкорж Иржи, Аверкин А. Н.
Шифры: В122 - Н72
Ключевые слова: Логика, Нечеткая логика
Экземпляры: Всего: 3, из них: к3-3
Подробнее
5. Документ
Клини Стивен Коул (1909-1994).
Математическая логика / Клини Стивен Коул; С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Изд. 2-е, стер. - Москва : УРСС, 2005. - 480 с. - Перевод изд.: Mathematical logic / Stephen Cole Kleene. - Библиогр.: с. 451-465. - Авт. и предм. указ.: с. 470-478. - ISBN 5-354-01011-X : 280.00.
Математическая логика / Клини Стивен Коул; С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Изд. 2-е, стер. - Москва : УРСС, 2005. - 480 с. - Перевод изд.: Mathematical logic / Stephen Cole Kleene. - Библиогр.: с. 451-465. - Авт. и предм. указ.: с. 470-478. - ISBN 5-354-01011-X : 280.00.
Авторы: Клини Стивен Коул, Гастев Ю. А., Минц Г. Е.
Шифры: В122 - К49
Ключевые слова: Математическая логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
6. Документ
Вопенка Петр.
Альтернативная теория множеств / Вопенка Петр; Петр Вопенка ; ред. пер. Белякин Н. В. ; пер. со словац. Гамовой А. Н., Белякина Н. В. - Новосибирск : Ин-т математики, 2004. - 611 с. - Доп. тит. л. на словац. яз. - Библиогр.: с. 601-606. - ISBN 5-86134-124-9 : 120.00.
Альтернативная теория множеств / Вопенка Петр; Петр Вопенка ; ред. пер. Белякин Н. В. ; пер. со словац. Гамовой А. Н., Белякина Н. В. - Новосибирск : Ин-т математики, 2004. - 611 с. - Доп. тит. л. на словац. яз. - Библиогр.: с. 601-606. - ISBN 5-86134-124-9 : 120.00.
Авторы: Вопенка Петр, Гамова А. Н., Белякин Н. В.
Шифры: В126 - В74
Ключевые слова: Множества, Теория множеств
Экземпляры: Всего: 2, из них: к3-2
Подробнее
7. Документ
Гордон Евгений Израилевич.
Инфинитезимальный анализ : [В 2 ч.]. Ч. 2 / Гордон Евгений Израилевич; Е. И. Гордон, А. Г. Кусраев, С. С. Кутателадзе; РАН. СО. Ин-т математики им. С. Л. Соболева. - Новосибирск : Ин-т математики, 2001. - 246 с. - (Нестандарт. методы анализа). - Библиогр.: с.206-241. - Указ. обозначений: с.242-243. - Предм. указ.: с.244-246. - ISBN 5-86134-097-8 : 79.80.
Инфинитезимальный анализ : [В 2 ч.]. Ч. 2 / Гордон Евгений Израилевич; Е. И. Гордон, А. Г. Кусраев, С. С. Кутателадзе; РАН. СО. Ин-т математики им. С. Л. Соболева. - Новосибирск : Ин-т математики, 2001. - 246 с. - (Нестандарт. методы анализа). - Библиогр.: с.206-241. - Указ. обозначений: с.242-243. - Предм. указ.: с.244-246. - ISBN 5-86134-097-8 : 79.80.
Авторы: Гордон Евгений Израилевич, Кусраев Анатолий Георгиевич, Кутателадзе Семен Самсонович, Решетняк Ю. Г.
Шифры: В126 - Г68
Ключевые слова: Нестандартный анализ, Нестандартные методы анализа, Инфинитезимальный анализ, Математический анализ
Экземпляры: Всего: 1, из них: к3-1
Подробнее
8. Документ
Лексаченко Валентин Александрович.
Логика. Множества. Вероятность / Лексаченко Валентин Александрович; В. А. Лексаченко. - Москва : Вузовская книга, 2001. - 128 с. : табл. - Библиогр.: с.126. - ISBN 5-89522-134-3 : 64.50.
Логика. Множества. Вероятность / Лексаченко Валентин Александрович; В. А. Лексаченко. - Москва : Вузовская книга, 2001. - 128 с. : табл. - Библиогр.: с.126. - ISBN 5-89522-134-3 : 64.50.
Шифры: В122 - Л43
Ключевые слова: Математическая логика, Математическая статистика, Множества, Случайные процессы (мат.), Теория вероятностей, Теория множеств
Экземпляры: Всего: 1, из них: к3-1
Подробнее
9. Документ
Карпенко Александр Степанович.
Логики Лукасевича и простые числа / Карпенко Александр Степанович; А. С. Капрпенко ; [отв. ред. В. К. Финн ; РАН, Ин-т философии]. - Москва : Наука, 2000. - 318,[1] с. - Библиогр.: с.283-308. - Имен. указ.: с.309-313. - ISBN 5-02-013048-6 : 22.00.
Логики Лукасевича и простые числа / Карпенко Александр Степанович; А. С. Капрпенко ; [отв. ред. В. К. Финн ; РАН, Ин-т философии]. - Москва : Наука, 2000. - 318,[1] с. - Библиогр.: с.283-308. - Имен. указ.: с.309-313. - ISBN 5-02-013048-6 : 22.00.
Авторы: Карпенко Александр Степанович, Финн В. К.
Шифры: В122 - К26
Ключевые слова: Многозначные логики, Математическая логика, Логики Лукасевича, Лукасевич, Числа, Простые числа
Экземпляры: Всего: 2, из них: к3-2
Подробнее
10. Документ
Верещагин Н. К.
Языки и исчисления : Лекции по мат. логике и теории алгоритмов / Н. К. Верещагин; Н. К. Верещагин, А. Шень. - Москва : МЦНМО, 2000. - 286 с. - На обл. загл. сер.: Математическая логика и теория алгоритмов. - Библиогр.: с.269-272. - Предм., имен. указ.: с.273-284. - ISBN 5-900916-66-9 : 27.00.
Языки и исчисления : Лекции по мат. логике и теории алгоритмов / Н. К. Верещагин; Н. К. Верещагин, А. Шень. - Москва : МЦНМО, 2000. - 286 с. - На обл. загл. сер.: Математическая логика и теория алгоритмов. - Библиогр.: с.269-272. - Предм., имен. указ.: с.273-284. - ISBN 5-900916-66-9 : 27.00.
Авторы: Верещагин Н. К., Шень Александр Ханьевич
Шифры: В122 - В31
Ключевые слова: Математическая логика, Языки первого порядка, Логические языки, Исчисления первого порядка, Логические исчисления
Экземпляры: Всего: 1, из них: к3-1
Подробнее
11. Документ
Lakatos Imre.
Proofs and refutations : the logic of mathematical discovery / Lakatos Imre; Imre Lakatos; ed. by John Worrall and Elie Zahar. - Cambridge : Cambridge university press, 1999. - XII, 174 p. ; 22 cm. - Bibliogr.: p. 155-165. - Ind.: p. 167-174. - ISBN 0-521-29038-8 : 1131.39.
Proofs and refutations : the logic of mathematical discovery / Lakatos Imre; Imre Lakatos; ed. by John Worrall and Elie Zahar. - Cambridge : Cambridge university press, 1999. - XII, 174 p. ; 22 cm. - Bibliogr.: p. 155-165. - Ind.: p. 167-174. - ISBN 0-521-29038-8 : 1131.39.
Авторы: Lakatos Imre, Worrall John, Zahar Elie
Шифры: Ю424 - L18
Ключевые слова: Логика, Доказательство, Опровержение, Математическая логика, Оксфордско-Российский фонд
Экземпляры: Всего: 1, из них: к9-1
Подробнее
12. Документ
Верещагин Н.К.
Начала теории множеств / Н. К. Верещагин, А. Шень; Н.К. Верещагин, А. Шень. - Москва : МЦНМО, 1999. - 126,[1] с. : ил. - (Лекции по мат. логике и теории алгоритмов) ( ; 1). - Библиогр.: с.121-122. - Указ. предм., имен.: с.123-127. - ISBN 5-900916-36-7 : 7.94.
Начала теории множеств / Н. К. Верещагин, А. Шень; Н.К. Верещагин, А. Шень. - Москва : МЦНМО, 1999. - 126,[1] с. : ил. - (Лекции по мат. логике и теории алгоритмов) ( ; 1). - Библиогр.: с.121-122. - Указ. предм., имен.: с.123-127. - ISBN 5-900916-36-7 : 7.94.
Авторы: Верещагин Н.К., Шень А
Шифры: В126 - В31
Ключевые слова: Множества, Теория множеств, Наивная теория множеств
Экземпляры: Всего: 1, из них: к3-1
Подробнее
13. Документ
Chagrov Alexander.
Modal logic / Chagrov Alexander, Zakharyaschev Michael; Alexander Chagrov, Michael Zakharyaschev; Inst. of Appl. Mathematics Russ. Acad. of sci. - Oxford : Clarendon press, 1997. - XV, [1], 605 p. : Il. - (Oxford logic guides) ( ; 35). - Bibliogr.: p.567-595. - Ind.: p.597-605. - ISBN 0-19-853779-4 : 55000.00.
Modal logic / Chagrov Alexander, Zakharyaschev Michael; Alexander Chagrov, Michael Zakharyaschev; Inst. of Appl. Mathematics Russ. Acad. of sci. - Oxford : Clarendon press, 1997. - XV, [1], 605 p. : Il. - (Oxford logic guides) ( ; 35). - Bibliogr.: p.567-595. - Ind.: p.597-605. - ISBN 0-19-853779-4 : 55000.00.
Авторы: Chagrov Alexander, Zakharyaschev Michael
Шифры: В122 - C43
Ключевые слова: Модальные логики
Экземпляры: Всего: 1, из них: к3-1
Подробнее
14. Документ
Пивкин В.Я.
Нечеткие множества в системах управления : Метод. пособие / В. Я. Пивкин, Е. П. Бакулин, Д. И. Кореньков; В.Я. Пивкин, Е.П. Бакулин, Д.И. Кореньков; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. ; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. - Новосибирск, 1997. - 51,[1] с. : ил. - Библиогр.: с. 52. - 5.00.
Нечеткие множества в системах управления : Метод. пособие / В. Я. Пивкин, Е. П. Бакулин, Д. И. Кореньков; В.Я. Пивкин, Е.П. Бакулин, Д.И. Кореньков; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. ; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. - Новосибирск, 1997. - 51,[1] с. : ил. - Библиогр.: с. 52. - 5.00.
Авторы: Пивкин В.Я, Бакулин Е.П., Кореньков Д.И.
Шифры: В186 - П32
Ключевые слова: Нечеткие множества, Управляющие системы, Принятие решений, Системы управления, Нечеткие системы управления, Системы с нечеткой логикой
Экземпляры: Всего: 1, из них: к3-1
Подробнее
15. Документ
Петросян Вадим Кармленович.
Общий кризис теоретико-множественной математики и пути его преодоления : версия 1.0 / Петросян Вадим Кармленович; В. К. Петросян ; Фонд филос. инициативы "Апейрон", Ин-т истории естествознания и техники РАН. - Науч. изд. - Москва : Янус-К, 1997. - 143 с. - Библиогр.: с.139-141. - ISBN 5-88929-047-9 : 8000.00.
Общий кризис теоретико-множественной математики и пути его преодоления : версия 1.0 / Петросян Вадим Кармленович; В. К. Петросян ; Фонд филос. инициативы "Апейрон", Ин-т истории естествознания и техники РАН. - Науч. изд. - Москва : Янус-К, 1997. - 143 с. - Библиогр.: с.139-141. - ISBN 5-88929-047-9 : 8000.00.
Шифры: В126 - П31
Ключевые слова: Множества, Теория множеств
Экземпляры: Всего: 2, из них: к3-2
Подробнее
16. Документ
Muskens Reinhard.
Meaning and Partiality / Muskens Reinhard; R. Muskens. - Standford : CSLI : FoLLI, 1995. - 141 p. - (Studies in Logic, Lang. a. Inform.). - Ind.: p.139-141. - ISBN 1-881526-80-1 : 15.22.
Meaning and Partiality / Muskens Reinhard; R. Muskens. - Standford : CSLI : FoLLI, 1995. - 141 p. - (Studies in Logic, Lang. a. Inform.). - Ind.: p.139-141. - ISBN 1-881526-80-1 : 15.22.
Шифры: В122 - М97
Ключевые слова: Математическая логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
17. Документ
Петросян Вадим Кармленович.
О разрешимости логико-математических парадоксов самореференции с отрицанием / Петросян Вадим Кармленович; В.К. Петросян. - Москва : Книжник, 1995. - 38 с. - Библиогр.: с.33-37. - ISBN 5-86632-019-3 : 1000.00.
О разрешимости логико-математических парадоксов самореференции с отрицанием / Петросян Вадим Кармленович; В.К. Петросян. - Москва : Книжник, 1995. - 38 с. - Библиогр.: с.33-37. - ISBN 5-86632-019-3 : 1000.00.
Шифры: Ю45 - П31
Ключевые слова: Логика, Математическая логика, Парадокс, Учебники
Экземпляры: Всего: 1, из них: к3-1
Подробнее
18. Книга
Алгебраические и логические конструкции : сборник научных трудов / Твер. гос. ун-т ; [отв. ред. Ю. М. Горчаков]. - Тверь : Тверской государственный университет, 1994. - 104, [1] с. : ил., табл. - Библиогр. в конце ст. - ISBN 5-230-08552-5 : 2 000-00.
Шифры: В14 - А45
Ключевые слова: Алгебра, Алгебраические конструкции, Математическая логика, Сборники, Теория автоматов, Труды Тверского государственного университета
Экземпляры: Всего: 5, из них: к3-5
Подробнее
19. Документ
Булос Джордж.
Вычислимость и логика / Булос Джордж; Д. Буллос, Д. Ричард ; пер. с англ. В. А. Душского, Е. Ю. Ногиной ; под ред. С. Н. Артемова. - Москва : Мир, 1994. - 396 с. - Перевод изд.: Cjmputability and logic / George S. Boolos, Richard C. Jeffry (Cambridge etc.). - Указ. имен. и предм.: с.388-394. - ISBN 5-03-003067-0 : 7 500-00.
Вычислимость и логика / Булос Джордж; Д. Буллос, Д. Ричард ; пер. с англ. В. А. Душского, Е. Ю. Ногиной ; под ред. С. Н. Артемова. - Москва : Мир, 1994. - 396 с. - Перевод изд.: Cjmputability and logic / George S. Boolos, Richard C. Jeffry (Cambridge etc.). - Указ. имен. и предм.: с.388-394. - ISBN 5-03-003067-0 : 7 500-00.
Авторы: Булос Джордж, Джеффри Ричард
Шифры: В122 - Б90
Ключевые слова: Математическая логика
Экземпляры: Всего: 3, из них: к3-3
Подробнее
20. Документ
Хендл Джеймс М.
Введение в теорию множеств / Хендл Джеймс М.; Пер. с англ. С. И. Травкина; Под ред. В. Б. Кузьмина. - Москва : Радио и связь, 1993. - 103,[2] с. - Перевод изд.: An Outline of Set Theory / James M. Henle (New York etc.). - ISBN 5-256-00485-9 : 500-00; 700-00.
Введение в теорию множеств / Хендл Джеймс М.; Пер. с англ. С. И. Травкина; Под ред. В. Б. Кузьмина. - Москва : Радио и связь, 1993. - 103,[2] с. - Перевод изд.: An Outline of Set Theory / James M. Henle (New York etc.). - ISBN 5-256-00485-9 : 500-00; 700-00.
Шифры: В126 - Х38
Ключевые слова: Множества, Теория множеств
Экземпляры: Всего: 2, из них: к3-2
Подробнее