-
1 антефиксы
техн., мн.антефі́кси, -сів -
2 adjudicating body
-
3 estimation
English-Ukrainian analytical chemistry dictionary > estimation
-
4 Penning gas mixture
газовая смесь Пеннинга -
5 charge distribution
розподіл зарядуEnglish-Ukrainian dictionary of microelectronics > charge distribution
-
6 capital raising
-
7 аналог
матем. ана́лог -
8 admitted
adjвизнаний, загальновизнаний* * *aвизнаний, загальновизнаний; який зізнався -
9 Александр
Олекса́ндр, Оле́сь, Лесь -
10 distract
v1. відволікати, відводити в сторону, розсіювати2. збентежити, викликати розгубленість, засмучувати- to distract smbd.'s attention відволікати чиюсь увагу -
11 from the physician and the lawyer keep not the truth hidden
English-Ukrainian dictionary of proverbs > from the physician and the lawyer keep not the truth hidden
-
12 anticipate
[æn'tɪsɪpeɪt]v1) передбача́ти, передчува́ти, чека́ти, сподіва́тися2) приско́рювати, пришви́дшувати, набли́жувати3) роби́ти щось рані́ше стро́ку (достроко́во)to anticipate payment — сплати́ти рані́ше стро́ку (достроко́во)
-
13 asymilacyjny
[асиміляцийни]adj -
14 გაუარესება
погіршення; погіршувати -
15 дэсань
візерунокузор -
16 camping
кемпінг -
17 butelka
ж пляшка -
18 airport
n аеропорт -
19 арыттыр-
спон. О, К. -
20 логіка формальна
ЛОГІКА ФОРМАЛЬНА - наука, яка вивчає форми (схеми, способи) різноманітних міркувань. Її головна мета полягає в обґрунтуванні правильності чи неправильності способів отримання нового знання із уже наявного знання в процесі міркування. Будь-яке міркування складається з двох частин: засновків та висновку. Логіка як наука не займається встановленням їх істинності та хибності. Однак, якщо міркування побудоване правильно і при цьому воно спирається на істинні засновки, то його висновок завжди буде безумовно істинним Я. кщо ж правильний спосіб міркування застосувати до хибних засновків, то в результаті можна отримати як істинний, так і хибний висновок. Логічна форма міркування, його схема не залежить від його змісту. Логіку не цікавить, про що йдеться в міркуванні, її завдання - аналіз того, як воно побудоване. Схема міркування може бути правильною чи неправильною незалежно від його змісту. Розрізнення між змістом та формою міркування в логіці проводиться на основі застосування формального методу, який полягає в тому, що змістовним компонентам міркування ставляться у відповідність їх формальні аналоги. Для цього створюються спеціальні штучні мови, які отримали назву формалізованих (формальних) мов логіки. Ці мови будуються за строгими правилами, серед яких розрізняють правила утворення виразів (формул), правила перетворень виразів (формул) і правила інтерпретації виразів (формул). Формальний метод є основним методом сучасної логіки.
- 1
- 2
См. также в других словарях:
1699 — Années : 1696 1697 1698 1699 1700 1701 1702 Décennies : 1660 1670 1680 1690 1700 1710 1720 Siècles : XVIe siècle XVIIe … Wikipédia en Français
1699 — Años: 1696 1697 1698 – 1699 – 1700 1701 1702 Décadas: Años 1660 Años 1670 Años 1680 – Años 1690 – Años 1700 Años 1710 Años 1720 Siglos: Siglo XVI – … Wikipedia Español
1699 — Portal Geschichte | Portal Biografien | Aktuelle Ereignisse | Jahreskalender ◄ | 16. Jahrhundert | 17. Jahrhundert | 18. Jahrhundert | ► ◄ | 1660er | 1670er | 1680er | 1690er | 1700er | 1710er | 1720er | ► ◄◄ | ◄ | 1695 | 1696 | 1697 | 16 … Deutsch Wikipedia
1699 — Year 1699 (MDCXCIX) was a common year starting on Thursday (link will display the full calendar) of the Gregorian calendar, or a common year starting on Sunday( [http://www.timeanddate.com/calendar/index.html?year=1699 country=20 Julian 1699] )… … Wikipedia
1699 год — Годы 1695 · 1696 · 1697 · 1698 1699 1700 · 1701 · 1702 · 1703 Десятилетия 1670 е · 1680 е 1690 е 1700 е · … Википедия
1699 en France — Années : 1696 1697 1698 1699 1700 1701 1702 Décennies : 1660 1670 1680 1690 1700 1710 1720 Siècles : XVIe siècle XVIIe siè … Wikipédia en Français
1699 au théâtre — Années : 1696 1697 1698 1699 1700 1701 1702 Décennies : 1660 1670 1680 1690 1700 1710 1720 Siècles : XVIe siècle XVIIe sièc … Wikipédia en Français
1699 Honkasalo — Infobox Planet minorplanet = yes width = 25em bgcolour = #FFFFC0 apsis = name = Honkasalo symbol = caption = discovery = yes discovery ref = discoverer = Y. Vaisala discovery site = Turku discovered = August 26, 1941 designations = yes mp name =… … Wikipedia
1699 en littérature — Années : 1696 1697 1698 1699 1700 1701 1702 Décennies : 1660 1670 1680 1690 1700 1710 1720 Siècles : XVIe siècle XVIIe siè … Wikipédia en Français
1699 en architecture — Décennie 1690 en architecture Années de l architecture : 1687 1688 1689 1690 1691 1692 1693 Décennies de l architecture : 1660 1670 1680 1690 1700 1710 1720 … Wikipédia en Français
1699 en musique classique — Années : 1696 1697 1698 1699 1700 1701 1702 Décennies : 1660 1670 1680 1690 1700 1710 1720 Siècles : XVIe siècle XVIIe … Wikipédia en Français