22.12 Е80 Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 4-е изд.5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Спец. лит.). - Предм. указ.: с.335 . - ISBN 5-8114-0533-2 (в пер.) : 161.04 р. Рубрики: Математическая логика Кл.слова (ненормированные): исчисление высказываний -- теория множеств -- исчисление предикатов -- теория моделей -- теория доказательств Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 10 аб. (10), ч.з. Свободны: аб. (10) |
22.12 Л13 Лавров, Игорь Андреевич. Математическая логика [Текст] : учеб. пособие: доп. Мин. обр. РФ / И. А. Лавров; под ред. Л. Л. Максимовой. - М. : Академия, 2006. - 240 с. : рис. - (Университетский учебник. Прикладная математика и информатика). - Библиогр.: с. 230. - Предм. указ.: с. 321. - ISBN 5-7695-2735-8 (в пер.) : 225.50 р. Рубрики: Математическая логика Кл.слова (ненормированные): алгебраические системы -- логические системы -- классические алгебраические системы -- построение логических исчислений -- исчисление высказываний -- исчисление предикатов -- классические аксиоматические теории -- арифметика Пеано -- аксиомы Д. Гильберта Доп.точки доступа: Максимова, Л.Л. \ред.\ Экземпляры всего: 5 ч.з. (3), аб. (2) Свободны: ч.з. (3), аб. (2) |
У М34 Математическая логика и теория алгоритмов [Электронный ресурс] : учеб.-метод. комплекс по дисц. для спец. 010101 Математика; 010501 - Прикладная математика / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 205 с. - Б. ц. Рубрики: Математическая логика--теория алгоритмов Кл.слова (ненормированные): алгебра логики -- булевы функции -- исчисление высказываний -- логика предикатов -- математические теории -- основы теории алгоритмов Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/617.pdf Доп.точки доступа: Кван, Наталья Владимировна \сост.\; Амурский государственный университет. Факультет математики и информатики Экземпляры всего: 1 эл. б-ка АмГУ (1) Свободны: эл. б-ка АмГУ (1) |
У М34 Математическая логика и теория алгоритмов [Текст] : учеб.-метод. комплекс для спец. 010101-Математика, 010500-Прикладная математика / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 206 с. - 61.50 р. Рубрики: Математика Математическая логика Кл.слова (ненормированные): алгебра логики -- булевы функции -- исчисление высказываний -- логика предикатов -- математические теории -- теория алгоритмов Доп.точки доступа: Кван, Наталья Владимировна \сост.\; Амурский государственный университет. Факультет математики и информатики Экземпляры всего: 1 ч.з. (1) Свободны: ч.з. (1) |
22.12 Ш24 Шапорев, Сергей Дмитриевич. Математическая логика [Текст] : курс лекций и практ. занятий: учеб. пособие: рек. НМС / С.Д. Шапорев. - СПб. : БХВ-Петербург, 2007. - 410 с. : рис., табл. - Библиогр.: с. 405 . - Предм. указ.: с. 406 . - ISBN 978-5-94157-702-6 (в пер.) : 308.45 р. Рубрики: Математика Математическая логика Кл.слова (ненормированные): алгебра логики -- алгебра высказываний -- исчисление высказываний -- логика предикатов -- исчисление предикатов -- теория алгоритмов Экземпляры всего: 15 ч.з. (3), аб. (12) Свободны: ч.з. (3), аб. (12) |
87.4 Г44 Гетманова, Александра Денисовна. Логика для юристов [Текст] : учеб. пособие для вузов: доп. УМО / А.Д. Гетманова. - 6-е изд., стер. - М. : Омега-Л, 2009. - 416 с. - (Высшее юридическое образование). - Библиогр.: с. 410. - ISBN 978-5-370-00972-3 (в пер.) : 166.32 р. Рубрики: Логика Кл.слова (ненормированные): логика, предмет, значение -- понятие, форма мышления -- деление понятий -- суждение -- простое суждение -- сложное суждение -- исчисление высказываний -- логический закон -- законы логики -- умозаключение -- дедуктивное умозаключение -- индукция -- неполная индукция -- аналогия, виды -- доказательство, понятие -- опровержение -- гипотеза -- построение версий -- тест Айзенка -- этапы развития логики -- математическая логика, история Аннотация: Учебное пособие ориентировано на преподавание логики в педагогических учебных заведениях на юридических факультетах и отделениях по маркетингу, в юридических вузах, юридических колледжах и общеобразовательных школах по учебному предмету «Право». С целью развития логического мышления и применения теории логики на практике все главы снабжены логическими задачами преимущественно юридического содержания. Последняя глава раскрывает этапы развития логики как науки. Учебное пособие адресовано также юристам, учителям, слушателям в системе повышения квалификации и всем интересующимся проблемами логики и юриспруденции. А.Д. Гетманова в течение тридцати лет преподает логику в Московском городском педагогическом университете (МПГУ), является автором нескольких учебников по логике. Материал учебного пособия имеет семилетнюю апробацию преподавания логики на юридическом факультете Московского городского педагогического университета (МГПУ) и двухлетнюю практику преподавания логики в Академическом правовом университете при Институте государства и права Российской академии наук и Государственном университете гуманитарных наук. Экземпляры всего: 1 ч.з. (1) Свободны: ч.з. (1) |
22.18 П23 Певзнер, Леонид Давидович. Математические основы теории систем [Текст] : учеб. пособие : рек. УМО / Л.Д. Певзнер, Е.П. Чураков. - М. : Высш. шк., 2009. - 503 с. : рис. - (Автоматика и управление). - Предм. указ. : с. 498 . - ISBN 978-5-06-004860-5 (в пер.) : 838.19 р. Рубрики: Математика Исследование операций Кл.слова (ненормированные): математические модели процессов -- множества -- отношения -- линейные пространства -- функциональные преобразования -- исчисление высказываний -- алгебра логики -- теории графов -- случайные величины -- алгоритмы -- статические системы -- динамические системы -- стохастические динамические системы -- методы оптимизации Доп.точки доступа: Чураков, Евгений Павлович Экземпляры всего: 1 ч.з. (1) Свободны: ч.з. (1) |
22.12 К49 Клини, Стивн Коул. Введение в метаматематику [Текст] : к изучению дисциплины / С. К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского. - М. : Либроком, 2009. - 523 с. - (Физико-математическое наследие: математика (основания математики и логика)). - Библиогр. : с. 485 . - Предм. указ. : с. 511 . - ISBN 978-5-397-00105-2 (в пер.) : 632.88 р. Рубрики: Математика Математическая логика Кл.слова (ненормированные): основания математики -- математическая логика -- рекурсивные функции -- исчисление высказываний -- исчисление предикатов -- формальная арифметика -- арифметизация метаматематики Аннотация: Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории обще-рекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций. Доп.точки доступа: Есенина-Вольпина, А.С. \пер.\; Успенский, В.А. \ред.\ Экземпляры всего: 1 аб. (1) Свободны: аб. (1) |
22.12 Л65 Лихтарников, Леонид Моисеевич. Математическая логика [Текст] : курс лекций. Задачник-практикум и решения: учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - СПб. : Лань, 2009. - 277 с. - Библиогр. : с. 273 . - ISBN 978-5-8114-0082-9 (в пер.) : 304.48 р. Рубрики: Математика Математическая логика Кл.слова (ненормированные): алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 1 ч.з. (1) Свободны: ч.з. (1) |
87.4 Б 86 Бочаров, Вячеслав Александрович. Введение в логику [Текст] : университетский курс : учеб. : рек. УМО / В. А. Бочаров, В. И. Маркин. - М. : ФОРУМ : ИНФРА-М, 2010. - 555 с. - ISBN 978-5-8199-0365-0 (в пер.). - ISBN 978-5-16-003360-0 : б.ц. Прил. : с. 529-541 Рубрики: Логика Кл.слова (ненормированные): логика как наука -- логический анализ языка -- логика высказываний -- исчисление высказываний -- логика предикатов -- силлогистика -- неклассические логики -- понятие -- определение -- рассуждения -- теория Доп.точки доступа: Маркин, Владимир Ильич Экземпляры всего: 1 аб. (1) Свободны: аб. (1) |
22.17 Г 55 Глухов, Михаил Михайлович. Математическая логика. Дискретные функции. Теория алгоритмов [Текст] : учеб. пособие: рек. УМО / М. М. Глухов, А. Б. Шишков. - СПб. ; М. ; Краснодар : Лань, 2012. - 406 с. - (Учебники для вузов. Спец. лит.). - Библиогр. : с. 398 . - ISBN 978-5-8114-1344-7 (в пер.) : 766.92 р. Прил. : с. 389 Рубрики: Математика Дискретная математика Кл.слова (ненормированные): математическая логика -- множества -- исчисление высказываний -- алгебра высказываний -- алгебра предикатов -- исчисление предикатов -- дискретные функции -- булевы функции -- вероятностная функция -- теория алгоритмов Доп.точки доступа: Шишков, Алексей Борисович Экземпляры всего: 4 ч.з. (2), аб. (2) Свободны: ч.з. (2), аб. (2) |
22.17 П 23 Певзнер, Леонид Давидович. Практикум по математическим основам теории систем [Текст] : учеб. пособие : рек. УМО / Л. Д. Певзнер. - СПб. ; М. ; Краснодар : Лань, 2013. - 400 с. : табл. - (Учебники для вузов. Спец. лит.). - Библиогр. : с. 393 . - ISBN 978-5-8114-1411-6 (в пер.) : 642.07 р. Рубрики: Математика Дискретная математика Кл.слова (ненормированные): множества -- отношения -- исчисление высказываний -- алгебра логики -- графы -- сети -- линейные пространства -- матрицы -- функциональные преобразования -- случайные величины -- функции -- конечные автоматы -- модели динамических систем -- конечномерная оптимизация -- вариационные методы оптимизации Экземпляры всего: 2 ч.з. (2) Свободны: ч.з. (2) |