Доклад на тему «Что такое логика и как её преподавать?» icon

Доклад на тему «Что такое логика и как её преподавать?»


Смотрите также:
Реферат по информатике и икт на тему: «Логика»...
Курсовая работа на тему: «Внутренняя сила что это такое и как ее обрести»...
Доклад на тему: «Работа с одарёнными детьми»...
Логика в образовании...
Е. В. Постоевой Религиозно-философская публицистика Л. Н. Толстого...
Классный час на тему; «Что такое патриотизм?»...
Программа математическая логика (Учебный курс предпрофильной подготовки для учащихся 10-х...
1. Язык как средство коммуникации в ряду культурно и социально значимых средств человеческого...
Грамматические и просодические явления в дискурсе...
Метаморфозы жанра // Весы, №38, Балашов, 2008 От редакции...
Метаморфозы жанра // Весы, №38, Балашов, 2008 От редакции...
Партизанская война с работодателем?!...



Загрузка...
скачать
Восемнадцатый семинар (14.09.2010).


Г.Б. Шабат сделал доклад на тему «Что такое логика и как её преподавать?»


Речь пойдёт о математической логике, которую будем называть просто логикой.

Логика – наука об (абсолютно формализованных) языках математики. Будем рассматривать линейный язык – последовательность символов (на таком языке хорошо записываются тексты на русском языке, но плохо – дроби, интегралы, матрицы, тем более чертежи).


Для начала введём «игрушечный» язык.


Определение. Формальный язык – это пара (Алфавит, Правильные Последовательности).

^ Алфавит А– это конечное множество символов. Рассмотрим множества последовательностей («слов») любой длины. Выделим среди них правильные последовательности ПП– последовательности, удовлетворяющие некоторым правилам.

Пример. А = {0, 1, …, 9}. ПП – множество слов, не начинающихся с одного или нескольких нулей. Получим записи натуральных чисел.


Правильные последовательности должны быть разрешимы (т.е. должен существовать алгоритм проверки принадлежности слова правильной последовательности).


^ Ещё пример. A = { (, ) }. ПП – множество правильных скобочных последовательностей. Отыскание количества слов данной длины является уже интересной задачей (числа Каталана).


Спецсимволы…насечки, =,+ - какой смысл мы в них вкладываем?


Примеры простых языков, в которых истинность с доказуемостью не совпадают???


Проект. Создать алгоритм синтеза и анализа ПП. (Синтез – написание всех правильных последовательностей данного языка. Анализ – определение того, является ли данная последовательность правильной или нет.) Найдётся ли общий алгоритм для всех «игрушечных» языков?




Скачать 13,17 Kb.
оставить комментарий
Дата27.08.2012
Размер13,17 Kb.
ТипДоклад, Образовательные материалы
Добавить документ в свой блог или на сайт

Ваша оценка этого документа будет первой.
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Загрузка...
Документы

Рейтинг@Mail.ru
наверх