x-uni.com
x-uni.com
x-uni.com
Математика
Биология
Литература
Русский язык
География
Физика
Химия
История
Английский
Информатика
География
Информатика
ВИДЕОКУРСЫ
Компьютерное моделирование логических процессов, Архитектура и языки решателя задач, Подколзин А.С., 2008

Компьютерное моделирование логических процессов, Архитектура и языки решателя задач, Подколзин А.С., 2008

Компьютерное моделирование логических процессов, Архитектура и языки решателя задач, Подколзин А.С., 2008.
 
  В книге представлено описание разработанного автором пакета прикладных программ «Логическая система “Искра”», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя» В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс приемов Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов Прилагается адрес в сети программы «решателя».
Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.

ЛОГИЧЕСКИЙ ЯЗЫК РЕШАТЕЛЯ ЗАДАЧ.
В системе используется логический язык открытого типа, пополняемый в процессе обучения. Для каждого нового понятия вводятся свои правила образования с его помощью корректных синтаксических конструкций и свои соглашения о их смысловой интерпретации, учитываемые при создании приемов, использующих данное понятие При этом соблюдаются некоторые простейшие общие требования, которые будут изложены в данном разделе. Мы дадим достаточно подробное (хотя и не полное) перечисление используемых в языке способов записи понятий из различных разделов математики, так как представление о них необходимо для правильной постановки задач решателю. Кроме того, оно понадобится далее при разборе примеров Напомним, что ниже речь идет лишь о внутреннем представлении утверждений в решателе; для диалога с пользователем применяется внешняя запись, приближенная к стандартной математической, которая автоматически транслируется во внутреннее представление. Впрочем, для получения необходимой логической однозначности иногда приходится вводить коррективы и в эту стандартную запись Хотя в целом материал данной главы имеет справочный характер — перечисляются понятия из различных областей, отобранные для использования в решателе, — в отдельных случаях выбор формализации все же требует определенных пояснений.

Алфавит языка состоит из элементов двух типов — логических символов и символов переменных. Логические символы обозначают конкретные понятия (отношения между объектами, операции над ними, имена объектов, логические связки, кванторы и т. д.), переменные служат для обозначения варьируемых объектов. Символы каждого типа пронумерованы последовательными натуральными числами. В компьютерной реализации для этих номеров зарезервированы диапазоны от 1 до 216-1 Логические символы, по существу, отождествлены со своими номерами, и в этом смысле все они изначально имеются в алфавите логического языка Однако используемыми на текущий момент считаются только те из них, для которых введено название — слово либо словосочетание, имеющее не более 24 букв либо цифр Такие названия хранятся в специальном файле и легко могут быть изменены Внутренние алгоритмы системы этих названий не используют — они нужны только для отображения логических символов на экране в различных диалогах.

Предложения интернет-магазинов

Первые шаги в мире информатики. 9 класс : Опорные конспекты +вкладыш для тестовых работ

Автор(ы): Тур Светлана Николаевна, Бокучава Татьяна Петровна   Издательство: BHV, 2011 г.  Серия: Первые шаги

Цена: 269 руб.   Купить

Опорные конспекты для ученика 9 класса средней школы предназначены для проведения уроков по курсу информатики и включают теоретический материал и задачи для самостоятельного решения по темам: формальная логика и таблицы истинности, законы алгебры логики, логические элементы и схемы, решение логических задач в среде программирования QBasic; знакомство с СУБД Microsoft Access, создание и заполнение базы данных, определение связей, создание запросов и форм, приемы работы с базой данных; формализация и компьютерное моделирование, моделирование задач на обработку числовых массивов, текстовых величин и баз данных в электронных таблицах Microsoft Excel; основные понятия о сетях ЭВМ, глобальная сеть Интернет, принципы поиска информации в Интернете. В прилагаемом вкладыше представлены проверочные и итоговая работы для 2-х вариантов.


Методика обучения химии в условиях информатизации образования. Учебное пособие

Автор(ы): Аршанский Евгений Яковлевич, Белохвостов А. А.   Издательство: Интеллект-Центр, 2016 г.

Цена: 557 руб.   Купить

В учебном пособии раскрывается целый спектр возможностей использования информационно - коммуникационных технологий в обучении химии - компьютерное моделирование химических объектов и процессов, виртуальный химический эксперимент и др. большое внимание уделяется методам компьютерного контроля результатов обучения химии как важной составляющей подготовки учащихся к ЕГЭ. Издание адресовано учителям химии, а также широкому кругу читателей, интересующихся проблемами современной методики обучения химии и информатизации образования.


Логические задачи в начальной школе. Технология

Автор(ы): Кондрашова Зоя Михайловна, Солохин Николай Николаевич   Издательство: Феникс, 2017 г.  Серия: Библиотека учителя

Цена: 129 руб.   Купить

Пособие содержит методические материалы по основным видам логических задач, изучаемых в начальной школе. Обучающие технологии, представленные в пособии, полностью соответствуют стандартам нового поколения. В данном пособии рассматриваются следующие вилы логических задач: комбинаторные задачи: перестановка цифр в числе, размещение без повторений, разные (одинаковые) предметы; задачи на использование различных методов; метод таблиц, круги Эйлера, "дерево возможностей". Пособие предназначено для учителей 1-4 классов, учащихся начальной и основной ступени обучения, родителей, может быть использовано при подготовке школьников к решению нестандартных и олимпиадных задач. Материалы могут быть использованы также при обучении учащихся 5-х и 6-х классов. 2-е издание.


Информатика. 11 класс. Учебник. Углубленный уровень. В 2-х частях. ФГОС

Автор(ы): Поляков Константин Юрьевич, Еремин Евгений Александрович   Издательство: Бином. Лаборатория знаний, 2016 г.

Цена: 1279 руб.   Купить

Учебник предназначен для изучения курса информатики на углублённом уровне в 11 классах общеобразовательных учреждений. Содержание учебника является продолжением курса 10 класс и опирается на изученный в 7-9 классах курс информатики для основной школы. Рассматриваются вопросы передачи информации, информационные системы и базы данных, разработка веб-сайтов, компьютерное моделирование, методы объектно-ориентированного программирования, компьютерная графика и анимация. Учебник входит в учебно-методический комплект (УМК), включающий в себя также учебник для 10 класса и компьютерный практикум. Предполагается широкое использование ресурсов портала Федерального центра электронных образовательных ресурсов. Соответствует Федеральному государственному образовательному стандарту среднего (полного) общего образования (2012 г.). Рекомендовано Министерством образования и науки Российской Федерации. 5-е издание.