Ф 86 Фреге, Готлоб. Избранные работы [Text] / Г. Фреге; пер. с нем. и сост. В. В. Анашвили, А. Л. Никифорова и др. - М. : Дом интеллектуальной книги ; М. : Русское феноменологическое общество, 1997. - 160 с. - ISBN 5-7333-0435-9 : 14.00 р. Рубрики: Логика математическая Кл.слова (ненормированные): математическая логика Аннотация: Готлоб Фреге(1848-1925)-немецкий математик и логик.Он оказал громадное и до сих пор не вполне оцененное влия-ние на развитие современной логики.В настоящем сборникепредставлены основные работы Г.Фреге,позволяющие составить целостную картину его творчества. Доп.точки доступа: Анашвили, В. В. \сост., пер. с нем.\; Никифоров, А. Л. \сост., пер. с нем.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Ф 86 Фреге, Готлоб. Основоположения арифметики [Текст] : логико-математическое исследование о понятии числа / Г. Фреге; пер. с нем., вступ. ст. В. А. Суровцева. - Томск : Водолей, 2000. - 128 с. - (Библиотека аналитической философии). - ISBN 5-7137-0158-1 : 50.00 р. Рубрики: Арифметические действия--Теория Кл.слова (ненормированные): арифметика -- математическая логика Доп.точки доступа: Суровцев, В. А. \авт. вступ. ст., пер. с нем.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Е 80 Ершов, Ю. Л. Определимость и вычислимость [Текст] : [монография] / Ю. Л. Ершов ; РАН СО; Ин-т математики, Ин-т дискретной математики. - 2-е изд., испр. и доп. - М. : Экономика ; Новосибирск : Научная книга, 2000. - 318 с. - ISBN 5-282-02021-1 : 58.50 р. Рубрики: Вычислительная математика--Руководства, пособия Кл.слова (ненормированные): математическая логика -- вычислительная математика Доп.точки доступа: РАН, Сибирское отделение, Институт математики, Институт дискретной математики Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Л 13 Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Text] / И. А. Лавров, Л. Л. Максимова. - 3-е изд. - Москва : ФИЗМАТЛИТ, 1995. - 256 с. - ISBN 5-02-014844-X : 2900.00 р. Рубрики: Математические множества--Теория--Задачи--Учебные издания для высших учебных заведений Логика математическая--Задачи--Учебные издания для высших учебных заведений Алгоритмы--Теория--Задачи--Учебные издания для высших учебных заведений Кл.слова (ненормированные): теория множеств (матем.) -- математика -- теория алгоритмов -- алгебра -- математическая логика Доп.точки доступа: Максимова, Л. Л. Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |
М 13 Мадер, Виктор Викторович. Школьнику об алгебре логики [Text] : книга для внеклассного чтения учащихся 10-11 классов средней школы / В. В. Мадер. - Москва : Просвещение, 1993. - 128 с. : ил. - (Мир знаний). - ISBN 5-09-003544-Х : 300.00 р. Рубрики: Логика--Учебные издания для средней школы Кл.слова (ненормированные): логика -- математическая логика Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Н 13 Набебин, А. А. Логика и Пролог в дискретной математике [Текст] / А. А. Набебин. - М. : Изд-во МЭИ, 1996. - 452 с. : ил. - ISBN 5-7046-0162-6 : 74.00 р. Рубрики: Математика дискретная--Языки программирования Кл.слова (ненормированные): математика дискретная -- дискретная математика -- математическая логика -- логика математическая -- языки программирования -- Пролог(язык) Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
А 60 Аляев, Ю. А. Дискретная математика и математическая логика [Текст] : учеб. для вузов / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с. : ил. - ISBN 5-279-03045-7 : 176.44 р. Рубрики: Математика дискретная--Учебники для высших учебных заведений Логика математическая--Учебники для высших учебных заведений Кл.слова (ненормированные): дискретная математика -- математика дискретная -- математическая логика -- логика математическая Доп.точки доступа: Тюрин, С. Ф. Экземпляры всего: 1 ОТК (1) Свободны: ОТК (1) |
С 50 Смаллиан, Рэймонд М.. Как же называется эта книга? [Текст] : [сб. задач по математ. логике] / Р. Э. Смаллиан ; пер. с англ. и предисл. Ю. Данилова. - М. : Издат. Дом Мещерякова, 2007. - 272 с. : ил. - (Научные развлечения). - ISBN 978-5-91045-012-1 : 94.71 р. Рубрики: Математическая логика--Сборники Кл.слова (ненормированные): математическая логика -- логика математическая Доп.точки доступа: Данилова, Ю. \авт. предисл., пер. с англ.\ Экземпляры всего: 1 Ю (1) Свободны: Ю (1) |
С 12 Соболева, Татьяна Сергеевна. Дискретная математика [Текст] : учеб. для вузов / Т. С. Соболева; под ред. А. В. Чечкина. - 2-е изд., испр. - М. : Академия, 2012. - 256 с. - (Университетский учебник. Прикладная математика и информатика). - ISBN 978-5-7695-5580-0 : 396.00 р. Рубрики: Математика дискретная--Учебники для высших учебных заведений Кл.слова (ненормированные): дискретная математика -- множества -- математическая логика -- логика математическая Доп.точки доступа: Чечкин, А. В. \ред.\ Экземпляры всего: 1 ОТК (1) Свободны: ОТК (1) |
П 58 Попов, Александр Евгеньевич. МамаМатематика [Текст] : [6+] / А. Е. Попов. - Челябинск : Издательство Игоря Розина, 2012. - 96 с. : ил. - ISBN 978-5-903966-03-5 : 230.00 р. Рубрики: Математика занимательная--Популярные издания Кл.слова (ненормированные): занимательная математика -- математическая логика -- математический счет Экземпляры всего: 2 Ю (1), Ф2 (1) Свободны: Ю (1), Ф2 (1) |
А 87 Архангельский, А. В. Канторовская теория множеств [Текст] / А. В. Архангельский. - М. : Издательство МГУ, 1988. - 112 с. - 0.25 р. Рубрики: Логика математическая Кл.слова (ненормированные): математическая логика Доп.точки доступа: Кантор, Георг (немецкий математик ; 1845-1918) \о нем\ Экземпляры всего: 2 ЧЗ (1), АБ (1) Свободны: ЧЗ (1), АБ (1) |
Б 18 Байиф, Жан-Клод. Логические задачи [Текст] / Ж.- К. Байиф; пер. с фр. Ю. Н. Сударева; под ред. и послесл. И. М. Яглома. - М. : Мир , 1983. - 172 с. : ил. - 0.45 р. Рубрики: Математика занимательная--Популярные издания Кл.слова (ненормированные): математическая логика -- занимательная математика -- логика математическая Доп.точки доступа: Сударев, Ю. Н. \пер. с фр.\; Яглом, И. М. \ред., авт. послесл.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Б 59 Бизам, Д. Игра и логика [Текст] : 85 логических задач / Д. Бизам, Я. Герцег; пер. с венг. - М. : Мир , 1975. - 358 с. - Б. ц. Рубрики: Игры математические--Популярные издания Логика математическая--Популярные издания Кл.слова (ненормированные): математические игры -- математическая логика Доп.точки доступа: Герцег, Я. Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |
Г 45 Гжегорчик, А. Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик. - 3-е изд., стер. - М. : Наука, 1979. - 111 с. : ил. - 0.25 р. Рубрики: Логика математическая Кл.слова (ненормированные): математическая логика Экземпляры всего: 1 ОТК (1) Свободны: ОТК (1) |
Г 75 Градштейн, И. С. Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И. С. Градштейн. - М. : Наука, 1965. - 128 с. : ил. - 0.22 р. Рубрики: Математическая логика--Элементы--Популярные издания Кл.слова (ненормированные): логика математическая -- система теорем -- математическая логика Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |
К 49 Клини, Стефен Коули. Введение в метаматематику [Текст] : [математическая логика и теория рекурсивных функций]: монография / С. К. Клини ; под редакцией В. А. Успенского ; перевод с английского А. С. Есенина-Вольпина. - Москва : Иностранная литература, 1957. - 526 с. - 3.23 р. Рубрики: Математическая логика--Теория--Монография Кл.слова (ненормированные): математическая логика Доп.точки доступа: Успенский, В. А. \ред.\; Есенин-Вольпин, А. С. \пер.\ Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |