плиска
ПЛИСКА
ПЛИСКА — город, столица Первого болгарского царства (кон. 7-9 вв.). Руины около г. Шумен (Болгария). Остатки укреплений, дворцов, церквей, жилых и хозяйственных построек.
Большой энциклопедический словарь
плиска
плиска ж.
Птица из отряда воробьиных; трясогузка.
Толковый словарь Ефремовой
плиска
ПЛИСКА ж. плистка, птица Junx torquilla, крутиголовка, вертошейка; || трясогузка. Плистовка, плистовица, пташка трясогузка, трясохвостка, плизгавица, плиска, Motacilla; несколько видов: чекан, каменка, Saxicola aenanthe, сизоголубая; трясовичка, S.
Толковый словарь Даля
Плиска
Древняя (с VII в.) столица Первого Болгарского царства, в 18 км к СВ. от г. Шумен; в 893 г. была перенесена в Преслав. Сохранились остатки укреплений, дворцов, церквей.
Словарь географических названий
плиска
сущ., кол-во синонимов: 3 птица 723 столица 274 трясогузка белая 3
Словарь синонимов русского языка
Плиска
Город, первая болгарская столица (конец 7 — конец 9 вв.); руины находятся в 25 км к С.-В. от г. Шумен в северо-восточной Болгарии. Археологические исследования ведутся с конца 19 в. В центре...
Большая советская энциклопедия
плиска
пли́ска
I – птица 1) "Iynх torquilla"; 2) "трясогузка, Моtасillа аlbа", также диал. пли́стовка, пли́стовица, пли́сица, пли́шка, плизга́вица, укр. пли́ска, пли́стка, бли́ска, блр. плíсiца, сербохорв. пли̏ска, словен. plíska, plȋskavica, чеш., слвц.
Этимологический словарь Макса Фасмера
ПЛИСКА
Столица древнейшего болг. гос-ва — т. н. Первого царства (8-9 вв.). Остатки П. открытые Нови-Пазарской околии Коларовградского окр. в Болгарии. Исследования в 1900 и с 1930 до наст. времени. Терр. П. достигала 23 км2.
Советская историческая энциклопедия
Плиска
Местное (Петербургской губ.) название желтой трясогузки (Motacilla flora, см. Трясогузки). Иногда П. называют вообще трясогузок или виды их, близкие к желтой трясогузке, принимаемые некоторыми за особый род (Budytes)...
Энциклопедический словарь Брокгауза и Ефрона
плиска
ПЛИСКА и, ж. peluche, гол. pluis, нем. Plisch, шв. plys <�лат. pilus волос. плиска. обл. Плюшевое ватное пальто с отделкой (из лент, кружев) внизу. // СНГ 27 139.
Словарь галлицизмов русского языка
Плисков
М. Киевской губ., Липовецкого у. Базары еженедельно. Винокуренный зав. 1168030 град. спирта; жит. 1209.
Энциклопедический словарь Брокгауза и Ефрона
ПЛИСКИ
ПЛИСКИ — то же, что трясогузки.
Большой энциклопедический словарь
Плиски
Род птиц семейства трясогузковых отряда воробьиных; то же, что Трясогузки.
Большая советская энциклопедия
Плиски
Сел. Черниговской губ., Ворзенского у., в 16 вер. от уездного гор.; ст. Киево-Воронежской жел. дор.; 3726 жителей. Значительная отправка грузов по жел. дор. (в 1903 г. — 2768 тыс. пд.), главным образом хлебных.
Энциклопедический словарь Брокгауза и Ефрона
плистовка
См. плиска
Толковый словарь Даля
плистовица
См. плиска
Толковый словарь Даля
плишка
ПЛИШКА ж. плиска, плизгавица, плистовка, пташка трясогузка, трясохвостка, мухоловка, Motacilla; см. плиска.
Толковый словарь Даля
плизгавица
ПЛИЗГАВИЦА, плиска ж. зап. пташка трясогузка.
Толковый словарь Даля
Рекурсивный Оператор
Всюду определенный частично рекурсивный оператор. В. Е. Плиско.
Математическая энциклопедия
ПЛИСЕЦКИЙ
От села Плиски на Черниговщине. (Ф) См. Плесовский.
Словарь русских фамилий
Частично Рекурсивная Функция
Рекурсивная функция,- одно из эквивалентных уточнений понятия вычислимой функции. В. Е. Плиско.
Математическая энциклопедия
ПЛИСКИН
Плиска — пташка трясогузка (Даль). А имена от названий птиц были широко распространены на Руси.
Словарь русских фамилий
Денотат
Данного имени — объект, обозначением к-рого является это имя. В. Е. Плиско.
Математическая энциклопедия
упархивать
УПАРХИВАТЬ, упорхать, упорхнуть, порхая удалиться, улететь. Плиска, мотылек, стрекоза упорхнула.
Толковый словарь Даля
трясогузка белая
сущ., кол-во синонимов: 3 плиска 3 птица 723 трясогузка 10
Словарь синонимов русского языка
Общерекурсивный Оператор
всюду определенные функции во всюду определенные. В. Е. Плиско.
Математическая энциклопедия
Всеобщности Квантор
". В формализованных языках В. к. чаще всего обозначается . Применяются также обозначения . В. Е. Плиско.
Математическая энциклопедия
Дизъюнкция
дизъюнктивными членами высказывания Употреблению Д. в математич. логике соответствует следующая истинностная таблица: В. Е. Плиско.
Математическая энциклопедия
Девташлары
в окрестностях Плиски (Шуменский округ, Болгария). Возможно, воздвигнуты в честь погибших вдали
Большая советская энциклопедия
Отрицание
что допущение Априводит к противоречию. В классической двузначной логике операции О. соответствует следующая истинностная таблица: В. Е. Плиско
Математическая энциклопедия
Иван-город (мст.)
Мст. Черниговской губ., Борзенского у., к Ю от у. г. и в 8 в. от ст. ж. д. Плиски. На 3 прилегает
Энциклопедический словарь Брокгауза и Ефрона
Логическая Операция
позволяют образовывать высказывания и высказывательные формы из данных высказывательных форм. в. Е. Плиско.
Математическая энциклопедия
Рекурсивное Отношение
всех n-местных Р. о. образует булеву алгебру. В. Е Плиско.
Математическая энциклопедия
Логический Закон
и предикатов. Такие формулы наз. общезначимыми, или тавтологиями. Напр., тавтология выражает исключенного третьего закон. В. Е. Плиско.
Математическая энциклопедия
Пирса Стрелка
конъюнкция высказываний Аи Ввыражается так: , дизъюнкция эквивалентна . П. с. была введена в рассмотрение Ч. Пирсом (С. Peirs). в. Е. Плиско.
Математическая энциклопедия
ШУМЕН
государства. Близ Шумена — руины других болгарских столиц Плиски и Преслава.
Большой энциклопедический словарь
ТРЯСОГУЗКИ
ТРЯСОГУЗКИ (плиски) — род птиц отряда воробьиных. Длина 16,5-18 см; хвост длинный, постоянно
Большой энциклопедический словарь
Разрешения Проблема
разрешимости", означающего вопрос о разрешимости той или иной математической (напр., алгоритмической) проблемы. В. Е. Плиско.
Математическая энциклопедия
Менинтинг
К роду Enicurus ("ласточковые плиски") относятся сравнительно крупные виды трясогузок
Энциклопедический словарь Брокгауза и Ефрона
Перечисления Проблема
числу; иными словами, . П. п. для множества Аразрешима тогда и только тогда, когда А — непустое перечислимое множество. В. Е Плиско
Математическая энциклопедия
ПЕРВОЕ БОЛГАРСКОЕ ЦАРСТВО
этой территории от власти Византии. Столица — Плиска, с 893 — Преслав. Высшего могущества достигло при царе
Большой энциклопедический словарь
Логическая Функция
значения в множестве . Такие функции используются в математич. логике как аналог понятия предиката. В. Е. Плиско.
Математическая энциклопедия
Импликация
'И. согласовано с истинностной таблицей: Так понимаемая И. наз. материальной импликацией. В. Е. Плиско.
Математическая энциклопедия
Преслав
ние, виноделие. В 3 км от города руины старого П. – второй, после Плиски, столицы (893–971) Первого
Словарь географических названий
Пивнюк, Иван Викторович
в с. Плисков Погребищенского района Винницкой области; окончил Ярославское военное училище в 1972 г
Большая биографическая энциклопедия
Шумен
пром-сть. Памятник 1300-летию болгарского гос-ва. Поблизости руины двух древних болгарских столиц Плиски и Преслава.
Словарь географических названий
плюшка
", сохраненного рядом русск. диалектов; ср. также плишка, плиска. Обычай выпекать хлеб в форме птиц
Этимологический словарь Макса Фасмера
Разрешимый Предикат
рекурсивной функции или какое-либо эквивалентное понятие, то вместо "Р. п." обычно употребляется термин "рекурсивный предикат". В. Е. Плиско.
Математическая энциклопедия
Формальных Систем Эквивалентность
то Втакже выводимо в системе S2; 4) аналогично 3) с заменой S1 на S2 и S2 на S1. B. Е. Плиско.
Математическая энциклопедия
Квантор
и при этом высказывание Р(х) означает то же, что и а Р(х)- то же, что где a — знак конъюнкции,- знак импликации. В. Е. Плиско.
Математическая энциклопедия
ОМОРТАГ
Болгарии Плиска.
=====
Лит.: Златарски В. Н., История на Българската държава през средните векове, т. 1, ч. 1, С., 1918.
Советская историческая энциклопедия
Логическая Аксиома
логику, пер. с англ., М., 1971; [2] Шёнфилд Д ж., Математическая логика, пер. с англ., М., 1975. В. Е. Плиско.
Математическая энциклопедия
Ограниченный Квантор
При применении таких кванторов к разрешимым предикатам получаются также разрешимые предикаты. В. Е. Плиско.
Математическая энциклопедия
Исключенного Третьего Закон
направлений в основаниях математики (см. Интуиционизм, Конструктивная математика). В. Е. Плиско.
Математическая энциклопедия
арманьяк
", но и вообще никакой советской, армянский коньяк в арменьяк перекрещен, вместо братской "Плиски
Словарь галлицизмов русского языка
Нумерически Выразимый Предикат
функции и только они. Лит.:[1] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957. В. Е. Плиско
Математическая энциклопедия
Петрункевич
Иван Ильич [1843, имение Плиске, Берзненский уезд Черниговской губернии (ныне область), — 14.6.1928
Большая советская энциклопедия
Логическая Формула
образом: а) всякая элементарная формула есть формула; б) если Аи В — формулы, у — предметная переменная, то выражения суть формулы. В. Е. Плиско.
Математическая энциклопедия
Разрешимая Формула
о непротиворечивости такой системы. Термин "Р. ф." следует отличать от термина "разрешимый предикат". В. Е. Плиско.
Математическая энциклопедия
Универсальное Множество
Хиллел И., Основания теории множеств, пер. с англ., М., 1966. В. Е. Плиско.
Математическая энциклопедия
Общезначимость
Лит.:[1] Клини С. К., Математическая логика, пер. с англ., М., 1973. В. Е. Плиско.
Математическая энциклопедия
Логическое Следствие
d е l К., "Моnatsh. Math. und Phys.", 1930, Bd 37, S. 349-60. В. Е. Плиско.
Математическая энциклопедия
Истинностная Таблица
для проверки общезначимости формул: формула общезначима тогда и только тогда, когда в последнем столбце таблицы все Vi суть И. В. Е. Плиско.
Математическая энциклопедия
трясогузковые
и трясогузки, или плиски (Motacilla). В роде трясогузок 11 видов, в Евразии и Африке; в СССР — 6 видов
Биологический энциклопедический словарь
Миятев
], 1930; Крумовнятъ дворецъ и други новооткрити постройки в Плиска, «Известия на българскня
Большая советская энциклопедия
Логическая Матрица
характеристическую для интуиционистского исчисления высказываний. В. Е. Плиско.
Математическая энциклопедия
МИЯТЕВ
Болгарии: Мадары, Плиски, Преслава, Тырнова. М. — автор св. 200 работ по болг. археологии, истории иск
Советская историческая энциклопедия
Преслав
В 3 км к Ю. от П. находятся развалины одноимённого древнего города — второй, после Плиски, столицы
Большая советская энциклопедия
Частично Рекурсивный Оператор
Обратное включение не имеет места. Лит.:[1] Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. с англ., М., 1972. В. Е. Плиско.
Математическая энциклопедия
Перечисления Оператор
В)=В, то Лит.:[1] Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. с англ., М., 1972. В. Е. Плиско.
Математическая энциклопедия
Наименьшего Числа Оператор
и отлично от нуля, а определено и равно нулю. Тогда Н. ч. о. играет важную роль в определении класса частично рекурсивных функций. В. Е. Плиско.
Математическая энциклопедия
ПРЕСЛАВ
Вторая (после Плиски) столица (893-972) Первого Болгарского царства. Построена на месте древних
Советская историческая энциклопедия
Логицизм
с англ., М., 1969; [5] Френкель А.- А., Бар-Xиллел И., Основания теории множеств, пер. с англ., М., 1966. В. Е. Плиско.
Математическая энциклопедия
Трясогузки
иногда выделяют в особый род (Budytes, см. Плиска). Наиболее обыкновенный вид в Средней и Северной
Энциклопедический словарь Брокгауза и Ефрона
Теорема
установить, является ли Т. произвольное данное высказывание. В. Е. Плиско.
Математическая энциклопедия
Клини — Мостовского Классификация
предикат Лит.:[1] Кlееne S. С, "Trans. Amer. Math. Soc", 1943, v. 53 p. 41-73; [2] Mostowski A., "Fund, math.", 1947, v. 34, p. 81 -112. В. Е. Плиско.
Математическая энциклопедия
Независимость Системы Аксиом
[3] Френкель А., Бар-Хиллел И., Основания теории множеств, пер. с англ., М., 1966. В. Е. Плиско.
Математическая энциклопедия
Борзна, город
Роменской (гор. Бахмач) ж. д. От стан. Плиски Кур.-Киев. дор. — 14 верст; от ст. Дочь Л.-Р. ж. д. — 12 вер
', 469', к Ю. от Плиски — 477', на вост. границе до 500'. Кроме р. Десны, которая идет вне уезда
Энциклопедический словарь Брокгауза и Ефрона
Рекурсивная Реализуемость
о в и к о в П. С., Конструктивная математическая логика с точки зрения классической, М., 1977. В. Е. Плиско.
Математическая энциклопедия
Реализуемость
а г а л и н А. Г., Математический интуиционизм. Введение в теорию доказательств, М., 1979. В. Е. Плиско.
Математическая энциклопедия
Неразрешимость
Основания математики. Логические исчисления и формализация арифметики, пер. с нем., М., 1979. В. Е. Плиско.
Математическая энциклопедия
Шолохов, Михаил Александрович
", [М.], 1931, № 1; Плиско Н., Действительность в упор, "Литературная газета", Москва, 1932, № 59.
Г
Большая биографическая энциклопедия
семейство трясогузковые (motacillidae)
чем, конечно, приносят пользу.
Желтая трясогузка, дли плиска (М. flava), по размерам немного мельче белой трясогузки
и крайнего севера) и на западе Аляски. Плиски — перелетные птицы, но те из них, которые обитают
позже, чем белые: в средней полосе нашей страны первые плиски встречаются только в середине апреля
плиски объединяются в небольшие стайки и начинается отлет.
В пище желтой трясогузки преобладают
и бабочки.
Горная трясогузка (М. cinerea) внешне напоминает плиску, но стройнее и длиннее
Биологическая энциклопедия
столица
парамарибо 3 париж 9 пекин 4 плиска 3 пномпень 2 подгорица 3 порт-луи 2 порт-морсби 2 порт-ново 1
Словарь синонимов русского языка
Макаров, Иван Иванович
энтузиаста, "Новый мир", 1930, III; Немоляев А., Снижение темы, "Книга и революция", 1930, X; Плиско H
Большая биографическая энциклопедия
Макаров И. И.
«Новый мир», 1930, III; Немоляев А., Снижение темы, «Книга и революция», 1930, X; Плиско Н., Иван
Литературная энциклопедия
Болгария
в плане дворцов в Плиске и Преславе (IX-X вв.), сложенных из массивных каменных блоков
архитектура Болгарии IX-X вв., исходившая из византийских прототипов (Большая базилика в Плиске
Художественная энциклопедия
Паустовский, Константин Георгиевич
Плиско.
{Лит. энц.}
♦
Паустовский, Константин Георгиевич
Род. 19 (31) мая 1892 г., в Москве, ум. 14
Большая биографическая энциклопедия
Липовец
высока. К наиболее возвышенным точкам относятся: Зозов 911 фт., Плисков 724 фт., в центральной части
Энциклопедический словарь Брокгауза и Ефрона
Нормальная Форма
", 1949, т. 13, № 5, с. 417-24. В. Е. Плиско.5) Н. ф. системы дифференциальных уравнений вблизи
Математическая энциклопедия
птица
пичужка 6 пищуха 4 плавунчик 2 плешанка 2 плиска 3 плутонос 5 побережник 4 поганка 43 погодовестник 2
Словарь синонимов русского языка
Очерк
писателей-очеркистов; ср. отзыв Плиско Н., «Марксистско-ленинское искусствознание», 1932, III
Литературная энциклопедия
Панферов, Федор Иванович
В поисках радости, "Октябрь", 1933, № 8; Плиско Н., Радость миллионов, "Художественная литература", 1933
Большая биографическая энциклопедия