This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

Основная цель этой книги — дать читателю прочные знания синтаксиса и семантики С#, а также разобрать особенности архитектуры .NET. После ее прочтения вы познакомитесь со всеми основными областями, охваченными библиотекой базовых классов С#. Для приобретения практических навыков книга содержит множество примеров, иллюстрирующих излагаемый материал. Для работы с книгой не нужен какой-либо предварительный опыт работы с СИ и платформой .NET, однако при ее написании авторы ориентировались на тех разработчиков, которые уже имеют опыт работы с одним из современных языков программирования (C++, Visual Basic, Java или каким-либо другим).

Книга "C++. Бархатный путь" является результатом преподавательской деятельности автора в МГУ им М.В. Ломоносова (курс лекций для студентов 2-го курса геологического факультета кафедры сейсмометрии и геоакустики) и Лицее Информационных Технологий (специальный курс по языку программирования C++ для учащихся 10-х классов). В предлагаемой работе рассматривается язык программирования C++ как формальный язык. При работе над книгой, как и при подготовке учебного курса, автор предполагал у читателей и слушателей наличие элементарных понятий и представлений из области информатики, а также навыков программирования. Это предположение позволило сосредоточиться на основной задаче книги: формировании ч╦тких знаний о языке программирования C++, его синтаксисе и семантике. С этой целью при описании грамматики языка в книге широко используются формы Бэкуса-Наура, и уделяется большое внимание обсуждению причин и следствий введения в язык тех или иных языковых конструкций. Одной из особенностей книги является практически полное отсутствие примеров, связанных с реализацией конкретных содержательных алгоритмов. Изучение языка программирования и обучение программированию на языке различаются примерно так же, как изучение грамматики иностранного языка и овладение навыками разговорной речи на этом языке.

Книга предназначена для изучения возможностей объектно-ориентированного стиля программирования на языке С++. Приведены сведения о синтаксисе и семантике объектно-ориентированных конструкций С++, стандартной библиотеке шаблонов STL. Книга содержит необходимые теоретические сведения, упражнения и задачи для самостоятельной работы, справочную информацию по наиболее популярным средам программирования: С++ Builder 6 и Visual C++.NET 2003. Для преподавателей и студентов, начинающих программистов. Допущено Министерством образования и науки Российской Федерации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки «Информатика и вычислительная техника».

In her first book since the critically acclaimed Female Masculinity, Judith Halberstam examines the significance of the transgender body in a provocative collection of essays on queer time and space. She presents a series of case studies focused on the meanings of masculinity in its dominant and alternative forms’especially female and trans-masculinities as they exist within subcultures, and are appropriated within mainstream culture. In a Queer Time and Place opens with a probing analysis of the life and death of Brandon Teena, a young transgender man who was brutally murdered in small-town Nebraska. After looking at mainstream representations of the transgender body as exhibited in the media frenzy surrounding this highly visible case and the Oscar-winning film based on Brandon's story, Boys Don’t Cry, Halberstam turns her attention to the cultural and artistic production of queers themselves. She examines the “transgender gaze,” as rendered in small art-house films like By Hook or By Crook, as well as figurations of ambiguous embodiment in the art of Del LaGrace Volcano, Jenny Saville, Eva Hesse, Shirin Neshat, and others. She then exposes the influence of lesbian drag king cultures upon hetero-male comic films, such as Austin Powers and The Full Monty, and, finally, points to dyke subcultures as one site for the development of queer counterpublics and queer temporalities. Considering the sudden visibility of the transgender body in the early twenty-first century against the backdrop of changing conceptions of space and time, In a Queer Time and Place is the first full-length study of transgender representations in art, fiction, film, video, and music. This pioneering book offers both a jumping off point for future analysis of transgenderism and an important new way to understand cultural constructions of time and place.

Vol. 1 : Head and Neck. - 264 p.

Алхимия тайцзицюань - система изучения внутренней алхимии, посредством формы. Она основывается на принципах и законах, позволяющих подготавливать ингредиенты алхимии и использовании их для трансформации тела.

Анатомія людини — розділ анатомії, що вивчає органи та системи органів людського тіла. Анатомія людини вивчає зовнішні форми і пропорції тіла людини і його частин, окремі органи, їх мікроскопічну та макроскопічну будову. Нормальна, або систематична анатомія людини вивчає будову «нормальної» тобто здорової людини, причому систематично, тобто, з розбиттям по системам органів, а потім на органи, відділи органів, та тканини. Анатомія людини має клінічні підрозділи: Нормальна анатомія — розділ анатомії, що вивчає органи та системи органів людського тіла в нормі. Патологічна анатомія — вивчає вражені хворобою органи та тканини. Топографічна (хірургічна) анатомія вивчає будову тіла по ділянкам, з врахуванням положення органів та їх взаємовідношень відносно одне одного та відносно скелету людини. Нормальна (систематична анатомія) анатомія людини включає в себе вивчення організму за системами. Анатомія створює необхідну базу також для вивчення ряду клінічних дисциплін — терапії, хірургії, акушерства та гінекології, офтальмології, оториноларингології, дерматології та інших.

Викладено основні закономірності будови тіла свійських тварин за системами органів: скелет, з’єднання кісток, м’язи, система органів шкірного покриву, апарати травлення, дихання, органи сечовиділення і розмноження, серцево-судинна система, нервова система та органи чуття. Будову органів чи систем розглянуто з погляду онто- і філогенезу в порівняльному плані. Наведено особливості будови тіла свійської птиці. Для студентів вищих аграрних навчальних закладів ІІІ – IV рівнів акредитації із спеціальностей «Ветеринарна медицина» та «Зооінженерія».

Общеизвестно, что без знания анатомии невозможно вернопередать особенности фигуры человека, характер его движений. Профессор Барчаи пользуется для показа человеческого тела методом художественного изображения. Его анатомические рисунки не только точное воспроизведение человеческих костей и мускульной системы, но и работы художественной ценности. Книга — хороший справочник для начинающего художника при изучении строения человеческого тела. Она представляет большой интерес для каждого мастера изобразительного искусства, а также для всех тех, кто имеет какое-нибудь отношение к искусству, ибо она общедоступным и художественным методом знакомит с вечной темой изобразительного искусства — человеческим телом.

Этот труд - не словарь, не энциклопедия, не научное исследование, не доклад и не очерк по анатомии. Авторы книги, французские врачи, в популярной форме рассказывают об особенностях анатомии и психологии человека, приводят количественные показатели и оценки физиологических функций в течение всей жизни. Факты, опубликованные в этой книге, интересны и обогатят читателя знаниями о своем теле.

Великолепный атлас, включающий около 350 информативных иллюстраций, фотографий и цветных схем, станет вашим путеводителем по органам и системам человека и их функциям. Вы узнаете много нового о собственном теле, получите исчерпывающие сведения о наиболее распространенных заболеваниях и научитесь распознавать сигналы тревоги, исходящие от вашего организма.

В основу учебника положен учебник `Анатомия человека` М.М.Курепиной и Г.Г.Воккена (1979 год). Наиболее значительные изменения и дополнения внесены в главы `Нервная система` и `Внутренние органы`. Большинство разделов учебника содержит материал по микроскопическому строению органов, их внутриутробному развитию и изменениям в течение жизни человека. Учебник предназначен для студентов и аспирантов биологических специальностей педагогических университетов и институтов. Может использоваться в качестве учебного пособия студентами факультетов дошкольного воспитания и других немедицинских специальностей, изучающих строение тела и возрастную морфологию человека, а также студентам, обучающимся по специальности `Психология` (глава 3. Нервная система).

Вихід у світ першого видання «Атласу анатомії людини» Френка Неттера в 1989 р. став значною подією для всіх, хто вивчає і викладає анатомію. Майже одразу ця книга стала однією із найпопулярніших у медичному світі. Така ситуація зберігається й донині. Цей успіх став можливий завдяки величезному художньому талантові доктора Неттера, чіткій роботі медичного видавництва і порадам доктора Шерон Коласино (Оберґ). Я радий, що взяв участь у роботі над другим виданням «Атласу анатомії людини», «Інтерактивним атласом анатомії» та «Інтерактивним атласом клінічної анатомії». Навіть через 10 років після виходу першого видання атласу на нього зберігається, як і раніше, дуже великий попит. Ми почали працювати над другим виданням, незважаючи на шалений успіх першого, для того, щоб покращити його якість. Працюючи над другим виданням, ми намагалися не збільшувати обсяг книги, не змінювати стиль написання, адже студенти вважають, що саме завдяки цим характеристикам книга користується такою популярністю. Найпомітнішою зміною стала поява нових ілюстрацій самого Неттера (рис. 288, 430, 432 і 511) та доктора медицини Карлоса Мачадо (див. новий розділ «Поперечні перерізи», рис. 512-525). Ці ілюстрації мають велике значення з огляду на сучасний стан анатомії; вони містять деталі, які допоможуть студентам вивчати анатомію на пошарових зрізах. Це особливо важливо у зв'язку з повсюдним впровадженням у клінічну практику сучасних засобів отримання зображень. Доктор Мачадо вніс зміни у низку рисунків, опираючиь на дані, що були виявлені завдяки комп'ютерній і магнітно-резонансній томографії. Значно змінені розділи з анатомії таза і промежини, зокрема замінено застарілу концепцію про будову сечо-статевої діафрагми, уточнено деякі особливості будови зовнішнього сфінктера сечівника. Значні зміни внесені в термінологію. Я вдячний докторові Дуан Гейне (розділ «Центральна нервова система») та докторові Роберту Леонарду (всі інші органи й системи), котрі неоціненно допомогли в цій роботі. Незважаючи на те, що майже всі анатоми користуються чинною анатомічною номенклатурою, клініцисти схильні вживати епоніми, тому найвідоміші та найпоширеніші з них зазначені у дужках. Хочу висловити величезну подяку видавцям Джині Дінґл і Томасові Муру за їхню участь у роботі, а також нашому керівнику Сенді Пурренгейдж за те, що вона змушувала нас оперативно виконувати свою роботу. Особлива подяка моїй дружині Мюріел Деллі (все ще Деллі) за те, що вона зберегла сімейне вогнище, за терпимість до мене, до моїх проектів і тих незліченних годин, що я віддаю роботі.

Т. 1 : Голова, шея. - 2007. - 251 с.

Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др. Естественно возникла идея применения этих достижений в математике. Формальные системы, изучаемые в математической логике, являются примерами алгебр с частичными операциями, и основные теоремы о формальных системах, основные методы математической

Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др.