Верификация моделей программ. Model Checking
 |
|
Содержание:
Часть 1. Союзы и межфразовые связи, Сочинительные союзы а, но, и: история, сходства и различия, О сочинительных союзах в старославянском языке - где место союзу а?, Еще раз к вопросу о сочинительных союзах, Частица же в роли текстового коннектора (на материале русской диалектной речи), Некоторые текстовые коннекторы в региональных и социальных разновидностях русского языка (а, но, ну), Некоторые наблюдения над семантикой и статусом сложных предложений с уступительными союзами, Семантика межфразовых связей и/или грамматика сложного предложения, Часть 2. Скрытая семантика "я", Местоимение "я" и построение дискурсивных связей в современном русском языке, Функции русского "я" в индоевропейской перспективе, Местоимение первого лица в старославянском языке - свидетельства евангельских текстов, Часть 3. Межфразовые связи и интонация, Интонация, порядок слов и межфразовых связей, Межфразовые связи в тексте спонтанной речи, Исследование мелодических изменений в речи: восприятие общего вопроса
Описание:
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.Похожие книги
 | Говорит Одесса (аудиокнига MP3) Автор: Зиновий Высоковский Год: 2006 |
 | Люди, книги, даты Автор: Микола Бажан Год: 1968 |
 | Основы лингвистической теории значения Автор: М. В. Никитин Год: 2009 |
 | Музыка как форма интеллектуальной деятельности Автор: Паскале Сейлер, Натали Сейлер, Петра Пич Год: 2007 |
 | Эволюционная морфология. Часть 2. Очерки формирования и эволюции категории глагола в алтайских языках Автор: С. Л. Чареков Год: 2000 |
 | Значение и необходимость. Исследование по семантике и модальной логике Автор: Р. Карнап Год: 2000 |