<?xml version="1.0" encoding="UTF-8"?>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:wx="http://ilps.science.uva.nl/WikiXML/wx" xml:lang="bg" lang="bg">
<head>
<title>Теоретична информатика</title>
<meta name="wx_namespace" content="0"/>
<meta name="wx_pagename" content="Теоретична_информатика"/>
<meta name="wx_page_id" content="23533"/>
</head>
<body>
<div id="wx_article">
<wx:section level="1" title="Теоретична информатика" id="wxsec1"><h1 class="pagetitle" id="wx1">Теоретична информатика</h1>

<p id="wx2"><b id="wx3">Теоретичната <a href="/wbg/%D0%98%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Информатика" wx:linktype="known" wx:pagename="Информатика" wx:page_id="3353" id="wx4">информатика</a></b> се занимава с <a href="/wbg/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D0%B8_%D0%B5%D0%B7%D0%B8%D1%86%D0%B8" title="Формални езици" wx:linktype="known" wx:pagename="Формални_езици" wx:page_id="59187" id="wx5">формални езици</a>, теория на автоматите, <a href="/wbg/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Логика" wx:linktype="known" wx:pagename="Логика" wx:page_id="9684" id="wx6">логика</a>, разработка и анализ на <a href="/wbg/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D1%8A%D0%BC" title="Алгоритъм" wx:linktype="known" wx:pagename="Алгоритъм" wx:page_id="23531" id="wx7">алгоритми</a>, дизайн и формална семантика на езиците за програмиране, дава основите за <a href="/wbg/%D0%9A%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D0%B0%D1%82%D0%BE%D1%80" title="Компилатор" wx:linktype="known" wx:pagename="Компилатор" wx:page_id="29840" id="wx8">компилатори</a> и математическото формализиране на проблеми. Тя е формалният „гръбнак“ на <a href="/wbg/%D0%98%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Информатика" wx:linktype="known" wx:pagename="Информатика" wx:page_id="3353" id="wx9">информатиката</a>.</p>

<p id="wx10">Формални системи, автомати, графи, теория на вероятностите, инференциална статистика и синтактични диаграми се използват за точно описание на вътрешната логика на формални проблеми. Обикновено тази формална стъпка е основна част от решението на същинския проблем.</p>

<wx:template id="wx_t1" pagename="Шаблон:Математика-мъниче" page_id="111730"/>
<div id="stub" class="boilerplate metadata plainlinks noprint" style="margin-top:1em; display: table;">
<div style="float: left; width: 32px; overflow: hidden;" id="wx11"><a href="/wbg/%D0%9A%D0%B0%D1%80%D1%82%D0%B8%D0%BD%D0%BA%D0%B0:E-to-the-i-pi.svg" title="" wx:linktype="image" wx:pagename="Картинка:E-to-the-i-pi.svg" id="wx12"><img src="/wbg/%D0%9A%D0%B0%D1%80%D1%82%D0%B8%D0%BD%D0%BA%D0%B0:E-to-the-i-pi.svg" alt="" width="30" height="60" id="wx13"/></a></div>

<div style="margin-left: 37px;" id="wx14"><i id="wx15">Тази статия, свързана с <a href="/wbg/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Математика" wx:linktype="known" wx:pagename="Математика" wx:page_id="3352" id="wx16">математиката</a>, е все още <a href="/wbg/%D0%A3%D0%B8%D0%BA%D0%B8%D0%BF%D0%B5%D0%B4%D0%B8%D1%8F:%D0%9C%D1%8A%D0%BD%D0%B8%D1%87%D0%B5" class="new" title="Уикипедия:Мъниче" wx:linktype="unknown" wx:pagename="Уикипедия:Мъниче" id="wx17">мъниче</a>. Можете да помогнете на Уикипедия, като я <a href="http://wbg/wbg/index.php?title=%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0&amp;action=edit" class="external text" wx:linktype="external" rel="nofollow" id="wx18">редактирате</a> и я разширите.</i></div>
</div>

<wx:templateend start="wx_t1"/>
</wx:section></div>
<div id="wx_categorylinks">
<a href="/wbg/index.php?title=%D0%A1%D0%BF%D0%B5%D1%86%D0%B8%D0%B0%D0%BB%D0%BD%D0%B8:Categories&amp;article=%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Специални:Categories" wx:linktype="known" wx:pagename="Специални:Categories" id="wx19">Категории</a>: <span dir="ltr" id="wx20"><a href="/wbg/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8_%D0%BC%D1%8A%D0%BD%D0%B8%D1%87%D0%B5%D1%82%D0%B0" title="Категория:Математически мъничета" wx:linktype="known" wx:pagename="Категория:Математически_мъничета" wx:page_id="111790" id="wx21">Математически мъничета</a></span> | <span dir="ltr" id="wx22"><a href="/wbg/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Категория:Теоретична информатика" wx:linktype="known" wx:pagename="Категория:Теоретична_информатика" wx:page_id="27309" id="wx23">Теоретична информатика</a></span></div>
<div id="wx_languagelinks">
</div>
</body>
<wx:templatearguments for="wx_t1"/>
</html>
