Choice of metadata IPR SMART
Page 2, Results: 35
Report on unfulfilled requests: 0
11.
Подробнее
Бекарева, Н. Д.
Дискретная математика : учебное пособие / Бекарева Н. Д. - Новосибирск : Новосибирский государственный технический университет, 2019. - 80 с. - ISBN 978-5-7782-3952-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
дискретная математика -- доказательство -- логическая функция -- математическая логика -- множество
Аннотация: Работа включает разделы: операции теории множеств, математическую логику в составе булевой алгебры, исчисления высказываний и исчисления предикатов. При изложении материала использован конструктивный подход – наиболее современная и эффективная форма подачи материала. Каждый раздел сопровождается задачами, приводятся решения типовых задач. Работа окажется полезной при подготовке бакалавров по всем направлениям факультета прикладной математики и информатики.
Бекарева, Н. Д.
Дискретная математика : учебное пособие / Бекарева Н. Д. - Новосибирск : Новосибирский государственный технический университет, 2019. - 80 с. - ISBN 978-5-7782-3952-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дискретная математика -- доказательство -- логическая функция -- математическая логика -- множество
Аннотация: Работа включает разделы: операции теории множеств, математическую логику в составе булевой алгебры, исчисления высказываний и исчисления предикатов. При изложении материала использован конструктивный подход – наиболее современная и эффективная форма подачи материала. Каждый раздел сопровождается задачами, приводятся решения типовых задач. Работа окажется полезной при подготовке бакалавров по всем направлениям факультета прикладной математики и информатики.
12.
Подробнее
Дегтярев, М. Г.
Логика : учебник / Дегтярев М. Г. - Москва, Саратов : ПЕР СЭ, Ай Пи Эр Медиа, 2019. - 288 с. - ISBN 978-5-4486-0487-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 87.4
Кл.слова (ненормированные):
абстрактное мышление -- дедуктивное умозаключение -- индуктивное умозаключение -- логика -- логика высказываний -- логика предикатов -- логический принцип -- процесс познания -- символическая логика -- язык логики
Аннотация: Предлагаемый учебник — систематизированное изложение курса логики, читаемого для студентов юридических вузов. Помимо теоретического изложения тем курса, учебник содержит задачи и упражнения, а также логический и юридический практикум, где разбираются логические проблемы из различных областей юридической деятельности. В учебнике удачно сочетается традиционная тематика с современным уровнем логико-методологических исследований. Рекомендуется студентам, аспирантам, преподавателям юридических вузов.
Доп.точки доступа:
Хмелевская, С. А.
Дегтярев, М. Г.
Логика : учебник / Дегтярев М. Г. - Москва, Саратов : ПЕР СЭ, Ай Пи Эр Медиа, 2019. - 288 с. - ISBN 978-5-4486-0487-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
абстрактное мышление -- дедуктивное умозаключение -- индуктивное умозаключение -- логика -- логика высказываний -- логика предикатов -- логический принцип -- процесс познания -- символическая логика -- язык логики
Аннотация: Предлагаемый учебник — систематизированное изложение курса логики, читаемого для студентов юридических вузов. Помимо теоретического изложения тем курса, учебник содержит задачи и упражнения, а также логический и юридический практикум, где разбираются логические проблемы из различных областей юридической деятельности. В учебнике удачно сочетается традиционная тематика с современным уровнем логико-методологических исследований. Рекомендуется студентам, аспирантам, преподавателям юридических вузов.
Доп.точки доступа:
Хмелевская, С. А.
13.
Подробнее
Вайнштейн, Ю. В.
Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю. В. - Красноярск : Сибирский федеральный университет, 2019. - 110 с. - ISBN 978-5-7638-4076-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра -- алгоритм -- логическая функция -- математическая логика -- формальная теория
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Доп.точки доступа:
Пенькова, Т. Г.
Вайнштейн, В. И.
Вайнштейн, Ю. В.
Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю. В. - Красноярск : Сибирский федеральный университет, 2019. - 110 с. - ISBN 978-5-7638-4076-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра -- алгоритм -- логическая функция -- математическая логика -- формальная теория
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Доп.точки доступа:
Пенькова, Т. Г.
Вайнштейн, В. И.
14.
Подробнее
Кошелев, А. Д.
О генезисе мышления и языка: генезис понятий и пропозиций. Аристотель и Хомский о языке. Влияние культуры на язык / Кошелев А. Д. - Москва : Издательский Дом ЯСК, 2019. - 264 с. - ISBN 978-5-907117-67-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 81
Кл.слова (ненормированные):
аристотель -- влияние культуры -- генезис мышления -- хомский -- язык
Аннотация: Монография посвящена генезису человеческого мышления и языка — образованию у человека (ребенка) понятий, пропозиций и речи. В первой главе дананалитический обзор основных понятий эволюционно-синтетического подхода к изучению человека, его деятельности, мышления и языка. Введена дихотомия: «визуальные (экзогенные) vs. функциональные (эндо генные)» когнитивные единицы. Показывается, что из них посредством бинарных отношений строятся ментальные репрезентации различных объектов (стакан, банан, дерево, озеро), действий (бежать, сидеть) и ситуаций. Вторая глава посвящена анализу процесса образования у ребенка простых человеческих понятий, пропозиций — предикативных выражений, составленных из этих понятий, — и двусоставных предложений. Показывается, что у младенца элементарными единицами представления мира являются синкретичные ментальные репрезентации агентивных ситуаций. Эти допонятийные «синкреты» в процессе двухэтапного когнитивного развития ребенка трансформируются в понятия и пропозиции и служат ему когнитивной основой для усвоения родного языка. В конце главы проведен сопоставительный анализ предложенного подхода к мышлению и языку с подходами Аристотеля и Хомского. В третьей главе обсуждаются механизмы влияния культуры этноса на его язык. Показывается, что прогресс этноса — главная составляющая цивилизационного компонента его культуры — способствует развитию содержательного компонента языка: расширению круга его лексических и грамматических значений. Здесь же анализируется круг социальных проблем Homo sapiens sapiens, обусловленных его прогрессом, и анализируется гипотеза эволюционного перехода от Homo sapiens sapiens к Homo perfectus. В последующих разделах рассматривается гипотеза Д. Эверетта о влиянии культуры на строй языка. Вводятся модели деятельностного развития человека и этноса, обсуждаются понятия «универсальный концепт» и «экзотическое свойство языка». Монография представляет интерес для когнитивных лингвистов, психологов, социологов, антропологов, философов, специалистов по теориям познания и искусственного интеллекта.
Кошелев, А. Д.
О генезисе мышления и языка: генезис понятий и пропозиций. Аристотель и Хомский о языке. Влияние культуры на язык / Кошелев А. Д. - Москва : Издательский Дом ЯСК, 2019. - 264 с. - ISBN 978-5-907117-67-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
аристотель -- влияние культуры -- генезис мышления -- хомский -- язык
Аннотация: Монография посвящена генезису человеческого мышления и языка — образованию у человека (ребенка) понятий, пропозиций и речи. В первой главе дананалитический обзор основных понятий эволюционно-синтетического подхода к изучению человека, его деятельности, мышления и языка. Введена дихотомия: «визуальные (экзогенные) vs. функциональные (эндо генные)» когнитивные единицы. Показывается, что из них посредством бинарных отношений строятся ментальные репрезентации различных объектов (стакан, банан, дерево, озеро), действий (бежать, сидеть) и ситуаций. Вторая глава посвящена анализу процесса образования у ребенка простых человеческих понятий, пропозиций — предикативных выражений, составленных из этих понятий, — и двусоставных предложений. Показывается, что у младенца элементарными единицами представления мира являются синкретичные ментальные репрезентации агентивных ситуаций. Эти допонятийные «синкреты» в процессе двухэтапного когнитивного развития ребенка трансформируются в понятия и пропозиции и служат ему когнитивной основой для усвоения родного языка. В конце главы проведен сопоставительный анализ предложенного подхода к мышлению и языку с подходами Аристотеля и Хомского. В третьей главе обсуждаются механизмы влияния культуры этноса на его язык. Показывается, что прогресс этноса — главная составляющая цивилизационного компонента его культуры — способствует развитию содержательного компонента языка: расширению круга его лексических и грамматических значений. Здесь же анализируется круг социальных проблем Homo sapiens sapiens, обусловленных его прогрессом, и анализируется гипотеза эволюционного перехода от Homo sapiens sapiens к Homo perfectus. В последующих разделах рассматривается гипотеза Д. Эверетта о влиянии культуры на строй языка. Вводятся модели деятельностного развития человека и этноса, обсуждаются понятия «универсальный концепт» и «экзотическое свойство языка». Монография представляет интерес для когнитивных лингвистов, психологов, социологов, антропологов, философов, специалистов по теориям познания и искусственного интеллекта.
15.
Подробнее
Мирзоев, М. С.
Теория алгоритмов : учебное пособие / Мирзоев М. С. - Москва : Прометей, 2019. - 200 с. - ISBN 978-5-907100-65-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 65.290
Кл.слова (ненормированные):
математическая машина -- машина тьюринга -- навешивание квантора -- проблема самоприменимости -- рекурсивная функция -- рекурсивный предикат -- теорема клини -- теорема райса -- теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Доп.точки доступа:
Матросов, В. Л.
Мирзоев, М. С.
Теория алгоритмов : учебное пособие / Мирзоев М. С. - Москва : Прометей, 2019. - 200 с. - ISBN 978-5-907100-65-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
математическая машина -- машина тьюринга -- навешивание квантора -- проблема самоприменимости -- рекурсивная функция -- рекурсивный предикат -- теорема клини -- теорема райса -- теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Доп.точки доступа:
Матросов, В. Л.
16.
Подробнее
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Хворостухина, Е. В.
Математическая логика : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
17.
Подробнее
Михальченко, Г. Е.
Математическая логика и теория алгоритмов : учебное пособие / Михальченко Г. Е. - Красноярск : Сибирский федеральный университет, 2018. - 74 с. - ISBN 978-5-7638-3932-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебра -- алгоритм -- задача -- математическая логика -- предикат -- функция
Аннотация: Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на практических занятиях и самостоятельной работы. Предназначено для студентов направления 09.03.02 «Информационные системы и технологии», а также других направлений (09.03.04 «Программная инженерия», 27.03.03 «Системный анализ и управление», 27.03.04 «Управление в технических системах»).
Михальченко, Г. Е.
Математическая логика и теория алгоритмов : учебное пособие / Михальченко Г. Е. - Красноярск : Сибирский федеральный университет, 2018. - 74 с. - ISBN 978-5-7638-3932-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебра -- алгоритм -- задача -- математическая логика -- предикат -- функция
Аннотация: Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на практических занятиях и самостоятельной работы. Предназначено для студентов направления 09.03.02 «Информационные системы и технологии», а также других направлений (09.03.04 «Программная инженерия», 27.03.03 «Системный анализ и управление», 27.03.04 «Управление в технических системах»).
18.
Подробнее
Алаев, П. Е.
Математическая логика. В 2 частях. Ч.1 : учебное пособие / Алаев П. Е. - Новосибирск : Новосибирский государственный университет, 2018. - 99 с. - ISBN 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1) : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгебраическая система -- математическая логика -- множество -- предикат -- формула
Аннотация: Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.
Доп.точки доступа:
Максимова, Л. Л.
Алаев, П. Е.
Математическая логика. В 2 частях. Ч.1 : учебное пособие / Алаев П. Е. - Новосибирск : Новосибирский государственный университет, 2018. - 99 с. - ISBN 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1) : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгебраическая система -- математическая логика -- множество -- предикат -- формула
Аннотация: Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.
Доп.точки доступа:
Максимова, Л. Л.
19.
Подробнее
Макоха, А. Н.
Математическая логика и теория алгоритмов : учебное пособие / Макоха А. Н. - Ставрополь : Северо-Кавказский федеральный университет, 2017. - 418 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгоритм -- логика -- математика -- теория -- упражнение
Аннотация: Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.
Доп.точки доступа:
Шапошников, А. В.
Бережной, В. В.
Макоха, А. Н.
Математическая логика и теория алгоритмов : учебное пособие / Макоха А. Н. - Ставрополь : Северо-Кавказский федеральный университет, 2017. - 418 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- логика -- математика -- теория -- упражнение
Аннотация: Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искусственного интеллекта; излагаются основные проблемы аксиоматического метода, уточнение интуитивного понятия алгоритма на языке частично рекурсивных функций и машин Тьюринга. Изложение материала сопровождается содержательными примерами, приводятся вопросы и упражнения для самопроверки. Предназначено для студентов математических и IT-специальностей; будет полезно преподавателям, ведущим курс математической логики и теории алгоритмов.
Доп.точки доступа:
Шапошников, А. В.
Бережной, В. В.
20.
Подробнее
Зарубин, А. В.
Незаконный оборот имущества, приобретенного преступным путем. Уголовно-правовая характеристика : учебное пособие / Зарубин А. В. - Санкт-Петербург : Санкт-Петербургский юридический институт (филиал) Академии Генеральной прокуратуры РФ, 2017. - 88 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 67.408я73
Кл.слова (ненормированные):
длящееся преступление -- незаконная рубка -- незаконный оборот -- оборот имущества -- предикатное преступление -- сбыт имущества -- уголовно-правовая характеристика -- укрывательство -- хищение
Аннотация: Учебное пособие посвящено исследованию действующего уголовного законодательства, предусматривающего ответственность за незаконный оборот имущества, приобретенного преступным путем. Обобщена практика применения ст. ст. 174, 174.1, 175, 191.1 УК РФ и даны рекомендации по вопросам единообразного и эффективного применения уголовного законодательства об ответственности за незаконный оборот имущества, приобретенного преступным путем. Учебное пособие предназначено для обучающихся по программам профессиональной переподготовки и повышения квалификации работников органов прокуратуры, а также программам высшего образования по укрупненной группе специальностей и направлений подготовки 40.00.00 Юриспруденция.
Зарубин, А. В.
Незаконный оборот имущества, приобретенного преступным путем. Уголовно-правовая характеристика : учебное пособие / Зарубин А. В. - Санкт-Петербург : Санкт-Петербургский юридический институт (филиал) Академии Генеральной прокуратуры РФ, 2017. - 88 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
длящееся преступление -- незаконная рубка -- незаконный оборот -- оборот имущества -- предикатное преступление -- сбыт имущества -- уголовно-правовая характеристика -- укрывательство -- хищение
Аннотация: Учебное пособие посвящено исследованию действующего уголовного законодательства, предусматривающего ответственность за незаконный оборот имущества, приобретенного преступным путем. Обобщена практика применения ст. ст. 174, 174.1, 175, 191.1 УК РФ и даны рекомендации по вопросам единообразного и эффективного применения уголовного законодательства об ответственности за незаконный оборот имущества, приобретенного преступным путем. Учебное пособие предназначено для обучающихся по программам профессиональной переподготовки и повышения квалификации работников органов прокуратуры, а также программам высшего образования по укрупненной группе специальностей и направлений подготовки 40.00.00 Юриспруденция.
Page 2, Results: 35