Ф 86 Фреге, Готлоб (1848 - 1925). Логика и логическая семантика [Текст] : сборник трудов / Готтлоб Фреге ; пер. с нем. Б. В. Бирюкова под ред. З. А. Кузичевой ; введ. и послесл. Б. В. Бирюкова ; коммент. Б. В. Бирюкова и З. А. Кузичевой ; [Федер. программа книгоиздания России]. - Москва : Аспект-пресс, 2000. - 511, [1] с. : ил., портр. ; 24 см. - Имен. указ.: с. 509-511. - Библиогр. в подстроч. примеч. - 7000 экз.. - ISBN 5-7567-0128-1 
Математическая логика Аннотация: Настоящее издание включает знаменитый труд Фреге "Исчисление понятий" и его работы, положившие начало современной логической семантике. Для студентов вузов. Скачать содержание Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Бирюков, Борис Владимирович (1922 - 2015) \пер.\; Федеральная программа книгоиздания России Экземпляры всего: 2 Абонемент (1), ХР (1) Свободны: Абонемент (1), ХР (1) |
С 88 Стяжкин, Николай Иванович. Становление идей математической логики [Текст] : [монография] / Н. И. Стяжкин ; Акад. наук СССР, Ин-т философии. - Москва : Наука , 1964. - 303, [1] с. ; 21 см. - Библиогр.: с. 277 - 298. - Указ. имен: с. 299 - 302. - 4 000 экз.. -
Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
К 26 Карпенко, Александр Степанович (1946 - ). Логики Лукасевича и простые числа [Текст] : научное издание / А. С. Карпенко ; отв. ред. В. К. Финн. - Москва : URSS, 2007. - 255 с. ; 22 см. - Библиогр.: с. 223-243. - Имен. указ.: с. 244-247. - Предм. указ.: с.248-249. - На 4-й с. обл. авт.: д-р филос. наук, проф. каф. логики филос. фак. МГУ, акад. РАЕН. - ISBN 978-5-382-00027-5
Простые числа Логика Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Финн, Виктор Константинович \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Л 68 Лобанов, Владимир Иванович. Русская вероятностная логика [Текст] : Азбука математической логики / Владимир Лобанов. - Москва : Русская правда, 2009. - 317 с. : табл. ; 22 см. - Библиогр.: с. 310-313. - 2000 экз.. - ISBN 978-5-904021-03-0
Аннотация: Данное пособие является общедоступным изложением основ Русской, истинно математической логики. Вскрывая противостояние Русской и классической логики, автор показывает, что силлогистика Аристотеля не имеет никакого отношения к логике здравого смысла. Обучение классической логике не только бесполезно, но и преступно, поскольку уничтожается всякое мышление. Все существующие учебники логики невежественны, безграмотны и бестолковы. Предлагаемое издание полезно школьникам и академикам, инженерам и ученым, "физикам" и "лирикам". Для широкого круга читателей. Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 2 ХР (1), Абонемент-ЦЧТР (1) Свободны: ХР (1), Абонемент-ЦЧТР (1) |
Л 79 Лосев, Алексей Федорович (1893 - 1988). Критические заметки о буржуазной математической логике [Текст] / подгот. к публ. и примеч. В. П. Троицкого, публ. А. А. Тахо-Годи. - [Б. м. : б. и.], [20??]. - [41] л. ; 30 см. - Перепеч. с изд.: Историко-математические исследования. 2003. Вып. 8 (43). с. 339-401. -
Философия русская, 20 в. Доп.точки доступа: Троицкий, Виктор Петрович (1951 - ) \подгот. к публ.\; Тахо-Годи, Аза Алибековна (1922 - ) \публ.\ Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |
П 59 Порецкий, Платон Сергеевич (1846 - 1908). Логические равенства [Текст] : О способах решения логических равенств и об обратном способе математической логики / Платон Порецкий. - Москва : Русская Правда, 2011. - 159 с. : портр., факс. ; 20 см. - (Русская вероятностная логика). - Список науч. работ П. С. Порецкого: с. 6-9. - Библиогр.: с. 9 (6 назв.). - На 4 с. обл.: Порецкий Платон Сергеевич - русский логик, астроном и математик. - 2000 экз.. - ISBN 978-5-904021-14-6
Математическая логика Скачать содержание Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Б 64 кн.1 Бирюков, Борис Владимирович (1922 - 2015) Трудные времена философии. Логика и философия в первые послесталинские годы. Математическая логика [Текст] / Б.В. Бирюков ; Русская ассоциация чтения. - Москва : URSS, 2014 - . - (Наука в СССР : Через тернии к звездам) (обл.). Кн. 1 : Переломный период - при Сталине и после. - 2014. - 267 с. ; 22 см. - (... ; № 27). - Библиогр. в подстроч. примеч. - Из содерж. прил.: П.Я. Чаадаев и вопросы социокультурного развития России : давний спор славян. Опыт дискурсивно-логического освещения проблемы / И.П. Прядко, Б.В. Бирюков. - ISBN 978-5-9710-0735-7
Математическая логика Аннотация: В книге описываются события послесталинской эпохи, относящиеся к философии и логике. Автор подводит итог сталинскому периоду нашей истории, как он отразился в философско-логической сфере. Книга начинается с обращения к фигуре И. В. Сталина: дается опыт его психологической характеристики, рассказывается о том, чем отмечены последние месяцы жизни вождя. Попутно вспоминаются и некоторые события предшествующих лет, характеризующие противоречивость конкретных событий сталинского времени. К материалам книги приведены дополнения: «П. Я. Чаадаев и вопросы социокультурного развития России: давний спор славян. Опыт дискурсивно-логического освещения проблемы» (И. П. Прядко, Б. В. Бирюков); «Logica adversus dialecticae: к спорам о статусе формальной и диалектической логики в отечественной науке второй половины XX века» (Б. В. Бирюков, И. П. Прядко). Рекомендуется философам, логикам, психологам, историкам науки, а также преподавателям, студентам и аспирантам вузов, изучающим советский период отечественной истории. Скачать содержание Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Прядко, Игорь Петрович; Бирюков, Борис Владимирович; Чаадаев, Петр Яковлевич (1794 - 1856) \о нем\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
М 23 Манин, Юрий Иванович. Доказуемое и недоказуемое [Текст] : Ю.И. Манин. - Москва : Советское радио, 1979. - 165, [2] с. ; 20 см. - (Кибернетика). - Библиогр.: с. 161-162. - Имен. указ.: с. 163-164. - Предм. указ.: в конце кн. - 40000 экз.. -
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив «а достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение сопровождается экскурсами в физику, психологию и семиотику. Книга предназначена для молодых ученых и всех, кто интересуется проблемами современной математики. Скачать содержание Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 Абонемент (1) Свободны: Абонемент (1) |
Е 80 Ершов, Юрий Леонидович. Математическая логика [Текст] : учебное пособие для студентов математических специальностей высших учебных заведений / Ю.Л. Ершов, Е.А. Палютин. - Москва : Наука, Главная редакция физико-математической литературы, 1979. - 320 с. ; 21 см. - Предм. указ.: с. 314-318. - 45000 экз.. -
Кл.слова (ненормированные): учебное пособие Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 1 Абонемент (1) Свободны: Абонемент (1) |
Н 73 Новиков, Петр Сергеевич (1901 - 1975). Элементы математической логики [Текст] / П.С. Новиков. - Москва : Государственное издательство физико-математической литературы, 1959. - 400 с. ; 21 см. - (Математическая логика и основания математики). - 15000 экз.. -
Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
М 50 Мендельсон, Эллиот (1931 - ). Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф.А. Кабакова ; под ред. С.И. Адяна. - Москва : Наука, Главная редакция физико-математической литературы, 1971. - 320 с. ; 22 см. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - 30000 экз.. -
Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Н 73 Новиков, Петр Сергеевич (1901 - 1975). Конструктивная математическая логика [Текст] / П.С. Новиков. - Москва : Наука, Главная редакция физико-математической литературы, 1977. - 328 с. ; 21 см. - (Математическая логика и основания математики). - Библиогр.: с. 318-320. - Указ. имен: с. 323. - Предм. указ.: с. 324-328. - 14000 экз.. -
Аннотация: Книга написана на основе лекций, читавшихся П. С. Новиковым в МГУ, В ней излагаются некоторые вопросы математической логики, не рассмотренные в его предыдущей книге «Элементы математической логики». В этом смысле она как бы дополняет предыдущую книгу. В то же время книгу можно читать независимо, так как в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях. Только в последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Гёделя о неполноте формальной арифметики. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время насыщенность разнообразными техническими деталями делает ее полезной для лиц, занимающихся исследованием математических аспектов конструктивной логики. Книга может служить основой для спецкурсов. Скачать содержание Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
К 60 Колмогоров, Андрей Николаевич (1903 - 1987). Математическая логика. Дополнительные главы [Текст] : учебное пособие для студентов вузов, обучающихся по специальности "Математика" / А.Н. Колмогоров, А.Г. Драгалин. - Москва : Издательство Московского университета, 1984. - 117, [2] с. ; 22 см. - Библиогр.: в конце кн. - 13150 экз.. -
Кл.слова (ненормированные): учебное пособие Аннотация: | Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та 1982 г.),. но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Гёделя о неполноте. Обсуждается программа Гильберта обоснования математики. Скачать содержание Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
К 60 Колмогоров, Андрей Николаевич (1903 - 1987). Введение в математическую логику [Текст] : учебное пособие для студентов математических специальностей вузов / А.Н. Колмогоров, А.Г. Драгалин. - Москва : Издательство Московского университета, 1982. - 118, [2] с. ; 22 см. - Библиогр.: в конце кн. - 29500 экз.. -
Аннотация: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов. Скачать содержание Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
С 81 Столл, Роберт Р.. Множества. Логика. Аксиоматические теории [Текст] / Роберт Р. Столл ; пер. с англ. Ю.А. Гастева и И.Х. Шмаина ; под ред. Ю.А. Шихановича. - Москва : Просвещение, 1968. - 230, [1] с. ; 22 см. - (Математическое просвещение). - Пер. изд. : Sets, logic and axiomatic theories / by Robert R. Stoll. - San Francisco ; London, [1961]. - 70000 экз.. -
Множеств теория Аннотация: В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр. Имеется большое число упражнений учебного характера. Скачать содержание Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Гастев, Юрий Алексеевич (1928 - 1995) \пер.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
М 74 Моисеев, Вячеслав Иванович (1965 - ). Очерки по философии неовсеединства. Опыт математического прочтения философии : Аксиология. Логика. Феноменология [Текст]. - Москва : URSS : Ленанд, 2018. - 626 с. : граф., ил. ; 22 см. - Библиогр. в подстроч. примеч. - ISBN 978-5-9710-5359-0
Наука--Методология Математическая логика Феноменология Кл.слова (ненормированные): Неовсеединство Аннотация: В ряде своих предшествующих работ автор начал формирование нового философского проекта, который получил название «философия неовсеединства». Первые книги автора — «Логика всеединства» и «Логика Добра» — были посвящены логическому анализу и теоретической реконструкции системы идей, которая была присуща русской философии всеединства, особенно ее основателю — Владимиру Сергеевичу Соловьеву. В новых работах «Логика открытого синтеза», «Человек и общество: образы синтеза» было заявлено о следующем этапе развития философии всеединства — возникновении современной ее версии, своего рода «философии неовсеединства», в которой главный дух синтеза наших великих предшественников соединяется с методами и материалом современной культуры. В настоящих «Очерках» дается более популярное изложение основных идей философии неовсеединства, в стиле более свободных интеллектуальных набросков множества новых тем, а также отчасти завершается первое панорамное представление возможной системы. В «Очерках» предлагается опыт систематического и концептуального изложения идей философии неовсеединства в социогуманитарных областях: этике, эстетике, антропологии, логике. Завершаются они исследованием феноменологических оснований философии неовсеединства. Скачать содержание Держатели документа: Дом А. Ф. Лосева Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Б 64 Бирюков, Борис Владимирович (1922 - 2015). Жар холодных числ и пафос бесстрастной логики [Текст] : Формализация мышления от античных времен до эпохи кибернетики / Б.В. Бирюков, В.Н. Тростников. - Изд. стер. - Москва : URSS : Либроком, 2017. - 228 с. : ил. ; 22 см. - Библиогр. в примеч. в конце разд. - На обл.: 3-е изд., перераб. и доп. - ISBN 978-5-397-06002-8
Математическая логика Аннотация: Настоящая книга рисует картину развития логико-математических аспектов кибернетики и информатики. Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную нить преемственности, тянущейся от Аристотеля и Лейбница к современным информационным системам. Показано становление идей вычислимости и алгоритмизации, связанных с такими титанами науки XX века, как Давид Гильберт и Курт Гёдель. В заключительных главах обсуждается вопрос о современном смысле идеала рациональности знания и критикуется редукционистская установка в науке, несовместимая с новейшими данными физики и психологии. Книга будет интересна философам, логикам, историкам и методологам науки, аспирантам и студентам соответствующих специальностей, а также широкому кругу читателей, интересующихся философскими проблемами науки. Скачать содержание Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Тростников, Виктор Николаевич (1928 - ) Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |