Работим за възстановяване на приложението Unionpedia в Google Play Store
ИзходящIncoming
🌟Упростихме нашия дизайн за по-добра навигация!
Instagram Facebook X LinkedIn

Формални науки

Index Формални науки

Формалните науки е клон на науката, изучаващ дисциплини от формалните езици, свързани с формалните системи, като логика, математика, статистика, теоретична информатика, изкуствен интелект, теория на информацията, теория на игрите, системна теория, теория на решенията и теоретична лингвистика.

Съдържание

  1. 16 отношения: Кристиан Хюйгенс, Карл Фридрих Гаус, Компютър, Природни науки, Пиер дьо Ферма, Пиер-Симон Лаплас, Осигурителна система, Теория на вероятностите, Теория на информацията, Теоретична информатика, Физическа система, Формален език, Хуманитарни и социални науки, Числен анализ, Блез Паскал, Електроинженерство.

Кристиан Хюйгенс

Кристиан Хюйгенс (Christiaan Huygens) е нидерландски механик, физик, астроном и математик, създател на вълновата теория на светлината.

Виж Формални науки и Кристиан Хюйгенс

Карл Фридрих Гаус

Йохан Карл ФридрихГаус (Johann Carl Friedrich Gauß) е германски математик и физик със значителен принос в различни области като теория на числата, статистика, математически анализ, диференциална геометрия, геодезия, геофизика, електростатика, астрономия и оптика.

Виж Формални науки и Карл Фридрих Гаус

Компютър

Компютърът е изчислително устройство с общо предназначение, което може да бъде програмирано да извършва набор от аритметични и/или логически операции.

Виж Формални науки и Компютър

Природни науки

Природни науки, наречени също естествени науки са науки, чиято цел е изучаването, описването, разбирането и предсказването на природните явления на основата на наблюдения, експерименти и теоретично моделиране.

Виж Формални науки и Природни науки

Пиер дьо Ферма

Пиер дьо Ферма (Pierre de Fermat) е френски юрист в Парламента на Тулуза и математик с голям принос в развитието на съвременния математически анализ и теорията на числата.

Виж Формални науки и Пиер дьо Ферма

Пиер-Симон Лаплас

Пиер-Симон Лаплас (Pierre-Simon Laplace) е френски математик, астроном и физик, с основни приноси в областта на диференциалните уравнения (уравнение на Лаплас), на теорията на вероятностите (трансформация на Лаплас) и небесната механика (устойчивост на Слънчевата система).

Виж Формални науки и Пиер-Симон Лаплас

Осигурителна система

Осигурителната система е комплекс от финансови средства и учреждения за защита от рискове.

Виж Формални науки и Осигурителна система

Теория на вероятностите

Теорията на вероятностите е приложна математическа дисциплина, която изучава оценката за възможността да се случи дадено събитие.

Виж Формални науки и Теория на вероятностите

Теория на информацията

Теорията на информацията е клон от теорията на вероятностите и математическата статистика; неин обект е информацията.

Виж Формални науки и Теория на информацията

Теоретична информатика

Теоретичната информатика се занимава с формални езици, теория на автоматите, логика, разработка и анализ на алгоритми, дизайн и формална семантика на езиците за програмиране, дава основите за компилатори и математическото формализиране на проблеми.

Виж Формални науки и Теоретична информатика

Физическа система

Физическа система се нарича всеки набор от физически тела (обекти).

Виж Формални науки и Физическа система

Формален език

Синтактично подразделение в рамките на формална система Формален език в математиката, логиката и компютърните науки е множество от думи и изрази с определена крайна дължина, извлечено от дадена крайна азбука.

Виж Формални науки и Формален език

Хуманитарни и социални науки

Социалните науки са област на научни изследвания, които разглеждат аспектите на човешкото общество.

Виж Формални науки и Хуманитарни и социални науки

Числен анализ

Численият анализ (или числени методи) е дял на математиката, насочен към създаването на алгоритми за решаването на недискретни задачи чрез използването на числена апроксимация, за разлика от по-общите символни изчисления.

Виж Формални науки и Числен анализ

Блез Паскал

Блез Паскал (Blaise Pascal; Blasius Pascalis) е френски математик, физик, религиозен философ, теолог и писател.

Виж Формални науки и Блез Паскал

Електроинженерство

Електроинженерство (или електротехника Электротехника) е инженерна дисциплина, която обхваща изучаването и приложението на електричеството, електрониката и електромагнетизма.

Виж Формални науки и Електроинженерство