-
21 програмуватися
програми́роваться -
22 прогін
ч1) driving; road for driving the cattle to the pasture3) мист. run-through4) комп. -
23 розробка
див. розробленнярозробка програм комп. — programming
розробка програми комп. — program design
розробка програмного забезпечення — software development, software engineering
розробка стратегії комп. — policy design
розробка тарифів ек. — rate making
-
24 час
ч1) timeобідній час — dinner hour; lunch break
справжній час астр. — apparent time
точний час — correct ( exact) time
час, вказаний у розкладі — schedule time
час видачі інформації комп. — readout time
час виконання — run time, run-time
час виплати — pay-off, payoff
час збереження даних — data-hold [data-retention] time
час обслуговування спец. — in-service time, processing time
час опитування — interrogation time, pool time
час перемикання — switch ( delay) time, switching time, turnover time
час усунення (дефекта, пошкодження) — clearing time
2) ( епоха) time; times, ageз незапам'ятних часів — from time immemorial, time out of mind
за наших часів — in our time, nowadays
3) грам. tenseтеперішній (минулий, майбутній) час — present (past, future) tense
4)ще є час — there is no hurry, there is plenty of time
за цей час — in this period, since then
на деякий час — for some time, for a while
за останній час, останнім часом — lately, recently, for some time past
у вільний час — at odd moments, at leisure
у той час, як — while, whereas
час від часу — from time to time; every now and then, now and again, at intervals; on and off
до того часу — by that time; till ( before) then
з того часу — since then; since that time
-
25 Лакатос, Імре
Лакатос, Імре (1922, Будапешт - 1974) - англ. філософ, історик науки, представник посщпозитивізму. Народився в Угорщині, брав участь в антифашистському опорі. В 1956 р. переїхав до Австрії, а потім до Великої Британії (1958), де викладав у Лондонській школі економіку. Протиставив неопозитивістським варіантам філософії науки сцієнтистської орієнтації, а також методу демаркації філософії і науки (див. Поппер) концепцію, в основі якої лежить ідея взаємодії конкуруючих науково-дослідницьких програм. їх структура включає два засадничих елементи: "жорстке ядро" та "захисний пояс". "Жорстке ядро" - відносно стабільне поєднання вихідних наукових та "метафізичних", тобто теоретико-філософських, принципів та припущень, "захисний пояс" - мінлива, динамічна сукупність допоміжних гіпотез, перегляд, уточнення і заміна яких мають зберегти "жорстке ядро" в тому разі, коли емпіричні факти науки вступають у протиріччя з науково-дослідницькою програмою. Становлення "зрілої" наукової теорії розглядається як процес заміни дослідницьких програм, які являють собою послідовність теорій, зв'язаних між собою. Неперервність у розвитку кожної програми регулюється правилами "позитивної" та "негативної" евристики. Перша формулює правила-рекомендації щодо подальших ефективних дослідницьких шляхів, друга окреслює дослідницькі шляхи, яких слід уникати. В подоланні догм філософії науки неопозитивізму результати Л.суперечливі. З одного боку,він дав більш глибоке, ніж Кун, розкриття історизму і динамізму науки, ввів у дослідницькі програми певні філософські ("метафізичні") положення як раціональні. З другого боку, реабілітація ролі філософії у Л. є частковою, оскільки філософія мислиться лише як компонент структури науки, а не як автономний і найбільш автентичний різновид філософського знання. Методологія Л. виявилася продуктивним засобом дослідження історії науки лише стосовно певних періодів її розвитку.[br]Осн. тв.: "Фальсифікація і методологія наукових дослідницьких програм" (1970); "Змінна логіка наукового відкриття" (1973). -
26 логіка динамічна
ЛОГІКА ДИНАМІЧНА - напрям логічного моделювання динамічних аспектів міркувань; у широкому розумінні Л.д. - моделювання потоку інформації, у більш вузькому розумінні Л.д. - логіка програм. Програма вважається динамічним об'єктом, що переводить один стан світу (комп'ютера) в інший. Пропозиційна Л.д. містить вирази, які поділяються на дві категорії - формули і програми. Вихідними для побудови формул є пропозидійні букви, логічні зв'язки і оператор виконання програм. Значення формули Л.д. ототожнюється з множиною всіх станів, у яких ця формула істинна, а значення програми - з множиною пар <а, Ь> таких, що якщо ця програма стартує в стані а, то може завершитися в стані Ь. Л.д. отримана шляхом модифікації "статичних" модальних логічних систем. Базовим поняттям Л.д. є поняття бінарного відношення переходу між станами обчислення (відношення досяжності в семантиці модальної логіки). Найбільш близьким до відношення переходу є інтерпретація відношення досяжності у логіці часу як відношення часового порядку.В. Навроцький -
27 Остин, Джон Ленгшоу
Остин, Джон Ленгшоу (1911, Ланкастер - 1960) - британський філософ-аналітик. Навчався в Оксфорді Проф. Оксфордського ун-ту (1952 - 1960). Праці і викладацька діяльність О. ініціювали т. зв. "лінгвістичний поворот" у філософії і стимулювали поширення специфічного типу філософування: філософії лінгвістичного аналізу. Нову дисципліну, яка повинна вирішувати завдання аналізу фактів вживання повсякденної мови, О. називав "лінгвістичною феноменологією". Дослідження О. ставили під сумнів тезу про те, що важливі у філософському відношенні проблеми природної мови пов'язані лише з істинними чи хибними твердженнями (дескриптивними висловлюваннями). Поряд із твердженнями, що мають на меті опис деякого стану справ або деякого факту і які можна оцінювати як істинні або хибні (констативи), існують вирази, які хоч і схожі на твердження, але не претендують на істинність чи хибність (перформативи). Промовляння перформативів (на противагу констативам) є здійсненням деякої дії, акту, вчинку (вибачення, вітання, обіцянка, порада, парі та ін.). Саме тому О. вважав неможливим оцінювати перформативи з точки зору їх істинності/хибності. Пізніше, з огляду на слабкість вихідної дистинкції констативи/перформативи (констативи виявляються підмножиною перформативів), О. відмовляється від неї і видозмінює предмет дослідження: вивчає не окремі речення, а акти промовляння висловлювань (що є здійсненням певних дій) в цілісній мовленнєвій ситуації, де враховуються, як важливі, чинники мовця, слухача, їх інтенцій, а також супровідних обставин промовляння. О. сформував основи програми майбутніх досліджень (т. зв. теорія мовленнєвих актів), де в центрі уваги перебуває розрізнення між локутивними актами (актами промовляння деякого висловлювання з певним смислом і референцією), іллокутивними актами (актами промовляння висловлювань, яким притаманна певна сила: погроза, прохання, застереження, вибачення, наказ, питання та ін.) і перлокутивними актами (актами, за допомогою яких мовець спроможний здійснювати на слухача певний вплив, досягати певної мети: переконувати, змушувати до чогось, залякувати, вводити в оману тощо). Схематично: локутивний акт - "він сказав, що..." (мовець виражає стан справ, щось говорить); іллокутивний акт - "він доводив, що..." (мовець виконує якусь дію, говорячи щось); перлокутивний акт - "він переконав мене, що..." (мовець продукує певний вплив). Аналіз тези "говорити щось означає робити (здійснювати) щось" привів до тлумачення філософії мови як розділу філософії дії. Позаяк поведінка людини є інтенційною і виражає ментальні феномени, то філософія мови і філософія дії закономірно виявляються розділами більш загальної царини досліджень - філософії свідомості. Подальші успіхи окресленої О. дослідницької програми пов'язують передусім із працями Серла, Грайса і Стросона. До найважливіших проблем, які досліджував О., належать проблеми пізнання "чужих свідомостей", відчуття і сприйняття, свободи волі і детермінізму.[br]Осн. тв.: "Філософські статті" (1961); "Чуття і сприйняття" (1962); "Як робити речі за допомогою слів" (1962). -
28 суспільство відкрите і суспільство закрите
СУСПІЛЬСТВО ВІДКРИТЕ і СУСПІЛЬСТВО ЗАКРИТЕ - терміни, вперше запропоновані Бергсоном і запроваджені Поппером для характеристики соціально-політичних систем, властивих різним суспільствам на тих чи тих етапах історичного розвитку. Відкрите суспільство тлумачиться як суспільство творче й динамічне, засноване на ідеях ліберального плюралізму, пластичне щодо найрізноманітніших змін і впливів, просякнуте духом індивідуальної ініціативи, раціонального осягнення світу, критики і самокритики; воно протиставляється закритому суспільству, як ураженому стагнацією, авторитаризмом, доведеним до магічних форм догматизмом, а також явним переважанням соціально-масового начала над індивідуальним. Цей контрапункт є лейтмотивним для філософсько-історичних побудов Поппера, за якими розвиток сучасної цивілізації, започаткований, на його думку, "грецьк. революцією" V - IV ст. до н. е., доводить переваги і перспективність суспільств відкритих (на зразок стародавніх Афін чи сучасних західних демократій) щодо закритих (на кшталт Спарти, царської Росії, фашистської Німеччини чи СРСР часів сталінізму). За сучасних умов, коли "марксистський штурм", як зазначає Поппер в післямові до рос. видання книги "Відкрите суспільство і його вороги" (1992), зазнав краху, виникли умови для глобального історичного руху в напрямі відкритого суспільства. До основних положень попередньої універсалістської програми цього руху він зараховує такі: 1. Зміцнення свободи і усвідомлення відповідальності, що випливає з неї; 2. Мир у всьому світі; 3. Боротьба з бідністю; 4. Боротьба з демографічним вибухом; 5. Навчання ненасильству. Концепція відкритого і закритого суспільст-. ва, виражена, зокрема, і в наведених положеннях програми переходу до відкритого суспільства в планетарному масштабі загалом, відіграє конструктивну роль у тих позитивних культурно-історичних та соціально-політичних зрушеннях, що окреслюються в сучасному суспільстві. Однак потенціал цієї концепції залишається значною мірою не тільки нереалізованим, а навіть незапитаним внаслідок як труднощів операціоналізації її вузлових, досить абстрактних і есеїстично викладених понять, так і певної заідеологізованості позицій автора.І. БойченкоФілософський енциклопедичний словник > суспільство відкрите і суспільство закрите
-
29 блок-схема
ж тех.flow chart, flow sheet, block diagram, flow blockблок-схема програми — program flow diagram, program flow, program(ming) flowchart
-
30 виклик
ч1) (знак, сигнал) callвиклик команди комп. — instruction fetching
2) ( вимога з'явитися) summons; (до суду тж.) subpoena3) ( пропозиція вступити в боротьбу) challenge; defianceкинути виклик — to challenge, to defy
-
31 вступна частина
(трактату, промови) exordium, lead, preamble, preface, prodrome -
32 генерація
-
33 диктор
чannouncer, speaker -
34 додержуватися
див. додержувати -
35 завантаження
с1) ( дія) loading; тех. feed(ing), charge, chargingзавантаження реактора — reactor loading (feed, charge)
2) ( завантаженість) load, work load, capacity ( of work) -
36 запуск
ч1) ( механізму) start(ing), triggering2) (космічного апарата; у виробництво) launchingзапуск програми комп. — program start
запуск ракети — missile launching; rocket firing
-
37 зупинник
-
38 інструкція
жinstructions pl, directions pl, enchiridion, precept, reference book, hand-bookінструкція по експлуатації — directions for use, operating instruction, service instruction
інструкція по установці (напр., програми) комп. — installation manual
-
39 команда
ж1) ( наказ) command; word of command, order2) комп. instructionкоманда виклику (підпрограми) — cue, call instruction
команда запиту — interrogation command, invoking instruction
команда друкування — print command, print order
команда пошуку — find command, search command, look-up instruction, search instruction
команда призупинки — halt command, pause command
3) ( загін) body of soldiers; party, detachmentаварійна команда — breakdown gang, crash crew, wrecking crew
4) мор. crew, ship's company5) спорт. teamлегкоатлетична команда — track team, track-and-field team
-
40 коментар
См. также в других словарях:
стабілізаційні програми країн-членів ЄС — середньострокові бюджетні стратегії країн членів ЄС, які відповідно вже ввели євро. Приймаються щорічно відповідно до вимог Пакту про стабільінсть і зостання (1997 р.) … Словник бюджетної термінології
конвергаційні програми країн-членів ЄС — середньострокові бюджетні стратегії країн членів ЄС, які відповідно ще не ввели євро. Приймаються щорічно відповідно до вимог Пакту про стабільінсть і зостання (1997 р.) … Словник бюджетної термінології
25.040.40 — Вимірювання та керування технологічними процесами ГОСТ 4.301 85 СПКП. Установки, приборы, устройства, блоки, модули функциональные агрегатных средств контроля и регулирования. Номенклатура показателей ГОСТ 12.2.064 81 ССБТ. Органы управления… … Покажчик національних стандартів
адреса — и, ж. 1) Позначення місця розташування житла людини або будівлі (території) юридичної особи. || Напис на конверті, пакунку і т. ін., що вказує на місце призначення та одержувача. Помилитися адресою. •• Пошто/ва адре/са місцезнаходження житла… … Український тлумачний словник
компілятор — а, ч. 1) Той, хто займається компіляцією; автор компіляції. 2) спец. Програма компіляції; на відміну від інтерпретації при виконанні скомпільованої програми ні текст вихідної програми, ні компілятор участі не беруть. || Системна програма, що… … Український тлумачний словник
Великая Лепетиха — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей … Википедия
сегмент — а, ч. 1) У математиці – частина круга, обмежена дугою та хордою, а також частина кулі, відокремлена січною площиною. || Фігура, предмет або частина площі такої форми. || тех. Назва деяких деталей такої форми. •• Сегме/нт ри/нку сукупність… … Український тлумачний словник
підпрограма — и, ж. Окрема, самостійна частина якої небудь програми. || Додаткова або підпорядкована програма. Підпрограма наукових досліджень. || Частина програми обчислювальної машини, придатна для включення її в інші програми. || Послідовність програм,… … Український тлумачний словник
Донецкий метрополитен — Эта статья или раздел статьи содержит информацию об ожидаемом событии или запланированном объекте инфраструктуры, связанном с метро. Содержание статьи или части статьи может … Википедия
Богомазов, Александр Константинович — В Википедии есть статьи о других людях с такой фамилией, см. Богомазов. Александр Богомазов … Википедия
асемблер — а, ч. Допоміжна програма у складі операційної системи для автоматичного перекладу вихідної програми, яка має бути виконана на ЕОМ, машинною мовою. Один із видів транслятора. •• Абсолю/тний асе/мблер асемблер, який обчислює абсолютні адреси у пам… … Український тлумачний словник