База данных: IPR База
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
130009
Малыхина, Г. И.
Логика : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2023. - 384 с. - ISBN 978-985-06-3498-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 87.4
Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- логика -- форма мышления
Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Первое издание вышло в 2021 г. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использован магистрантами и аспирантами, а также изучающими логику самостоятельно.
Малыхина, Г. И.
Логика : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2023. - 384 с. - ISBN 978-985-06-3498-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- логика -- форма мышления
Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Первое издание вышло в 2021 г. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использован магистрантами и аспирантами, а также изучающими логику самостоятельно.
2.
Подробнее
22190
Зарипова, Э. Р.
Лекции по дискретной математике. Математическая логика : учебное пособие / Зарипова Э. Р. - Москва : Российский университет дружбы народов, 2014. - 120 с. - ISBN 978-5-209-05455-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.176
Кл.слова (ненормированные):
булева алгебра -- дискретная математика -- исчисление высказываний -- исчисление предикатов -- математическая логика
Аннотация: В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов.
Доп.точки доступа:
Кокотчикова, М. Г.
Севастьянов, Л. А.
Зарипова, Э. Р.
Лекции по дискретной математике. Математическая логика : учебное пособие / Зарипова Э. Р. - Москва : Российский университет дружбы народов, 2014. - 120 с. - ISBN 978-5-209-05455-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булева алгебра -- дискретная математика -- исчисление высказываний -- исчисление предикатов -- математическая логика
Аннотация: В пособии излагаются основы математической логики, булева алгебра, исчисление высказываний, исчисление предикатов. Пособие состоит из 3 разделов и включает в себя конспект лекций по дисциплине, фонды оценочных средств, а также программу дисциплины «Математическая логика и теория алгоритмов». Предназначено для студентов I и II курсов математических, экономических и компьютерных специальностей. Подготовлено на кафедре систем телекоммуникаций Российского университета дружбы народов.
Доп.точки доступа:
Кокотчикова, М. Г.
Севастьянов, Л. А.
3.
Подробнее
7003
Аверченков, В. И.
Основы математического моделирования технических систем : учебное пособие / Аверченков В. И. - Брянск : Брянский государственный технический университет, 2012. - 271 с. - ISBN 5-89838-126-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
генетический алгоритм -- исчисление предикатов -- математическое моделирование -- нейрокомпьютерное моделирование -- теория графов -- теория множеств -- теория нечетких множеств -- техническая система -- учебное пособие
Аннотация: Изложены основы современных методов математического моделирования технических объектов, широко используемых в инженерной практике и научных исследованиях. Рассмотрены общие понятия и определения математического моделирования, приведены классификации моделей и даны рекомендации по их использованию при решении различных задач. Особое внимание уделено построению математических моделей с использованием матриц, теорией множеств и графов, алгебры логики и исчисления предикатов. Рассмотрены элементы и направления применения таких современных средств моделирования и оптимизации, как теория нечетких множеств, нейрокомпьютерное моделирование и генетические алгоритмы. Приведены сведения о современных подходах и оптимизации при математическом моделировании технических систем. Учебное пособие предназначено для студентов инженерных специальностей всех форм обучения, магистров направления 552900 – «Технология, оборудование и автоматизация машиностроительных производств» и аспирантов, выполняющих исследования в области технологии машиностроения, математического моделирования, САПР и автоматизации и управления технологическими процессами и производствами (в машиностроении) (научные специальности 05.02.08, 05.13.18, 05.13.12 и 05.13.06 соответственно).
Доп.точки доступа:
Федоров, В. П.
Хейфец, М. Л.
Аверченков, В. И.
Основы математического моделирования технических систем : учебное пособие / Аверченков В. И. - Брянск : Брянский государственный технический университет, 2012. - 271 с. - ISBN 5-89838-126-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
генетический алгоритм -- исчисление предикатов -- математическое моделирование -- нейрокомпьютерное моделирование -- теория графов -- теория множеств -- теория нечетких множеств -- техническая система -- учебное пособие
Аннотация: Изложены основы современных методов математического моделирования технических объектов, широко используемых в инженерной практике и научных исследованиях. Рассмотрены общие понятия и определения математического моделирования, приведены классификации моделей и даны рекомендации по их использованию при решении различных задач. Особое внимание уделено построению математических моделей с использованием матриц, теорией множеств и графов, алгебры логики и исчисления предикатов. Рассмотрены элементы и направления применения таких современных средств моделирования и оптимизации, как теория нечетких множеств, нейрокомпьютерное моделирование и генетические алгоритмы. Приведены сведения о современных подходах и оптимизации при математическом моделировании технических систем. Учебное пособие предназначено для студентов инженерных специальностей всех форм обучения, магистров направления 552900 – «Технология, оборудование и автоматизация машиностроительных производств» и аспирантов, выполняющих исследования в области технологии машиностроения, математического моделирования, САПР и автоматизации и управления технологическими процессами и производствами (в машиностроении) (научные специальности 05.02.08, 05.13.18, 05.13.12 и 05.13.06 соответственно).
Доп.точки доступа:
Федоров, В. П.
Хейфец, М. Л.
Страница 1, Результатов: 3