16 Ц342 Целищев, Виталий Валентинович. Логика существования [Текст] : монография / В.В. Целищев; Отв. ред. В.Н. Костюк ; АН СССР, Ин-т истории, филологии и философии. - Новосибирск : Наука, 1976. - 148 с. ; 20 см. - Указ. предм., стран: с. 142-143 Библиогр.: с. 144-147. - 0.46 р. Рубрики: Существование--Логика Математическая логика Аннотация: Она посвящена анализу философских проблем, связанных с экспликацией средствами логики понятия существования; на основании исследований, проведенные в последние 10-12 лет, описываются полученные в матаматической логике результаты, имеющие большое значение для критики философии неопозитивизма. Держатели документа: библиотека нтгспа Доп.точки доступа: Костюк, В.Н. \отв. ред.\ Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |
51 И269 Игошин, Владимир Иванович. Задачник-практикум по математической логике [Текст] : учебное пособие для студентов-заочников физико-математических факультетов пединститутов / В. И. Игошин ; МГЗПИ. - Москва : Просвещение, 1986. - 156, [3] с. : ил. - (в обл.) : 0.30 р. Рубрики: Математическая логика--Учебники и пособия Аннотация: Задачник-практикум содержит задачи и упражнения по всем разделам курса математической логике в полном в полном соответствии с действующей программой. В каждом параграфе приводятся краткие теоретические сведения, подробно рассматриваются типовые примеры и предлагаются задачи для самостоятельного решения. Держатели документа: Библиотека НТГСПА Доп.точки доступа: (Москва) Экземпляры всего: 30 АБ (30) Свободны: АБ (28) |
51 И269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : [учебное пособие для студентов вузов, обучающихся по специальности 032100 "Математика"] / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 302, [1] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-2914-8 (в пер.) : 267.00 р. Рубрики: Математическая логика--Учебники и пособия Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории аогоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Для студентов университетов, технических и педагогических вузов, обучающихся по специальности "Математика", "Прикладная математика". Держатели документа: Библиотека НТГСПА Экземпляры всего: 28 ЧЗ (1), АБ (27) Свободны: ЧЗ (1), АБ (27) |
51 И269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : [учебное пособие для студентов вузов, обучающихся по специальности 032100 "Математика"] / В. И. Игошин. - Москва : Академия, 2004. - 446, [1] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 5-7695-1363-2 (в пер.) : 312.00 р. Рубрики: Математическая логика--Учебники и пособия Аннотация: Учебное пособие составляет основу комплекта по курск математической логики и теории алгоритмов, в который также входит сборник задач. Подробно изложены основы теории, показаны направления проникновения лигики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализв, охарактеризованы взаимосвязи математический логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики". Держатели документа: Библиотека НТГСПА Экземпляры всего: 30 АБ (29), ЧЗ (1) Свободны: АБ (29), ЧЗ (1) |
51 Б248 Барендрегт, Хендрик Питер. Ламбда-исчисление. Его синтаксис и семантика. [Текст] / Х. П. Барендрегт ; под ред. А. С. Кузичева, пер. с англ. Г. Е. Минца. - Москва : Мир, 1985. - 606, [1] с. : черт., граф. ; 22 см. - Предм. указ.: с.587-602 . - Библиогр.: с.574-586. - Пер. изд. : The Lambda Calculus. Its Syntax and Semantics. / H. P. Barendregt. - Amsterdam ; New York ; Oxford, 1981. - (в пер.) : 3.70 р. Рубрики: Математическая логика Кл.слова (ненормированные): Ламбда-теории Аннотация: Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики, - так называемом ламбда-исчислении. оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. для математиков разных специальностей, преподавателей, аспирантов и студентов университетов. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Кузичев, А. С. \ред.\; Минц, Г. Е. \пер. с англ.\; Barendregt, H. P. Экземпляры всего: 2 АБ (2) Свободны: АБ (2) |
51 Б598 Бизам, Д. Игра и логика [Текст] : 85 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. Ю. Данилова. - Москва : Мир, 1975. - 356, [3] с. : рис., черт. ; 22 см. - Пер. изд. : JATEK ES LOGIKA : 85 FELADATBAN / G. Bizam, J. Herczeg. - Budapest, 1972. - (в пер.) : 1.15 р. Рубрики: Математическая логика Аннотация: Книга венгерских математиков Д. Бизама и Я. Герцега посвящена математической логике. Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить и решать задачи, "думая, но не вычисляя". Книга снабжена тщательно разработанной системой специальных указателей, которые помогают ориентироваться в особенностях задач. Книга представляет интерес для самых широких кругов читателей - любителей занимательной математики. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Герцег, Я.; Данилов, Ю. \пер. с венг.\; Bizam, G. ; Herczeg, J. Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |
51 Б598 Бизам, Д. Многоцветная логика [Текст] : 175 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - Москва : Мир, 1978. - 433, [2] с. : рис. ; 20 см. - Пер. изд. : SOKZINU LOGIKA : 175 LOGIKAI FELADAT / G. Bizam, J. HERCZEG. - Budapest, 1975. - (в пер.) : 1.50 р. Рубрики: Математическая логика Аннотация: Новая книга уже известных советскому читателю венгерских математиков Д. Бизама и Я. Герцега продолжает серию книг по занимательной математике. Как и предыдущая книга этих авторов "Игра и логика" (М., "Мир", 1975), она посвящена началам математической логики и содержит 175 логических задач. Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить. Книга доступна самому широкому кругу читателей. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Герцег, Я.; Данилов, Ю. А. \пер. с венг.\; Bizam, G. ; HERCZEG, J. Экземпляры всего: 2 АБ (2) Свободны: АБ (2) |
51 Г522 Гладкий, Алексей Всеволодович. Язык математической логики [Текст] / А. В. Гладкий ; Калининский государственный университет. - Калинин : Калининский гос. ун-т, 1977. - 83, [1] с. ; 20 см. - (в обл.) : 0.25 р. Рубрики: Математическая логика Аннотация: Предметом настоящего пособия, предназначенного для студентов первого курса, является не математическая логика как таковая, а лишь ее язык: понятие предиката, квантры, пропозициональные связки и основные содержательные свойства этих понятий, а также некоторые особенно важные типы бинарных отношений (эквивалентности и порядки). По содержанию пособие примыкает к издающейся одновременно с ним книжке автора "Элементы теории множеств" (далее она будет сокращенно обозначаться ЭТМ) и может рассматриваться как ее продолжение. Впрочем, для чтения данного пособия достаточно знакомства с разделом 1 ЭТМ. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Калининский государственный университет Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |
51 Г474 Гильберт, Давид. Основания математики [Текст] : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл.] С. И. Адяна. - Москва : Наука, 1979. - 557 с. ; 22 см. - (Математическая логика и основания математики). - На пер. авт. и загл. не указаны. - Алф. указ.: с. 551-557. - Пер. изд. : Crundlagen der Mathematik. I / D. Hilbert und P. Bernays. - 2. Aufl. - Berlin etc, 1968. - (в пер., в суперобл.) : 2.70 р. Есть автограф: Экз. 460250 : Студенты 43-й гр. математиков ФМФ Рубрики: Математическая логика Кл.слова (ненормированные): математика -- основания математики -- математическая логика -- логические исчисления -- формализация арифметики -- формальная аксиоматика -- элементарная арифметика -- финитный способ рассуждений -- исчисление высказываний -- исчисление предикатов -- бесконечные индивидные области -- рекурсивные определения -- математическое доказательство Аннотация: Монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами, отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Гильберта и Бернайса пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Бернайс, Пауль; Bernays P.; Нагорный, Николай Макарьевич \пер.\; Адян, Сергей Иванович \ред., предисл.\; Hilbert D.; Hilbert, D. ; Bernays, P. Экземпляры всего: 2 АБ (1), МБ (1) Свободны: АБ (1), МБ (1) |
51 Г935 Гудстейн, Р. Л. Математическая логика [Текст] / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского, под ред. и с предисл. С. А. Яновской. - Москва : Изд-во иностранной литературы, 1961. - 161, [1] с. - (Б-ка сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - 1957. - (в обл.) : 0.55 р. Рубрики: Математическая логика Аннотация: Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Брошюра Гусейна может служить кратким введением в математическую логику. От других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Геделя о полноте исчисления предикатов и неполноте арифметики. Брошюра предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования. Русский перевод снабжен примечаниями, в основном преследующими цель облегчить понимание более трудных мест текста. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Чернявский, В. С. \пер. с англ.\; Яновская, С. А. \ред.\; Goodstein, R. L. Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |
51 Л656 Лихтарников, Леонид Моисеевич. Математическая логика [Текст] : курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9 (в пер.) : 552.00 р. Рубрики: Математическая логика--Учебники и пособия Кл.слова (ненормированные): математическая логика -- логика Аннотация: Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 2 ЧЗ (1), АБ (1) Свободны: ЧЗ (1), АБ (1) |
51 И269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : [учебное пособие для студентов вузов, обучающихся по специальности 032100 "Математика"] / В. И. Игошин. - 4-е изд., стер. - Москва : Академия, 2008. - 302, [1] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 978-5-7695-5272-4 (в пер.) : 475.00 р. Рубрики: Математическая логика--Учебники и пособия Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории аогоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Для студентов университетов, технических и педагогических вузов, обучающихся по специальности "Математика", "Прикладная математика". Держатели документа: Библиотека НТГСПА Экземпляры всего: 10 АБ (10) Свободны: АБ (10) |
51 К268 Карри, Хаскелл Брукс. Основания математической логики [Текст] / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. : табл., черт. ; 22 см. - Доп. тит. л. англ. - Библиогр.: с. 518-547. - Указ. символов, терминов и именной.: с. 548-567. - Пер. изд. : Foundations of mathematical logic / by Haskell B. Curry. - New York [etc.], 1963. - (в пер.) : 2.64 р. Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- матлогика -- логика математическая -- формальные системы -- эпитеория -- реляционная логическая алгебра -- логическая алгебра -- теория импликации -- отрицание -- кванторы -- модальности -- математика Аннотация: Книга американского учёного посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Донченко, В. В. \пер.\; Гастев, Юрий Алексеевич \ред. пер.\; Curry, Haskell Brooks; Curry, H. B. Экземпляры всего: 2 АБ (1), МБ (1) Свободны: АБ (1), МБ (1) |