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.

Т. 1 : Синтаксический анализ. - 612 с.

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

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

Учебное пособие «Теория текста» – новая книга видного отечественного филолога профессора Н.С. Валгиной. На основе опыта преподавания этого курса в Московском государственном университете печати и результатов многолетних исследований в книге раскрываются структура и семантика текста, механизмы его образования и восприятия, определяются понятия смысла и значения, вида информации и типа речи, образа автора и образа стиля. Особое место отводится информационной насыщенности текста и способам ее повышения. Для студентов высших учебных заведений, обучающихся по специальностям и направлениям «Филология», «Лингвистика», «Литературоведение». «Журналистика», «Книжное дело», «Издательское дело и редактирование». Представляет интерес для языковедов, философов, психологов, культурологов и работников печати, преподавателей и специалистов по широкому кругу гуманитарных дисциплин.

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

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

Предлагаемый “Иллюстрированный сексологический словарь” одна из первых попыток представить семантику знаний в сфере интимных межличностных отношений. При всем том, что алфавитный принцип изложения той или иной информации - не лучший способ описать сложнейшую систему анатомических, физиологических, психологических, эволюционных, социальных и многих других областей знаний о человеческой природе, такой «код» дает возможность познакомить с универсальным языком этой области познаний. Сексология – наука, складывающаяся из знаний других по меньшей мере сорока дисциплин, но при этом остающаяся единственной, измеряющей неизмеримое и постоянно сосредоточенная на этом - на любви, нежности, дыхании возлюбленных, их страсти и исчезновении друг в друге, прозе быта и драматургии ситуаций, где часты тупики, безысходность и неожиданный свет в конце туннеля.

Стратегия, предложенная американским логиком Ричардом Монтегю, используется для построения формальных грамматик русского языка. Дается систематическое изложение метода. Строится полимодальная интенсиональная логика, приспособленная для представления модальных и эпистемических контекстов русского языка. Дан анализ проблемы семантического статуса музыкального события. Книга предназначается для логиков, лингвистов, математиков, программистов.

Книга представляет собой учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и синтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика. Центральное место занимает теория доказательства, излагаемая на основе исчисления естественного вывода. Книга содержит много задач и упражнений.

Ч. 4 : Паскаль. - 1996. - 96 с.

Розглянуто синтаксис та семантику мови програмування Паскаль для середовища програмування Турбо Паскаль, яке використовується в сучасних комп'ютерах. Рекомендується для самостійного, факультативного чи альтернативного до мови Бейсик вивчення.

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

Автором данного труда, фактически положившего начало новому направлению в рамках структурализма, является видный французский филолог А. Греймас. Опираясь на ставшие классическими работы Ф. Де Соссюра, Р. Якобсона, К. Леви-Стросса и в особой степени В. Jlponria, привлекая в ходе своего изложения работы Э. Сурьо и многих других современных исследователей, а также творчество Ж. Бернаноса в качестве материала для специального изучения, автор дает детальнейшее изложение собственной так называемой актантной теории, посвященной структурно- семантическому анализу литературного текста. Книга предназначена в первую очередь для специалистов в области лингвистики, филологии, философии, культурологии, но, без всякого сомнения, она привлечет к себе внимание также всех тех, кто проявляет интерес к такому многоаспектному явлению, каким является структурализм.

Если, прочитав эту книгу, вы по-прежнему будете так думать о гипнозе, вы лишите себя важнейших способов, какими вы можете использовать эти инструменты в своей жизни. Паттерны общения, описанные в этой книге, слишком полезны, чтобы оставить их где- то на гипнотическом кресле. Большинство удовольствий, которых все мы хотим в жизни, не возникают в гипнотическом кресле; они возникают с людьми, которых мы любим, на работе, которой мы занимаемся, и в тех способах, какими мы играем и наслаждаемся жизнью. Вы можете использовать информацию из этой книги многими способами, как в личном плане, так и в профессиональном. Книга представляет интерес для психологов, а так же широкого круга специалистов интересующихся проблемами коммуникации.

У навчальному посібнику розглянуто різні аспекти програмування мовою С++. У початкових розділах грунтовно описано синтаксис та семантику основних стандартних конструктивних компонентів мови: лексем, виразів, операторів, функцій. Значну увагу приділено різновидам типів даних, зокрема опрацюванню масивів, символьних рядків, структур тощо. Далі у посібнику даються особливості застосування покажчиків і С++-функцій, механізм використання засобів програмування для розширення їх можливостей, наведено механізм реалізації С++-специфікаторів і спеціальних операторів, даються основні поняття про структури і об'єднання даних. Викладений матеріал базується на стандарті ANSI/ISO мови програмування С++, а також зазначено нововведення, які затверджені в стандарті ANSI/ISO 14882:2003. Наведено важливу для практичного використання та програмування інформацію про додаткові можливості компілятора, середовища та бібліотек Воrland С/С++. Видання призначено для курсантів і студентів, які вивчають програмування в рамках різних навчальних дисциплін, а також для всіх, хто бажає самостійно опанувати технологію програмування мовою С++.