This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

Основная цель этой книги — дать читателю прочные знания синтаксиса и семантики С#, а также разобрать особенности архитектуры .NET. После ее прочтения вы познакомитесь со всеми основными областями, охваченными библиотекой базовых классов С#. Для приобретения практических навыков книга содержит множество примеров, иллюстрирующих излагаемый материал. Для работы с книгой не нужен какой-либо предварительный опыт работы с СИ и платформой .NET, однако при ее написании авторы ориентировались на тех разработчиков, которые уже имеют опыт работы с одним из современных языков программирования (C++, Visual Basic, Java или каким-либо другим).

Книга "C++. Бархатный путь" является результатом преподавательской деятельности автора в МГУ им М.В. Ломоносова (курс лекций для студентов 2-го курса геологического факультета кафедры сейсмометрии и геоакустики) и Лицее Информационных Технологий (специальный курс по языку программирования C++ для учащихся 10-х классов). В предлагаемой работе рассматривается язык программирования C++ как формальный язык. При работе над книгой, как и при подготовке учебного курса, автор предполагал у читателей и слушателей наличие элементарных понятий и представлений из области информатики, а также навыков программирования. Это предположение позволило сосредоточиться на основной задаче книги: формировании ч╦тких знаний о языке программирования C++, его синтаксисе и семантике. С этой целью при описании грамматики языка в книге широко используются формы Бэкуса-Наура, и уделяется большое внимание обсуждению причин и следствий введения в язык тех или иных языковых конструкций. Одной из особенностей книги является практически полное отсутствие примеров, связанных с реализацией конкретных содержательных алгоритмов. Изучение языка программирования и обучение программированию на языке различаются примерно так же, как изучение грамматики иностранного языка и овладение навыками разговорной речи на этом языке.

Книга предназначена для изучения возможностей объектно-ориентированного стиля программирования на языке С++. Приведены сведения о синтаксисе и семантике объектно-ориентированных конструкций С++, стандартной библиотеке шаблонов STL. Книга содержит необходимые теоретические сведения, упражнения и задачи для самостоятельной работы, справочную информацию по наиболее популярным средам программирования: С++ Builder 6 и Visual C++.NET 2003. Для преподавателей и студентов, начинающих программистов. Допущено Министерством образования и науки Российской Федерации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки «Информатика и вычислительная техника».

Указанная монография, не углубляясь в технические детали современной логики, освещает некоторые её проблемы с их идейной стороны. При этом речь идёт как о понятиях, участвующих в формирова- нии логической теории в целом (исторический аспект развития логики и её связь с теорией аргументации), так и о понятиях частного порядка (например, идейный аспект теории «нормальных форм»). Вместе с тем главная цель автора — обсудить справедливость (достаточ- ность) традиционного определения логической дедукции как движения мысли «от общего к частному», по крайней мере, в той части ло- гики, которую называют «логикой высказываний». В этой связи автор показывает, что дедукция, равным образом, как и эксперимент, демонстрирует характерные черты верификации, что вполне объясня- ет, почему именно Декарт поставил дедукцию на второе место (в порядке исследования) после интеллектуальной интуиции.

Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др. Естественно возникла идея применения этих достижений в математике. Формальные системы, изучаемые в математической логике, являются примерами алгебр с частичными операциями, и основные теоремы о формальных системах, основные методы математической

Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др.

У книзі подано нариси про словозміну, синтаксис, лексику та семантику говірок Чорнобильської зони та суміжних ареалів. Нариси розширюють відому дотепер інформацію про поліські діалекти, що належать до архаїчних діалектних типів.

У підручнику розглядаються основні питання синтаксису сучасної української мови: типи синтаксичних одиниць та їх функції, синтаксичні зв'язки, семантико-синтаксичні відношення. Інтерпретацію багатьох синтаксичних явищ подано у світлі функціональної теорії. Системно викладено аспекти вивчення синтаксичних одиниць і передусім речення. Висвітлено формально-синтаксичну, семантико-синтаксичну і комунікативну організацію речення, а також структурування його парадигм. Детально проаналізовано сукупність синтаксем як мінімальних синтаксичних одиниць, функціонування словосполучень тощо. Для студентів філологічних факультетів вузів.

У монографії розглядається семантико-синтаксична валентність як найпоказовіший різновид синтаксичної сполучуваності, з’ясовуються семантичні типи дієслівних предикатів і зумовлені їх валентністю класи іменникових синтаксем, простежується інтерпретація синтаксичних трансформацій речень із дієслівними предикатами, проводиться детальний розгляд особливостей лівобічної і правобічної дієслівної валентності, висвітлюються закономірності реалізації валентного потенціалу лексико-граматичних груп дієслів. Для мовознавців, викладачів, аспірантів і студентів філологічних факультетів, учителів.

Книжка присвячена деконструктивному аналізу філософських, історико-етнографічних, художніх текстів, поєднаних проблематикою дару, привласнення, економії, сліду, часу. В авторській інтерпретації семантика кола, часу, дару, присутності поєднує концепції праць Геґеля, Гайдеґґера, Гуссерля, Мосса, Лакана, Бенвеніста та ін. Аналізу піддано також тексти творів Бодлера, Едгара По, Бланшо, Малярме та ін., де Дерріда розглядає множинність значень, взаємозв’язок і суперечність назв і понять, що належать до ключових концептів його філософії: дар і повернення, дар і час, дар і любов, час і присутність, справжнє і фальшиве, добро і зло, випадок і подія, слід і зникнення.

В учебнике рассмотрены общие (множества и отношения, алгебра и топология) и специальные (математическая логика, математическая кибернетика, математическая информатика) вопросы дискретной математики. Для студентов высших учебных заведений. Может быть полезен аспирантам, научным работникам и специалистам в области прикладной математики и современных наукоемких информационных технологий. Из предисловия. Данный учебный курс задуман как начальный базовый курс дискретной математики. В нем отражен опыт авторов чтения курса дискретной математики в Московском государственном университете имени М.В. Ломоносова, в Военной академии ракетных войск стратегического назначения имени Петра Великого и в Российском государственном университете нефти и газа имени И. М. Губкина. Учебник отличается от большинства аналогичных тем, что в нем особое внимание уделяется алгебре и топологии, а также различию сильноформальных (кибернетических) и слабоформальных (информационных) систем. Краткое содержание: Часть I. Множества и отношения (Основные понятия теории множеств. Конечные и бесконечные множества. Отношения на множествах. Элементы теории графов). Часть II. Алгебра и топология (Алгебры. Булевы функции. Элементы общей топологии). Часть III. Математическая логика (Логика высказываний. Логика предикатов. Элементы теории доказательств). Часть IV. Математическая кибернетика (Синтаксис языков. Теория алгоритмов. Элементы теории кодирования). Часть V. Математическая информатика (Семантика языков. Информация о точке и математическое моделирование баз данных. Принятие решений. Ультраоператоры и математическое моделирование баз знаний. Дополнения).

Учебное пособие содержит как традиционные разделы дискретной математики, такие как введение в теорию графов, нормальные формы логических функций и синтез комбинационных схем, конечные автоматы, так и нетрадиционный раздел - алгебраические и теоретико-числовые основы модулярного кодирования.Для студентов и преподавателей вузов, а также инженеров и специалистов, работающих в области прикладной математики и телекоммуникаций.

У книжці викладено короткі відомості про виникнення прізвищ на Україні, про семантику, будову, відмінювання, правопис і наголошування українських прізвищ. Основною частиною довідника є словничок, у якому зібрано близько чотирьох тисяч прізвищ, у написанні, відмінюванні й наголошенні яких можуть виникати труднощі. Разом з початковою формою того або іншого прізвища зазначено форми родового, давального й орудного відмінків однини та називного й родового множини, форми жіночих прізвищ, відмінні від форм прізвищ чоловіків; у кожній формі визначено наголос. Довідник розрахований на вчителів, журналістів, а також на тих працівників навчальних закладів і установ, які мають справу з оформленням особових документів.

Т. 1 : А - Г. - 1972. - 968 с.

Книга известного американского лингвиста является одним из фундаментальных трудов, положивших начало когнитивному направлению в лингвистике и когнитивизму в целом. Новая, когнитивно ориентированная теория познания и языка (называемая автором экспериенциализмом) строится в книге на материале критического рассмотрения и обобщения результатов чрезвычайно широкого круга исследований в области самых разных наук, прежде всего философии, логики, психологии, антропологии, биологии, математики, физики, компьютерной науки, исследований в области искусственного интеллекта, физиологии восприятия и, конечно, лингвистики. Предложенный автором подход, основанный на таких понятиях, как когнитивные, в том числе метафорические и метонимические, модели, образные схемы, радиальные категории, прототипы и мотивация, применен в книге к исследованию трех различных языковых областей — языковых концептов, значений многозначного слова и грамматических конструкций (на материалеобозначений гнева, значений предлога over и обширного класса дейктических и экзистенциальных there-конструкций в английском языке). Книга предназначена для всех интересующихся философскими и лингвистическими проблемами теории познания, соотношения языка, мышления и реальности, проблемами грамматической и семантической теории языка вообще, а также вопросами фразеологии, лексики, грамматики и семантики английского языка

В книге юные читатели знакомятся с различными логическими задачами по математике. Автор предлагает интересные и занимательные сюжеты: задачи о мушкетерах, героях сказок, пришельцах и аборигенах и др. Тематика задач также разнообразна. Это турнирные задачи, числовые ребусы, задачи о лгунах, игровые задачи. Ко всем задачам даны решения. Книга для учащихся III - IX классов.