Математическая логика
Математика
  • формат exe
  • размер 377.59 КБ
  • добавлен 05 марта 2011 г.
Поляков К. Тренажер Логика Версия 1.2
Тренажер "Логика" предназначен для проведения практических занятий.
по теме "Математическая логика" в игровой форме. Подобная игра была.
ранее написана для компьютеров "Ямаха" (программисты П. Меняйло и.
М. Щекочихин). Данная программа представляет собой реализацию этой.
идеи для операционных систем линейки Windows 95/98/Me/2000/XP/2003.

Главные достоинства программы.
- игровая форма закрепления учебного материала.
- на данный момент автору неизвестны другие тренажеры подобного типа.
- программа имеет встроенный набор логических схем (задач).
для каждого из 10 уровней.
- существует возможность составлять новые схемы и проверять их работу,
не выходя из программы.
- с каждым уровнем можно связать свою схему; список нестандартных.
схем хранится в файле инициализации LOGIC.INI; таким образом,
можно составить несколько ini-файлов с разнотипными заданиями.
- кроме стандартного набора логических элементов (И, ИЛИ, НЕ).
в схемах можно использовать включенные (непонятно почему) в.
школьную программу элементы "импликация", "эквивалентность",
а также полусумматор, сумматор и RS-триггер.
Системные требования.
Программа работает под управлением 32-разрядных операционных систем.
линейки Windows: Windows 95, Windows 98, Windows NT, Windows 2000,
Windows 2003 Server и совместимых с ними. Требования к аппаратной.
части:
- процессор Pentium 100.
- оперативная память не менее 8 Мб.
- свободное место на жестком диске 1 Мб.
- рекомендуемое разрешение экрана 800 на 600 пикселов или выше.
- глубина цвета не менее 8 бит на пиксел (не менее 256 цветов).
Установка.
После разархивации программа сразу же находится в работоспособном состоянии.
и не требует никаких дополнительных настроек.
Похожие разделы
Смотрите также

Доклад - Математическая логика

Реферат
  • формат doc
  • размер 309.5 КБ
  • добавлен 06 апреля 2009 г.
Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

Зюзьков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов

  • формат pdf
  • размер 1.73 МБ
  • добавлен 16 апреля 2010 г.
ТУСУР, 2001, 154с. Томский межвузовский центр дистанционного образования (ТУСУР). Содержание: Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.

Лекции - Математическая логика

Статья
  • формат doc
  • размер 1.31 МБ
  • добавлен 04 марта 2011 г.
Бахтадзе Н. Н. (Институт проблем управления им. В. А. Трапезникова РАН). Логика высказываний. Алгебра высказываний. Исчисление высказываний. Метод дедуктивного вывода. Принцип резолюции. Проблемы исчисления высказываний. Описание высказываний на языке Prolog. Логика предикатов. Алгебра предикатов. Исчисление предикатов. Проблемы в исчислении предикатов. Логическое программирование.

Лупанов О.Б. Лекции по математической логике

  • формат pdf
  • размер 365.13 КБ
  • добавлен 08 января 2011 г.
МехМат МГУ, 1 курс, 2 семестр. 2004. Оглавление: Булева алгебра. k-значная логика. Схемы из функциональных элементов. Автоматы. Логика. Исчисления и предикаты. Алгоритмы. Данный документ представляет собой курс лекций "Введение в математическую логику", читаемый деканом механико-математического факультета МГУ академиков РАН О. Б. Лупановым на I курсе мехмата во втором семестре.

Маркин П.М. Математическая логика

  • формат doc
  • размер 1.22 МБ
  • добавлен 04 января 2012 г.
Лекции по курсу. - Москва: РГУИТП, 2006. - 62с. Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания). Основными разделами математической логики является: логика высказываний, логика предикатов,...

Миронов А.М. Математическая логика

  • формат pdf
  • размер 704.77 КБ
  • добавлен 29 апреля 2010 г.
Содержание. Высказывания. Формулы логики высказываний. Анализ рассуждений. Метод резолюций для ЛВ. Введению в теорию множеств. Отношения и функции. Основные результаты теории множество. Логика предикатов. Теорема Эрбрана. Метод резолюций для ЛП. Семантический вывод. Теорема Геделя. Модальная логика. Нечеткие логики.

Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая

  • формат doc
  • размер 155.12 КБ
  • добавлен 14 января 2010 г.
Калининград: КГТУ, 2001. -140 с. Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графические работы по реляционной логике. Содержание: Введение 3. Логика реляционная 3...

Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

Практикум
  • формат pdf
  • размер 3.58 МБ
  • добавлен 01 февраля 2012 г.
Наглядное пособие / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 136 слайдов. Содержание: Введение. Классическая пропозициональная логика. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ? Расширение логики Lp с помощью связки. Трансляции. Свойства некоторых расширений логики Lp. Модальные логики, нормальные...

Степанова, Плешкова, Гусев. Математическая логика и теория алгоритмов (методичка)

Практикум
  • формат djvu
  • размер 1.02 МБ
  • добавлен 28 января 2011 г.
Темы: Алгебра высказываний. Исчисления высказываний. Логика предикатов. Исчисление предикатов. Машины Тьюринга. Владивосток, Вгуэс, 2010.

Чудинов К.М. (состав.) Математическая логика и теория алгоритмов

  • формат doc
  • размер 422.67 КБ
  • добавлен 17 июня 2010 г.
Методические указания для студентов II курса заочного отделения специальности ИСТ. / Сост. К. М. Чудинов; Пермь: Изд-во Перм. гос. техн. ун-та, 2007. 48 с. Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примерами решения задач, задачи для самостоятельного решения и список рекомендуемой литературы. Программа курса: Логика высказываний. Логические операции. Формулы логики высказываний...