матросов виктор леонидович мирзоев махмашариф сайфович математическая логика учебник для бакалавриата
Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович Математическая логика. Учебник для бакалавриата
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
540 Руб.
Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович Теория алгоритмов. Учебное пособие
В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению "Педагогическое образование" профилей "Физика и информатика", "Технология и информатика", "Математика и информатика", "Информатика и математика", "Прикладная информатика". Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости
480 Руб.
Матросов В., Мирзоев М. Математическая логика. Учебник для бакалавриата
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. .Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. .Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей «Информатика и математика», «Физика и информатика», «Технология и информатика», «Математика и информатика», «Прикладная информатика». Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
919 Руб.
Матросов В., Мирзоев М. Математическая логика. Учебник для бакалавриата
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. .Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. .Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей «Информатика и математика», «Физика и информатика», «Технология и информатика», «Математика и информатика», «Прикладная информатика». Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
919 Руб.
Мирзоев Махмашариф Сайфович Математическая культура учителя информатики. Теоретико-методический аспект. Монография
В монографии рассмотрены проблемы развития математического образования будущего учителя информатики в свете формирования математической культуры. Исследование математической культуры учителя информатики рассматривается в контексте развития математики в областях дискретной математики, математической логики, теории алгоритмов, информационного моделирования. Существенное внимание уделено интеграции предметных областей "Информатика" и "Математика". Определены и обоснованы структура и содержание математических дисциплин дискретного блока с учетом интеграции предметных областей "Математика" и "Информатика" и основных аспектов развития общеобразовательного курса информатики. Представлено учебно-методическое обеспечение формирования математической культуры будущего учителя информатики на базе ИКТ. Монография адресована научным сотрудникам, преподавателям, аспирантам, студентам педагогических вузов, учителям, слушателям факультетов повышения квалификации, другим специалистам, заинтересованным исследованием проблемы математической культуры.
421 Руб.
Мирзоев Махмашариф Сайфович Основы математической обработки информации. Учебное пособие
Учебное пособие предназначено для студентов высших учебных заведений педагогического образования, гуманитарного профиля. В нем изложены математические методы обработки информации в дискретной форме, включающие разделы: информация и информационные процессы; машинная арифметика; системы счисления и кодирование информации; логические основы устройства компьютера; моделирование и формализация информационных объектов, информационных процессов; различные алгоритмы обработки информации; элементы теории графов; математические методы теории распознавания образов; компьютерный эксперимент и статистические методы обработки информации. Специфичность учебного пособия заключается в том, что оно построено на концепции интеграции предметных областей математики и информатики. Наряду с теоретическим и практическим материалом пособие содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Цель учебного пособия - формирование системы знаний и умений, связанных с особенностями математических способов представления и обработки информации как базы для развития общекультурных и профессиональных компетенций студентов высших учебных заведений, обучающихся по направлению педагогического образования гуманитарного профиля.
1201 Руб.
Мирзоев Махмашариф Сайфович, Сатторов Абдурасул Эшбекович, Джонмахмадов Исломиддин Тешаевич Математическая машина Тьюринга и вычислительная сложность. Учебное пособие
В учебном пособии изложены подходы к формализации понятий алгоритма. В нем уточняется понятие алгоритма через математическую машину Тьюринга и машину с неограниченным количеством регистров (МНР) и рассматриваются некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Пособие адресовано учителям информатики, преподающим информатику в профильных классах, а также предназначено для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Пособие может быть полезно широкому кругу читателей, интересующимся основами теории вычислимости.
480 Руб.
Матросов Виктор Леонидович Основы курса высшей математики
Учебник содержит изложение основных разделов высшей математики: аналитической геометрии, математического анализа, дифференциальных уравнений, уравнений математической физики, теории вероятностей и математической статистики, а также упражнения ко всем излагаемым вопросам. Все основные понятия иллюстрируются примерами и задачами. Учебник предназначен для студентов, обучающихся по педагогическим специальностям и направлению физико-математического образования. Может быть использован студентами учреждений среднего профессионального образования.
249 Руб.
Матросов Виктор Леонидович Основы курса высшей математики
Учебник содержит изложение основных разделов высшей математики: аналитической геометрии, математического анализа, дифференциальных уравнений, уравнений математической физики, теории вероятностей и математической статистики, а также упражнения ко всем излагаемым вопросам. Все основные понятия иллюстрируются примерами и задачами. Учебник предназначен для студентов, обучающихся по педагогическим специальностям и направлению физико-математического образования. Может быть использован студентами учреждений среднего профессионального образования.
297 Руб.
Баврин Иван Иванович, Матросов Виктор Леонидович Высшая математика
В учебнике излагаются аналитическая геометрия, математический анализ и теория вероятностей. Теоретический материал сопровождается большим числом разобранных примеров и задач, а также упражнениями для самостоятельной работы. Книга адресована студентам высших учебных заведений, а также преподавателям средних учебных заведений, стремящихся повысить свое педагогическое мастерство.
190 Руб.
Демина Л. (ред.) Логика. Учебник для бакалавриата
В учебнике излагаются основы формальной логики. Последовательно и систематично рассматриваются все основные темы курса: предмет логики, принципы логического анализа языка, понятие, суждение и умозаключение, логические основы аргументации. Особое внимание уделено месту логики в системе культуры, раскрытию понятия логической культуры и ее значения для профессионального становления юриста. Учебник снабжен приложением, содержащим практические задания по всем изучаемым темам.Для студентов и преподавателей юридических вузов и факультетов, а также студентов других гуманитарных (нефилософских) специальностей.
1366 Руб.
Демина Л. (ред.) Логика. Учебник для бакалавриата
В учебнике излагаются основы формальной логики. Последовательно и систематично рассматриваются все основные темы курса: предмет логики, принципы логического анализа языка, понятие, суждение и умозаключение, логические основы аргументации. Особое внимание уделено месту логики в системе культуры, раскрытию понятия логической культуры и ее значения для профессионального становления юриста. Учебник снабжен приложением, содержащим практические задания по всем изучаемым темам.Для студентов и преподавателей юридических вузов и факультетов, а также студентов других гуманитарных (нефилософских) специальностей.
1366 Руб.
Смирнова Ирина Михайловна, Мирзоев Махмашариф Сайфович, Маняхина Валентина Геннадьевна Организация различных видов деятельности учащихся при обучении математике и информатике
В предлагаемой монографии рассматривается важная проблема современного обучения математике и информатике, а именно, организации учебной деятельности, различных ее видов, таких как проектная, исследовательская, метапредметная, коммуникативная и др.
720 Руб.
Ершов Юрий Леонидович, Палютин Евгений Андреевич Математическая логика
В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - приведены более детально, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов. 6-е издание, исправленное.
1671 Руб.
Гусева Анна Ивановна, Киреев Василий Сергеевич, Тихомирова Анна Николаевна Дискретная математика. Учебник
Данный учебник представляет собой углубленный курс по таким разделам дискретной математики, как теория множеств и бинарных отношений, математическая логика и логика предикатов, элементы теории и практики кодирования, элементы теории автоматов. Основная задача курса — формирование прочной теоретической основы, необходимой для дальнейшей профессиональной работы. Каждый раздел содержит подробный разбор практических задач и методов их решения, набор упражнений для самостоятельной работы. Учебник предназначен для студентов и преподавателей среднего профессионального образования по направлениям подготовки «Компьютерные системы и комплексы» и «Прикладная информатика».
978 Руб.
Гусева А., Киреев В., Тихомирова А. Дискретная математика. Учебник
Данный учебник представляет собой углубленный курс по таким разделам дискретной математики, как теория множеств и бинарных отношений, математическая логика и логика предикатов, теория графов, элементы теории и практики кодирования, элементы теории автоматов. Основная задача курса — формирование прочной теоретической основы, необходимой для дальнейшей профессиональной работы. Каждый раздел содержит подробный разбор практических задач и методов их решения, набор упражнений для самостоятельной работы. . .Учебник предназначен для студентов, а также преподавателей среднего профессионального образования по направлениям подготовки «Компьютерные системы и комплексы» и «Прикладная информатика». .
1609 Руб.