Полное описание
>
Линдон, Роджер К. Заметки по логике / Р. Линдон; перевод с английского Ю. А. Гастева; под редакцией И. М. Яглома. - Москва : Мир, 1968. - 127, [1] с. : ил. - ("Современная математика". Популярная серия). - Библиогр.: с. 123. - Указ. в конце кн. - Пер. изд. : Notes on logic / Roger C. Lyndon. - 1966. - Тираж не указ. - Текст : непосредственный.| ГРНТИ | УДК | |
| 27.03.19 | 510(0.062) |
Рубрики:
Математическая логика -- Научно-популярные издания
Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ДИАГОНАЛЬНЫЕ РАССУЖДЕНИЯ -- ПАРАДОКСЫ -- ПРЕПОЗИЦИОНАЛЬНАЯ ЛОГИКА -- РАЗРЕШИМЫЕ ТЕОРИИ -- СЕМАНТИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРЕМА АДЕКВАТНОСТИ -- ТЕОРЕМА ДЕДУКЦИИ
Аннотация: Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного доказательства, он тем не менее нигде не ограничился общими описаниями. Очень ценен для начинающего читателя набор задач, которые призваны привить вкус к самостоятельным исследованиям по логике. Книгу с большим интересом прочтут и те, кто только начинает заниматься математикой (на первом курсе вузов или в старших классах средней школы), и специалисты.
Доп. точки доступа:
Гастев, Ю.А.\пер.\
Яглом, И.М.\ред.\
Lyndon, Roger C.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-68/876)>
Шифр в сводном ЭК: 29307d3e02a24f460bdd04bc1f033c52
Моиз Э.Э. Геометрия, 1972. - 622 с. - Текст : непосредственный.Шклярский Д.О. Избранные задачи и теоремы элементарной математики. Геометрия. Планиметрия / Д. О. Шклярский, Н. Н. Ченцов, И. М. Яглом, 2015. - 312 с. - Текст : непосредственный.Яглом А.М. Вероятность и информация / А. М. Яглом, И. М. Яглом, 2006. - 511 с. - Текст : непосредственный.Шклярский Д.О. Избранные задачи и теоремы элементарной математики. Арифметика. Алгебра / Д. О. Шклярский, Н. Н. Ченцов, И. М. Яглом, 2016. - 602 с. - Текст : непосредственный.
Биографии выдающихся личностей. № 71 : Феликс Клейн и Софус Ли. Бурное развитие математики в XIX - начале X века / И. М. Яглом, 2017. - 65 с. - Текст : непосредственный.Яглом И.М. Геометрические преобразования. Т. 1 : Движения и преобразования подобия, 2018. - 282 с. - Текст : непосредственный.Науку - всем! Шедевры научно-популярной литературы (математика). № 152 : Проблема тринадцати шаров / И. М. Яглом, 2018. - 85 с. - Текст : непосредственный.Яглом, И. М. Геометрические преобразования. Т. 2 : Линейные и круговые преобразования, 2018. - 611 с. - Текст : непосредственный.Шклярский Д.О. Избранные задачи и теоремы элементарной математики. Геометрия (стереометрия) / Д. О. Шклярский, Н. Н. Ченцов, И. М. Яглом, 2015. - 256 с. - Текст : непосредственный.Яглом И.М. Как разрезать квадрат? / И. М. Яглом, 2006. - 111 с. - Текст : непосредственный.Головина Л.И. Индукция в геометрии / Л. И. Головина, И. М. Яглом, 2019. - 95 с. - Текст : непосредственный.Яглом И.М. Конечная алгебра, конечная геометрия и коды / И. М. Яглом, 2016. - 61 с. - Текст : непосредственный.Яглом И.М. Современная культура и компьютеры / И.М.Яглом, 1990. - 46 с. - Текст : непосредственный.Яглом И.М. Комплексные числа и их применение в геометрии / И. М. Яглом, 2009. - 192 с. - Текст : непосредственный.Яглом А.М. Вероятность и информация / А. М. Яглом, И. М. Яглом, 1973. - 511 с. - Текст : непосредственный.Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования / Ю. А. Гастев; ред.-сост. Б. В. Бирюков, 2009. - 203 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный.Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный.Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный.Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный.
Показать все результатыЛихтарников Л.М. Первое знакомство с математической логикой : Книга для начинающих изучать мат.логику и преподавателей / Л.М.Лихтарников, 1997. - 109 с. - Текст : непосредственный.Ефремов Г.О. Математическая логика и машины / Г.О.Ефремов, 1962. - 46 c. - Текст : непосредственный.Науку - всем! Шедевры научно-популярной литературы. Математика. № 78 : Азбука математической логики / Г. П. Мельников, 2014. - 104 с. - Текст : непосредственный.Лобанов В.И. Русская логика - проще некуда! / В.И. Лобанов, 2014. - 48 с. - Текст : непосредственный.Семенов А.Л. Математика текстов / А.Л.Семенов, 2002. - 16 с. - Текст : непосредственный.Лобанов В.И. Русская логика - победитель академиков! / В. И. Лобанов, 2014. - 282 с. - Текст : непосредственный.Линдон, Роджер К. Заметки по логике / Р. Линдон; перевод с английского Ю. А. Гастева; под редакцией И. М. Яглома, 1968. - 127, [1] с. - Текст : непосредственный.
Заказ фрагмента документа ₽