| Найдено документов - 44 | Найти похожие: "Индекс ББК" = 'В122' | Версия для печати |
Сортировать по:
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. Документ
Лексаченко Валентин Александрович.
Логика. Множества. Вероятность / Лексаченко Валентин Александрович; В. А. Лексаченко. - Москва : Вузовская книга, 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
Подробнее
7. Документ
Карпенко Александр Степанович.
Логики Лукасевича и простые числа / Карпенко Александр Степанович; А. С. Капрпенко ; [отв. ред. В. К. Финн ; РАН, Ин-т философии]. - Москва : Наука, 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
Подробнее
8. Документ
Верещагин Н. К.
Языки и исчисления : Лекции по мат. логике и теории алгоритмов / Н. К. Верещагин; Н. К. Верещагин, А. Шень. - Москва : МЦНМО, 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
Подробнее
9. Документ
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
Подробнее
10. Документ
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
Подробнее
11. Документ
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
Подробнее
12. Документ
Петросян Вадим Кармленович.
О разрешимости логико-математических парадоксов самореференции с отрицанием / Петросян Вадим Кармленович; В.К. Петросян. - Москва : Книжник, 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
Подробнее
13. Книга
Алгебраические и логические конструкции : сборник научных трудов / Твер. гос. ун-т ; [отв. ред. Ю. М. Горчаков]. - Тверь : Тверской государственный университет, 1994. - 104, [1] с. : ил., табл. - Библиогр. в конце ст. - ISBN 5-230-08552-5 : 2 000-00.
Шифры: В14 - А45
Ключевые слова: Алгебра, Алгебраические конструкции, Математическая логика, Сборники, Теория автоматов, Труды Тверского государственного университета
Экземпляры: Всего: 5, из них: к3-5
Подробнее
14. Документ
Булос Джордж.
Вычислимость и логика / Булос Джордж; Д. Буллос, Д. Ричард ; пер. с англ. В. А. Душского, Е. Ю. Ногиной ; под ред. С. Н. Артемова. - Москва : Мир, 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
Подробнее
15. Книга
Петров Василий Викторович.
Обработка языка и логика предикатов / Петров Василий Викторович, Переверзев Василий Николаевич; отв. ред. В. В. Целищев. - Новосибирск : Новосибирский государственный университет, 1993. - 156,[1] с. - Библиогр.: с.152-157. - ISBN 5-7615-0114-7 : 9.30.
Обработка языка и логика предикатов / Петров Василий Викторович, Переверзев Василий Николаевич; отв. ред. В. В. Целищев. - Новосибирск : Новосибирский государственный университет, 1993. - 156,[1] с. - Библиогр.: с.152-157. - ISBN 5-7615-0114-7 : 9.30.
Авторы: Петров Василий Викторович, Переверзев Василий Николаевич, Целищев Виталий Валентинович
Шифры: Ш11 - П30
Ключевые слова: Логика, Логическая семантика, Математическая логика, Прикладное языкознание, Семантика, Языкознание
Экземпляры: Всего: 1, из них: к9-1
Подробнее
16. Документ
Раца Мефодий Федорович.
Выразимость в исчислениях высказываний / Раца Мефодий Федорович; М. Ф. Раца; Под ред. А. Д. Тайманова; АН МССР, Ин-т математики с ВЦ ; Ин-т математики с ВЦ АН МССР. - Кишинев : Штиинца, 1991. - 202,[1] с. ; 21 см. - Библиогр.: с. 196-201 (98 назв.). - ISBN 5-376-00961-0 : 2.50.
Выразимость в исчислениях высказываний / Раца Мефодий Федорович; М. Ф. Раца; Под ред. А. Д. Тайманова; АН МССР, Ин-т математики с ВЦ ; Ин-т математики с ВЦ АН МССР. - Кишинев : Штиинца, 1991. - 202,[1] с. ; 21 см. - Библиогр.: с. 196-201 (98 назв.). - ISBN 5-376-00961-0 : 2.50.
Авторы: Раца Мефодий Федорович, Тайманов А. Д.
Шифры: В122 - Р27
Ключевые слова: Исчисление высказываний, Математическая логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
17. Документ
Раца Мефодий Федорович.
Итеративные цепные классы псевдобулевых функций / Раца Мефодий Федорович; М. Ф. Раца; Под ред. И. С. Негру; АН МССР, Ин-т математики с ВЦ ; Ин-т математики с ВЦ МССР. - Кишинев : Штиинца, 1990. - 236,[1] с. ; 22 см. - Библиогр.: с. 233-235 (40 назв.). - ISBN 5-376-00806-1 : 2.70.
Итеративные цепные классы псевдобулевых функций / Раца Мефодий Федорович; М. Ф. Раца; Под ред. И. С. Негру; АН МССР, Ин-т математики с ВЦ ; Ин-т математики с ВЦ МССР. - Кишинев : Штиинца, 1990. - 236,[1] с. ; 22 см. - Библиогр.: с. 233-235 (40 назв.). - ISBN 5-376-00806-1 : 2.70.
Авторы: Раца Мефодий Федорович, Негру И. С.
Шифры: В122 - Р27
Ключевые слова: Алгебра логики, Итеративные цепные классы, Функции, Псевдобулевы функции
Экземпляры: Всего: 1, из них: к3-1
Подробнее
18. Документ
Блехман Илья Израилевич.
Механика и прикладная математика : Логика и особенности прил. математики / Блехман Илья Израилевич, Мышкис Анатолий Дмитриевич, Пановко Яков Гилелевич; И.И. Блехман, А.Д. Мышкис, Я.Г. Пановко. - 2-е изд., испр. и доп. - Москва : Наука, 1990. - 356 с. : ил. ; 22 см. - Библиогр.: с. 329-350 (550 назв.). - Имен. указ.: с. 351-356. - ISBN 5-02-014002-3 (в пер.) : 5.50.
Механика и прикладная математика : Логика и особенности прил. математики / Блехман Илья Израилевич, Мышкис Анатолий Дмитриевич, Пановко Яков Гилелевич; И.И. Блехман, А.Д. Мышкис, Я.Г. Пановко. - 2-е изд., испр. и доп. - Москва : Наука, 1990. - 356 с. : ил. ; 22 см. - Библиогр.: с. 329-350 (550 назв.). - Имен. указ.: с. 351-356. - ISBN 5-02-014002-3 (в пер.) : 5.50.
Авторы: Блехман Илья Израилевич, Мышкис Анатолий Дмитриевич, Пановко Яков Гилелевич
Шифры: В122 - Б68
Ключевые слова: Математика, Прикладная математика, Механика, Теоретическая механика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
19. Документ
Волгин Леонид Иванович.
Непрерывная логика. Теория и применения / Волгин Леонид Иванович; Л. И. Волгин, В. И. Левин ; АН Эстонии. - Таллинн : АН Эстонии, 1990. - 210 с. : ил. - Библиогр.: с. 189-204. - 12.50.
Непрерывная логика. Теория и применения / Волгин Леонид Иванович; Л. И. Волгин, В. И. Левин ; АН Эстонии. - Таллинн : АН Эстонии, 1990. - 210 с. : ил. - Библиогр.: с. 189-204. - 12.50.
Авторы: Волгин Леонид Иванович, Левин Виктор Иосифович
Шифры: В122 - В67
Ключевые слова: Математическая логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
20. Книга
Дадеркин Дмитрий Ольгердович.
Описание алгебраических систем в терминах вычислительных конструкций : автореф. дис. ... к.ф.-м.н. : 01.01.06 / Дадеркин Дмитрий Ольгердович; АН СССР, Мат. ин-т им. В. А. Стеклова, Ленингр. отд-ние, Калинин. гос. ун-т. - Ленинград : б. и., 1990. - 14 с. - На правах рукоп. - Библиогр.: с. 14 и в подстроч. примеч.
Описание алгебраических систем в терминах вычислительных конструкций : автореф. дис. ... к.ф.-м.н. : 01.01.06 / Дадеркин Дмитрий Ольгердович; АН СССР, Мат. ин-т им. В. А. Стеклова, Ленингр. отд-ние, Калинин. гос. ун-т. - Ленинград : б. и., 1990. - 14 с. - На правах рукоп. - Библиогр.: с. 14 и в подстроч. примеч.
Шифры: В144.5 - Д 14
Ключевые слова: Алгебра, Алгебраические системы, Математика, Общая алгебра, Табличные уноиды, Теория динамических логик, Универсальные алгебры, Уноиды
Экземпляры: Всего: 1, из них: к3-1
Подробнее