\documentclass[12pt,a4paper]{article} \usepackage[T2A]{fontenc} \usepackage[utf8]{inputenc} \usepackage[english,russian]{babel} \usepackage{amssymb} \usepackage{amsfonts} \usepackage{amsmath} \usepackage{cmap} \usepackage{indentfirst} \usepackage{fancyhdr} \usepackage{enumitem} \usepackage{multicol} \usepackage[center]{titlesec} \usepackage{tikz} \usetikzlibrary{arrows,positioning,shapes} \textwidth=17cm \voffset=-1cm \hoffset=-0.5cm \topmargin=0cm \textheight=24.5cm \oddsidemargin=0pt \linespread{1.1} \pagestyle{fancy} \lhead{\bfseries Домашнее задание №2} \rhead{Студент Иванов Иван, группа N.M} \fancyfoot{} % Команды для задач по лямбда-исчислению \renewcommand{\L}{\ensuremath{\lambda}} \newcommand{\Lvar}[1]{\ensuremath{\L #1\,.\,}} \newcommand{\Lx}{\Lvar{x}} \newcommand{\Ly}{\Lvar{y}} \newcommand{\Lz}{\Lvar{z}} \newcommand{\Lt}{\Lvar{t}} \newcommand{\Ln}{\Lvar{n}} \begin{document} \section*{Домашнее задание №2} \subsection*{1. Восстановить скобки и построить дерево раздора} \tikzset{ treenode/.style = {align=center, inner sep=0pt, text centered, font=\sffamily,minimum height=1.2em}, app/.style = {treenode, black, rectangle, font=\itshape, text width=2.2em}, lam/.style = {treenode, black, text width=1.5em}, var/.style = {treenode, circle, minimum width=1.5em, minimum height=0.5em} } \begin{center} \begin{tikzpicture} [->,>=stealth',level/.style={sibling distance = 3cm/#1, level distance = 1.2cm}] \node [app] {App} child { node [app] {App} child { node [app] {App} child { node [var] {$w$} } child { node [lam] {$\L x$} child { node [lam] {$\L y$} child { node [lam] {$\L z$} child { node [app] {App} child { node [app] {App} child { node [var] {$x$} } child { node [var] {$z$} } } child { node [app] {App} child { node [var] {$y$} } child { node [var] {$z$} } } } } } } } child { node [var] {$u$} } } child { node [var] {$v$} } ; \end{tikzpicture} \end{center} \end{document}