Formal Sciences

S. Doukalli

Last update :

Formal Sciences

Formal Science

Formal Science is the study of formal language disciplines such as Logic, Mathematics, Statistics, Theoretical Computer Science, Artificial Intelligence (AI), Information Theory, Game Theory, Systems Theory, Decision Theory, and Theoretical Linguistics. The Formal Sciences are linguistic tools for describing abstract structures described by symbolic systems. The Formal Sciences are language tools concerned with characterizing abstract structures expressed by symbolic systems, whereas the Natural Sciences and Social Sciences utilize empirical approaches to characterize physical and social systems, respectively. Natural Science, Social Science, and actuarial science all benefit from Formal Sciences since they provide information about the structures used to represent the physical and contemporary world, as well as the conclusions that can be reached from them. Mathematics is a formal science, also known as the science of numbers. Computer Science, Mathematics, Statistics, Information Science, and Systems Science are examples of Formal Science branches.

code	Description	Supergroup
17**	Computer Science	Formal Sciences
26**	Mathematics	Formal Sciences

List of Subjects: Formal Sciences

Artificial Intelligence and Machine Learning

Game Design and Development

Algorithms, Combinatorics, and Optimization

Computer Security and Reliability

Data Science/Analytics

Human-Computer Interaction (HCI)

Software Development

Computational Biology (Bioinformatics)

Software Engineering

Information Systems

Software Systems

Robotics

Computer Networking

Cloud Computing

Information Science

Computer Architecture and Engineering

Computer Graphics

Image Processing

Scientific Visualization

Comments

window['__wavt'] = 'AOuZoY5IAEZDx5G0II-Ghn_v3bahFEXrLw:1713613908407';_WidgetManager._Init('//www.blogger.com/rearrange?blogID\x3d4234667292499723749','//www.indexedjournals.com/p/formal-sciences.html','4234667292499723749'); _WidgetManager._SetDataContext([{'name': 'blog', 'data': {'blogId': '4234667292499723749', 'title': 'IndexedJournals', 'url': 'https://www.indexedjournals.com/p/formal-sciences.html', 'canonicalUrl': 'https://www.indexedjournals.com/p/formal-sciences.html', 'homepageUrl': 'https://www.indexedjournals.com/', 'searchUrl': 'https://www.indexedjournals.com/search', 'canonicalHomepageUrl': 'https://www.indexedjournals.com/', 'blogspotFaviconUrl': 'https://www.indexedjournals.com/favicon.ico', 'bloggerUrl': 'https://www.blogger.com', 'hasCustomDomain': true, 'httpsEnabled': true, 'enabledCommentProfileImages': true, 'gPlusViewType': 'FILTERED_POSTMOD', 'adultContent': false, 'analyticsAccountNumber': 'UA-139194056-1', 'encoding': 'UTF-8', 'locale': 'en', 'localeUnderscoreDelimited': 'en', 'languageDirection': 'ltr', 'isPrivate': false, 'isMobile': false, 'isMobileRequest': false, 'mobileClass': '', 'isPrivateBlog': false, 'isDynamicViewsAvailable': true, 'feedLinks': '\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22IndexedJournals - Atom\x22 href\x3d\x22https://www.indexedjournals.com/feeds/posts/default\x22 /\x3e\n\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/rss+xml\x22 title\x3d\x22IndexedJournals - RSS\x22 href\x3d\x22https://www.indexedjournals.com/feeds/posts/default?alt\x3drss\x22 /\x3e\n\x3clink rel\x3d\x22service.post\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22IndexedJournals - Atom\x22 href\x3d\x22https://www.blogger.com/feeds/4234667292499723749/posts/default\x22 /\x3e\n', 'meTag': '', 'adsenseClientId': 'ca-pub-3012689591656200', 'adsenseHostId': 'ca-host-pub-1556223355139109', 'adsenseHasAds': false, 'adsenseAutoAds': false, 'boqCommentIframeForm': true, 'loginRedirectParam': '', 'view': '', 'dynamicViewsCommentsSrc': '//www.blogblog.com/dynamicviews/4224c15c4e7c9321/js/comments.js', 'dynamicViewsScriptSrc': '//www.blogblog.com/dynamicviews/d86c8c5eadffdf93', 'plusOneApiSrc': 'https://apis.google.com/js/platform.js', 'disableGComments': true, 'interstitialAccepted': false, 'sharing': {'platforms': [{'name': 'Get link', 'key': 'link', 'shareMessage': 'Get link', 'target': ''}, {'name': 'Facebook', 'key': 'facebook', 'shareMessage': 'Share to Facebook', 'target': 'facebook'}, {'name': 'BlogThis!', 'key': 'blogThis', 'shareMessage': 'BlogThis!', 'target': 'blog'}, {'name': 'Twitter', 'key': 'twitter', 'shareMessage': 'Share to Twitter', 'target': 'twitter'}, {'name': 'Pinterest', 'key': 'pinterest', 'shareMessage': 'Share to Pinterest', 'target': 'pinterest'}, {'name': 'Email', 'key': 'email', 'shareMessage': 'Email', 'target': 'email'}], 'disableGooglePlus': true, 'googlePlusShareButtonWidth': 0, 'googlePlusBootstrap': '\x3cscript type\x3d\x22text/javascript\x22\x3ewindow.___gcfg \x3d {\x27lang\x27: \x27en\x27};\x3c/script\x3e'}, 'hasCustomJumpLinkMessage': false, 'jumpLinkMessage': 'Read more', 'pageType': 'static_page', 'pageId': '3712202806940850696', 'pageName': 'Formal Sciences', 'pageTitle': 'IndexedJournals: Formal Sciences', 'metaDescription': 'Formal Sciences'}}, {'name': 'features', 'data': {}}, {'name': 'messages', 'data': {'edit': 'Edit', 'linkCopiedToClipboard': 'Link copied to clipboard!', 'ok': 'Ok', 'postLink': 'Post Link'}}, {'name': 'template', 'data': {'name': 'custom', 'localizedName': 'Custom', 'isResponsive': true, 'isAlternateRendering': false, 'isCustom': true}}, {'name': 'view', 'data': {'classic': {'name': 'classic', 'url': '?view\x3dclassic'}, 'flipcard': {'name': 'flipcard', 'url': '?view\x3dflipcard'}, 'magazine': {'name': 'magazine', 'url': '?view\x3dmagazine'}, 'mosaic': {'name': 'mosaic', 'url': '?view\x3dmosaic'}, 'sidebar': {'name': 'sidebar', 'url': '?view\x3dsidebar'}, 'snapshot': {'name': 'snapshot', 'url': '?view\x3dsnapshot'}, 'timeslide': {'name': 'timeslide', 'url': '?view\x3dtimeslide'}, 'isMobile': false, 'title': 'Formal Sciences', 'description': 'Formal Sciences', 'featuredImage': 'https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEht4cq6uwe77_46JXAO6sCcnbTWEUNY0Tfm7Ae42AzcUSvvtNleoOqgN0_KETYMWMeU53J-zD5RXGPGoWSYOH4lRGlQmvNsNuR80T_lN9_hvWZE5HAIaryfWI00ejsBNGLzrh7gFsvRhShJ4P7og1bMOgPM_73n5vPS0M2KaQ6ZuDip4F-WINsdjl_6/s16000/Formal-Sciences.png', 'url': 'https://www.indexedjournals.com/p/formal-sciences.html', 'type': 'item', 'isSingleItem': true, 'isMultipleItems': false, 'isError': false, 'isPage': true, 'isPost': false, 'isHomepage': false, 'isArchive': false, 'isLabelSearch': false, 'pageId': 3712202806940850696}}, {'name': 'widgets', 'data': [{'title': 'BlogArchive', 'type': 'BlogArchive', 'sectionId': 'sitting', 'id': 'BlogArchive400'}, {'title': 'BlogLabels', 'type': 'Label', 'sectionId': 'sitting', 'id': 'Label400'}, {'title': 'IndexedJournals (Header)', 'type': 'Header', 'sectionId': 'logo', 'id': 'Header1'}, {'title': 'Pages', 'type': 'PageList', 'sectionId': 'pages', 'id': 'PageList1'}, {'title': 'Social Media icons', 'type': 'LinkList', 'sectionId': 'topsocialL', 'id': 'LinkList3'}, {'title': 'Main Menu', 'type': 'LinkList', 'sectionId': 'menu', 'id': 'LinkList001'}, {'title': 'ad under header [only pc]', 'type': 'HTML', 'sectionId': 'Topa3lan-sc', 'id': 'HTML100'}, {'title': 'ad under header [only mopile]', 'type': 'HTML', 'sectionId': 'Topa3lan-sc2', 'id': 'HTML101'}, {'title': 'search ...', 'type': 'BlogSearch', 'sectionId': 'searchform', 'id': 'BlogSearch2'}, {'title': 'Also Like', 'type': 'Label', 'sectionId': 'searchform', 'id': 'Label002'}, {'title': 'contact form', 'type': 'ContactForm', 'sectionId': 'AddOns', 'id': 'ContactForm200'}, {'title': 'last posts', 'type': 'HTML', 'sectionId': 'shreeta5bar', 'id': 'HTML300'}, {'title': '', 'type': 'HTML', 'sectionId': 'TopPost-sc', 'id': 'HTML3'}, {'title': 'Mathematics', 'type': 'HTML', 'sectionId': 'Postnw1', 'id': 'HTML6'}, {'title': 'Computer Science', 'type': 'HTML', 'sectionId': 'Postnw2', 'id': 'HTML5'}, {'title': 'Engineering', 'type': 'HTML', 'sectionId': 'Postnw3', 'id': 'HTML4'}, {'title': 'Scopus', 'type': 'HTML', 'sectionId': 'Postcs1', 'id': 'HTML7'}, {'title': 'Blog Posts', 'type': 'Blog', 'sectionId': 'Tempnec', 'id': 'Blog1', 'posts': [{'id': '3712202806940850696', 'title': 'Formal Sciences', 'featuredImage': 'https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEht4cq6uwe77_46JXAO6sCcnbTWEUNY0Tfm7Ae42AzcUSvvtNleoOqgN0_KETYMWMeU53J-zD5RXGPGoWSYOH4lRGlQmvNsNuR80T_lN9_hvWZE5HAIaryfWI00ejsBNGLzrh7gFsvRhShJ4P7og1bMOgPM_73n5vPS0M2KaQ6ZuDip4F-WINsdjl_6/s16000/Formal-Sciences.png', 'showInlineAds': false}], 'headerByline': {'regionName': 'header1', 'items': [{'name': 'share', 'label': ''}, {'name': 'timestamp', 'label': '-'}]}, 'footerBylines': [{'regionName': 'footer1', 'items': [{'name': 'comments', 'label': 'comments'}]}, {'regionName': 'footer2', 'items': [{'name': 'labels', 'label': ''}]}], 'allBylineItems': [{'name': 'share', 'label': ''}, {'name': 'timestamp', 'label': '-'}, {'name': 'comments', 'label': 'comments'}, {'name': 'labels', 'label': ''}]}, {'title': 'Health Sciences', 'type': 'HTML', 'sectionId': 'Postcs5', 'id': 'HTML10'}, {'title': 'Physical Sciences', 'type': 'HTML', 'sectionId': 'Postcs5', 'id': 'HTML15'}, {'title': 'Social Sciences', 'type': 'HTML', 'sectionId': 'Postcs5', 'id': 'HTML14'}, {'title': 'Life Sciences', 'type': 'HTML', 'sectionId': 'Postcs5', 'id': 'HTML13'}, {'title': 'PubMed', 'type': 'HTML', 'sectionId': 'Postcs8', 'id': 'HTML16'}, {'title': 'UGC', 'type': 'HTML', 'sectionId': 'Postcs8', 'id': 'HTML18'}, {'title': 'WoS', 'type': 'HTML', 'sectionId': 'Postcs8', 'id': 'HTML17'}, {'title': 'social media', 'type': 'LinkList', 'sectionId': 'sidepar', 'id': 'LinkList4'}, {'title': 'Follow us', 'type': 'HTML', 'sectionId': 'sidepar', 'id': 'HTML8'}, {'title': '', 'type': 'PopularPosts', 'sectionId': 'sidepar', 'id': 'PopularPosts1', 'posts': [{'title': 'Institute for Scientific Information (ISI)', 'id': 7127889997066450609}, {'title': 'List of Scopus Indexed Journals of Malaysia ', 'id': 8652048801705381160}, {'title': 'Scopus indexed journals List A ', 'id': 6899693709520689602}, {'title': 'Sopus indexed journals List J', 'id': 8785500133638161893}, {'title': 'Potential predatory scholarly open-access journals', 'id': 2282472226927018825}]}, {'title': 'Pages', 'type': 'PageList', 'sectionId': 'sidepar', 'id': 'PageList2'}, {'title': 'Labels', 'type': 'Label', 'sectionId': 'sidepar', 'id': 'Label1'}, {'title': 'Videos', 'type': 'HTML', 'sectionId': 'BotPostsc', 'id': 'HTML11'}, {'title': '', 'type': 'BlogList', 'sectionId': 'footer-col1', 'id': 'BlogList1'}, {'title': 'Total Pageviews', 'type': 'Stats', 'sectionId': 'footer-col3', 'id': 'Stats1'}, {'title': 'Latest Comments', 'type': 'HTML', 'sectionId': 'footer-col4', 'id': 'HTML12'}]}]); _WidgetManager._RegisterWidget('_BlogArchiveView', new _WidgetInfo('BlogArchive400', 'sitting', document.getElementById('BlogArchive400'), {'languageDirection': 'ltr', 'loadingMessage': 'Loading\x26hellip;'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LabelView', new _WidgetInfo('Label400', 'sitting', document.getElementById('Label400'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HeaderView', new _WidgetInfo('Header1', 'logo', document.getElementById('Header1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_PageListView', new _WidgetInfo('PageList1', 'pages', document.getElementById('PageList1'), {'title': 'Pages', 'links': [{'isCurrentPage': false, 'href': 'https://www.indexedjournals.com/p/about-us.html', 'id': '7669470201838981704', 'title': 'About Us'}, {'isCurrentPage': false, 'href': 'https://www.indexedjournals.com/p/privacy-policy.html', 'id': '2455298787308531553', 'title': 'Privacy Policy'}, {'isCurrentPage': false, 'href': 'https://www.indexedjournals.com/p/contact-us.html', 'id': '8674727205976337091', 'title': 'Contact us'}, {'isCurrentPage': false, 'href': 'https://www.indexedjournals.com/p/sitemap.html', 'title': 'SiteMap'}, {'isCurrentPage': false, 'href': 'https://www.mofahras.com/', 'title': '\u0639\u0631\u0628\u064a'}], 'mobile': false, 'showPlaceholder': true, 'hasCurrentPage': false}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList3', 'topsocialL', document.getElementById('LinkList3'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList001', 'menu', document.getElementById('LinkList001'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML100', 'Topa3lan-sc', document.getElementById('HTML100'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML101', 'Topa3lan-sc2', document.getElementById('HTML101'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogSearchView', new _WidgetInfo('BlogSearch2', 'searchform', document.getElementById('BlogSearch2'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LabelView', new _WidgetInfo('Label002', 'searchform', document.getElementById('Label002'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_ContactFormView', new _WidgetInfo('ContactForm200', 'AddOns', document.getElementById('ContactForm200'), {'contactFormMessageSendingMsg': 'Sending...', 'contactFormMessageSentMsg': 'Your message has been sent.', 'contactFormMessageNotSentMsg': 'Message could not be sent. Please try again later.', 'contactFormInvalidEmailMsg': 'A valid email address is required.', 'contactFormEmptyMessageMsg': 'Message field cannot be empty.', 'title': 'contact form', 'blogId': '4234667292499723749', 'contactFormNameMsg': 'Name', 'contactFormEmailMsg': 'Email', 'contactFormMessageMsg': 'Message', 'contactFormSendMsg': 'Send', 'contactFormToken': 'AOuZoY64N28803kqKKOcqNvAbBIyZFefiw:1713613908408', 'submitUrl': 'https://www.blogger.com/contact-form.do'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML300', 'shreeta5bar', document.getElementById('HTML300'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML3', 'TopPost-sc', document.getElementById('HTML3'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML6', 'Postnw1', document.getElementById('HTML6'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML5', 'Postnw2', document.getElementById('HTML5'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML4', 'Postnw3', document.getElementById('HTML4'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML7', 'Postcs1', document.getElementById('HTML7'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogView', new _WidgetInfo('Blog1', 'Tempnec', document.getElementById('Blog1'), {'cmtInteractionsEnabled': false, 'lightboxEnabled': true, 'lightboxModuleUrl': 'https://www.blogger.com/static/v1/jsbin/3538472454-lbx.js', 'lightboxCssUrl': 'https://www.blogger.com/static/v1/v-css/13464135-lightbox_bundle.css'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML10', 'Postcs5', document.getElementById('HTML10'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML15', 'Postcs5', document.getElementById('HTML15'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML14', 'Postcs5', document.getElementById('HTML14'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML13', 'Postcs5', document.getElementById('HTML13'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML16', 'Postcs8', document.getElementById('HTML16'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML18', 'Postcs8', document.getElementById('HTML18'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML17', 'Postcs8', document.getElementById('HTML17'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList4', 'sidepar', document.getElementById('LinkList4'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML8', 'sidepar', document.getElementById('HTML8'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_PopularPostsView', new _WidgetInfo('PopularPosts1', 'sidepar', document.getElementById('PopularPosts1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_PageListView', new _WidgetInfo('PageList2', 'sidepar', document.getElementById('PageList2'), {'title': 'Pages', 'links': [{'isCurrentPage': true, 'href': 'https://www.indexedjournals.com/p/formal-sciences.html', 'id': '3712202806940850696', 'title': 'Formal Sciences'}, {'isCurrentPage': false, 'href': 'https://www.indexedjournals.com/p/4-health-sciences.html', 'id': '4814694202787549864', 'title': 'Health Sciences'}, {'isCurrentPage': false, 'href': 'https://www.indexedjournals.com/p/3-physical-sciences.html', 'id': '1948823897890348827', 'title': 'Physical Sciences'}, {'isCurrentPage': false, 'href': 'https://www.indexedjournals.com/p/2-social-sciences.html', 'id': '6686009826501048376', 'title': 'Social Sciences'}, {'isCurrentPage': false, 'href': 'https://www.indexedjournals.com/p/1-life-sciences.html', 'id': '8250209883648821208', 'title': 'Life Sciences'}], 'mobile': false, 'showPlaceholder': true, 'hasCurrentPage': true}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LabelView', new _WidgetInfo('Label1', 'sidepar', document.getElementById('Label1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML11', 'BotPostsc', document.getElementById('HTML11'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogListView', new _WidgetInfo('BlogList1', 'footer-col1', document.getElementById('BlogList1'), {'numItemsToShow': 5, 'totalItems': 1}, 'displayModeFull')); _WidgetManager._RegisterWidget('_StatsView', new _WidgetInfo('Stats1', 'footer-col3', document.getElementById('Stats1'), {'title': 'Total Pageviews', 'showGraphicalCounter': false, 'showAnimatedCounter': false, 'showSparkline': true, 'statsUrl': '//www.indexedjournals.com/b/stats?style\x3dBLACK_TRANSPARENT\x26timeRange\x3dALL_TIME\x26token\x3dAPq4FmDTLAiTLyt2WjXg-uwh-QYRVzhldcogJk5xau3pF4bcYKogRBo2GR9gPhy3UKHyyvlT-riq7rCUqXO3dMI0sCwe5k-4EQ'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML12', 'footer-col4', document.getElementById('HTML12'), {}, 'displayModeFull'));