Борщев В.Б., Partee B.H. Интеграция лексической и формальной семантики

формат pdf
размер 2.73 МБ
добавлен 21 сентября 2010 г.

Казань, 2003. 58 с.
Курс лекций по логической семантике, прочитанный в Казанском университете в 2003 г. Содержит элементарное изложение методов, средств и проблем описания семантики естественных языков.

Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка. Формальная семантика. Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных групп. Превые шаги к интеграции формальной и лексической семантики. Семантика генитивной конструкции, типы и сорта.

Похожие разделы

Смотрите также

Бурбаки Н. Теория множеств. Книга первая - основные структуры анализа

формат djvu
размер 9.54 МБ
добавлен 26 апреля 2009 г.

Трактат Н. Бурбаки „Начала математики" имеет целью изложить всю современную математику с единой и оригинальной точки зрения. Много выпусков этого трактата уже вышло во Франции. Они вызвали большой интерес математиков всего мира как новизной изложения, так и высоким научным уровнем. Настоящее издание представляет собой перевод первой книги первой части этого трактата, т. е. книги, в которой закладываются наиболее фундаментальные и общие понятия, с...

Гуц А.К. Математическая логика и теория алгоритмов

формат djvu
размер 867.4 КБ
добавлен 09 ноября 2010 г.

Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. основу пособия составляют конспекты лекций, которые читались студентам вторго курса отделения компьютерных наук Омского гос. универститета в 2002 г. Для студентов специальностей 075200 - "Компьютерная безопасность" и по специальности 220100 - "Вычислительные машины, комплексы, системы и сети". Содержание разделов: Логика. Классическая логика. Логика высказываний....

Каверин С.В. Лекции по математической логике и теории алгоритмов

формат djvu
размер 383.65 КБ
добавлен 15 октября 2011 г.

Тольятти, Волжский университет им. Татищева, 2002 г. - 45 стр. Содержание: Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебр...

Клини С.К., Весли Р.Е. Основания интуиционистской математики

формат djvu
размер 2.3 МБ
добавлен 06 июня 2009 г.

М., Наука, 1978. - 272 с. ОГЛАВЛЕНИЕ. От переводчиков. Предисловие. Формальная система интуиционистского анализа. Введение в монографию. Статус формальной системы. Правила образования. Постулаты исчисления предикатов, арифметики и касающиеся функций (постулаты групп А — С). Постулаты для некоторых примитивно рекурсивных функций и их следствия (постулаты группы D). Постулаты для потоков (бар-теорема). Постулаты, касающиеся сопоставления функций...

Лекции по математической логике и теории алгоритмов

формат pdf
размер 1.47 МБ
добавлен 09 ноября 2010 г.

Лекции по математической логике и теории алгоритмов. Алгебра логики. Определение булевой функции. Элементарные булевы функции. Задание булевых функций посредством элементарных. Существенные и несущественные переменные. Таблицы истинности. Эквивалентные функции. Основные эквивалентности. Функциональная полнота. Булева алгебра. Нормальные формы. Совершенные нормальные формы. Минимизация ДНФ методом Квайна. Карты Карно. Алгебра Жегалкина. Высказыван...

Непейвода Н.Н. Прикладная логика

формат pdf
размер 2.31 МБ
добавлен 19 сентября 2010 г.

Учебное пособие. Ижевск, 2000. 529 с. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы. Предикаты и элементарные формулы. Некоторые обозначения. Запись высказываний. Логические формулы. Связка ‘и’. Связка ‘или’. Связка ‘следует’....

Попов А.И. Введение в математическую логику

формат djvu
размер 1.33 МБ
добавлен 23 апреля 2011 г.

Ленинград: Издательство Ленинградского университета, 1959. - 109 с. Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается м...

Робинсон А. Введение в теорию моделей и метаматематику алгебры

формат djvu
размер 3.08 МБ
добавлен 08 июля 2011 г.

М.: Наука, 1967. - 376 с. Серия "Математическая логика и основания математики". Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символически...

Слупецкий Е., Борковский Л. Элементы математический логики и теории множеств

формат djvu
размер 2.33 МБ
добавлен 10 сентября 2010 г.

Перевод с польского О. Ф. Серебрянникова, Издательство Прогресс, Москва, 1965. Книга известных польских логиков, посвящена изложению основ современной формальной логики и теории множеств для читателей гуманитарного профиля. В ней содержится систематическое изложение широкого круга вопросов из различных разделов математической логики, а также освещаются некоторые важнейшие методологические аспекты математической логики и оснований математики.

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

формат pdf
размер 1 МБ
добавлен 04 января 2012 г.

Оренбург: ГОУ ОГУ, 2004. – 106 с. Пособие предназначено студентам экономических и естественнонаучных специальностей для выработки конструктивных знаний в области формальной логики и алгоритмизации.