![](pic/pageID.gif) |
Виды неполной индукции ( Контрольная работа, 14 стр. ) |
![](pic/pageID.gif) |
Виды понятий и отношение между ними ( Контрольная работа, 19 стр. ) |
![](pic/pageID.gif) |
Виды понятий и рассмотрение отношений между понятиями ( Реферат, 14 стр. ) |
![](pic/pageID.gif) |
Виды умозаключений по аналогии 2007-16 ( Контрольная работа, 16 стр. ) |
![](pic/pageID.gif) |
Виды умозаключений по аналогии 2007-14 ( Реферат, 14 стр. ) |
![](pic/pageID.gif) |
Виды умозаключений по аналогии 2007-13 ( Контрольная работа, 13 стр. ) |
![](pic/pageID.gif) |
Виды умозаключений по аналогии ( Контрольная работа, 14 стр. ) |
![](pic/pageID.gif) |
Виды умозаключений по аналогии. Вариант № 22 ( Контрольная работа, 14 стр. ) |
![](pic/pageID.gif) |
Виды умозаключения………………………………………5 ( Контрольная работа, 12 стр. ) |
![](pic/pageID.gif) |
Влияние логики на обучение 67вв ( Курсовая работа, 33 стр. ) |
![](pic/pageID.gif) |
Во всех пяти высказываниях восстановить скобки ( Контрольная работа, 5 стр. ) |
![](pic/pageID.gif) |
Возникновение и этапы развития традиционной формальной логики ( Контрольная работа, 21 стр. ) |
![](pic/pageID.gif) |
Возникновение и этапы развития традиционной формальной логики ( Реферат, 21 стр. ) |
![](pic/pageID.gif) |
Возникновение и этапы развития формальной логики ( Контрольная работа, 15 стр. ) |
![](pic/pageID.gif) |
Возникновение и этапы развития формальной логики ( Реферат, 15 стр. ) |
![](pic/pageID.gif) |
Вопросы и задания по логике ( Контрольная работа, 9 стр. ) |
![](pic/pageID.gif) |
Вопросы по логике ( Контрольная работа, 10 стр. ) |
![](pic/pageID.gif) |
Выделите из слов и словосочетаний понятия и дайте им логическую характеристику. Придумайте понятие, соответствующее следующей логической характеристике ( Контрольная работа, 6 стр. ) |
![](pic/pageID.gif) |
Выражают ли следующие слова одно и тоже понятие? Событие. Происшествие. Случай 211 ( Контрольная работа, 14 стр. ) |
![](pic/pageID.gif) |
высшее учебное заведение ( Контрольная работа, 11 стр. ) |
![](pic/pageID.gif) |
Гипотеза и ее виды ( Реферат, 16 стр. ) |
![](pic/pageID.gif) |
Гипотеза и ее виды 2007-14 ( Контрольная работа, 14 стр. ) |
![](pic/pageID.gif) |
Гипотеза и ее виды. Вар. 23 ( Контрольная работа, 13 стр. ) |
![](pic/pageID.gif) |
Гипотеза как форма развития знаний 2005-33 ( Курсовая работа, 33 стр. ) |
![](pic/pageID.gif) |
Гипотеза как форма развития знаний ( Курсовая работа, 33 стр. ) |
|
|
![](/pic/fronted/spacer.gif) |
Тип: Реферат |
Цена: 450 р. |
Страниц: 23 |
Формат: doc |
Год: 2012 |
Купить
Данная работа была успешно защищена, продается в таком виде, как есть. Изменения, а также индивидуальное исполнение возможны за дополнительную плату. Если качество купленной готовой работы с сайта не соответствует заявленному, мы ВЕРНЕМ ВАМ ДЕНЬГИ или ОБМЕНЯЕМ на другую готовую работу. Данная гарантия действует в течение 48 часов после покупки работы. Вы можете получить её по электронной почте (отправляется сразу после подтверждения оплаты в течение 3-х часов, в нерабочее время возможно увеличение интервала). Для получения нажмите кнопку «купить» выше.
Также работу можно получить в московском офисе, либо курьером в любом крупном городе России (стоимость услуги 600 руб.). Желаете просмотреть часть работы? Обращайтесь: ICQ 15555116, Skype dip-master, E-mail info @ dipmaster-shop.ru. Звоните: (495) 972-80-33, (495) 972-81-08, (495) 518-51-63, (495) 971-07-29, (495) 518-52-11, (495) 971-76-12, (495) 979-43-28.
Содержание
|
Введение 3
1. Особенности построения семантик формализованных и естественных языков 4
2. Семантические правила интерпретации для формализованных языков 16
Заключение 22
Литература 23
|
Введение
|
Формальная теория - теория в формализованном языке. Важной особенностью формальной теории является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система явным образом включается в теорию. Поэтому более точно формальную теорию можно определить как упорядоченную тройку (L, A, C), где L представляет формализованный язык, A - множество аксиом и С - множество правил вывода.
Формальная теория обычно строится следующим образом. Вначале задается алфавит языка - набор исходных символов, включающий в себя символы для индивидных констант и переменных, для предикатов и функций, для логических связок и кванторов. Затем определяется понятие правильно построенной формулы. Это определение должно быть эффективным, т. е. должна существовать эффективная процедура, позволяющая для произвольной последовательности символов решить, является ли она правильно построенной формулой. Из множества формул выбирается некоторое подмножество аксиом. Определение аксиомы также должно быть эффективным.
Наконец формулируются правила вывода, позволяющие получать из одних формул другие. Добавляя к алфавиту языка новые математические, физические и др. символы и присоединяя к аксиомам дополнительные математические или конкретно-научные принципы, получают формальную конкретно-научную теорию.
Примерами формальной теории являются: пропозициональное исчисление, исчисление предикатов, теория порядка, теория групп, теория решеток, теория множеств и т. п.
|
Список литературы
|
1. Кондильяк Э. Логика, или начала искусства мыслить, М., 1983.
2. Смирнова Е.Д. Формализованные языки и проблемы логической семантики. М., 1982.
3. Смирнова Е.Д. Логика и философия. М., 1996.
4. Соссюр Ф. Труды по языкознанию. М., 1977.
5. Смирнова Д. К вопросу построения семантик формализованных и естественных языков (Роль основного принципа теории семантических категорий) // Наука, №4, 2004.
|
Примечания:
|
Примечаний нет.
|
|
|