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

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

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

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

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

Скачать бесплатно на сайте fileskachat.com
Скачать бесплатно на сайте yadi.sk

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

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

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

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

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


Задачи Санкт-Петербургской олимпиады школьников по математике 2008 года

  Издательство: BHV, 2008 г.

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

Читатель найдет в ней задачи Санкт-Петербургской олимпиады школьников по математике 2008 года, а также открытой олимпиады ФМЛ №239, которая, не будучи туром Санкт-Петербургской олимпиады, по характеру задач, составу участников и месту проведения является прекрасным дополнением к ней. Все задачи приведены с подробными решениями, условия и решения геометрических задач сопровождаются рисунками. В качестве дополнительного материала читатель найдет подборку экстремальных комбинаторных задач и эссе об увеличении периметров фигур с помощью оригами. Книга предназначена для школьников, учителей, преподавателей математических кружков и просто любителей математики. Составители: Берлов С.Л., Кохась К.П., Храбров А.И.


Математический детектив. Пособие для учащихся

Автор(ы): Мадер Виктор Викторович   Издательство: Мнемозина, 2008 г.  Серия: Математика

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

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


Математика. Рабочая тетрадь для 3 класса. В 2-х частях. Часть 1

Автор(ы): Бененсон Евгения Павловна, Итина Лариса Самуиловна   Издательство: Дом Федорова, 2013 г.

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

Рабочие тетради являются дополнением к учебнику "Математика. 3 класс" (авторы И.И. Аргинская, Л.С. Итина, C.Н. Кормишина). Нестандартные задания на раскрашивание и восстановление рисунков, отгадывание ребусов и кроссвордов, решение логических задач позволяют детям не только совершенствовать полученные на уроках знания и умения, но и способствуют развитию внимания, памяти, воображения. 6-е издание, исправленное.

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!