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

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

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

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

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

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

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

Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды и установки автора на. предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике таких" языков.

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

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

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

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

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

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

Одна из книг чисто лингвистического характера, состоит из статей многих авторов. Ключевые слова: грамматика, семантика речевых действий. В конце немного лингвистического юмора.

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

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

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

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

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